RuleML - это обобщение существующих языков онтологий и систем запросов для веб-семантики, таких как OWL-DL, набор инструментов вокруг RDF и подобная Прологу система, основанная на логике первого порядка.
За этим стоит хорошая теория и существенная поддержка, но я бы назвал это бездоказательным подходом. В логике, в большей степени, чем в языках программирования, более общий не означает лучше . Как правило, вы хотите избежать любых потенциально не завершающих свойств в описании вашей онтологии, сохраняя описание онтологии из потенциально не заканчивающихся запросов, которые вы, возможно, захотите выполнить для онтологии. Моя забота о RuleML заключается в том, что, хотя дизайнеры, безусловно, понимают проблему, фактический дизайн может подорвать это различие между запросом и онтологией. Подходы, основанные на логике описания, такие как OWL-DL, навязывают вам различия.