Can OWL and Logic Programming Live Together Happily Ever After?
Can OWL and Logic Programming Live Together Happily Ever After?
复制标题
DOI：
10.1007/11926078_36
复制
发表时间：
2006-11
期刊：
影响因子：
--
通讯作者：
B. Motik;Ian Horrocks;R. Rosati;U. Sattler
中科院分区：
文献类型：
--
作者：
B. Motik;Ian Horrocks;R. Rosati;U. Sattler
逻辑编程（LP）通常被视为克服Web本体语言（OWL）的几个缺点的一种方法，例如无法为完整性约束建模或执行封闭世界查询。然而，OWL的开放世界语义似乎与LP的封闭世界语义根本不兼容。这在语义Web社区引发了一场激烈的争论，导致了完全基于逻辑编程的替代本体语言的建议。为了帮助解决这个争论，我们研究了一些实际用例，这些用例似乎是由逻辑编程处理的。事实上，这些需求中的许多已经在语义Web之外得到了解决。从这些已有的形式中汲取灵感，我们提出了一种新的混合MKNF知识库逻辑，将OWL与LP无缝集成。因此，我们能够在语义Web架构没有根本改变的情况下处理已识别的用例。
Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic ofhybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.