Ontological logic programming
Ontological logic programming
复制标题
本体逻辑编程
DOI：
10.1145/1988688.1988740
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
T. Norman
中科院分区：
文献类型：
--
作者：
M. Sensoy;Geeth de Mel;W. Vasconcelos;T. Norman
在本文中，我们提出了本体逻辑编程（OLP），一种新的方法，结合了逻辑编程与本体推理。所提出的方法使得能够使用本体术语（即，个体、类和属性）直接在逻辑程序中。这些术语的解释被委托给本体推理器在程序的解释期间。与同类方法不同，OLP充分利用了本体推理和逻辑编程的能力。我们在不同的设置OLP的计算性能进行评估，并表明其性能可以显着提高使用缓存机制。此外，使用案例研究，我们证明了OLP在现实生活中的有用性。
In this paper, we propose Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms (i.e., individuals, classes and properties) directly within logic programs. The interpretation of these terms are delegated to an ontology reasoner during the interpretation of the program. Unlike similar approaches, OLP makes use of the full capacity of both the ontological reasoning and logic programming. We evaluate the computational properties of OLP in different settings and show that its performance can be significantly improved using caching mechanisms. Furthermore, using a case-study, we demonstrate the usefulness of OLP in real-life settings.