《into Autoepistemic Logic》.pdfVIP

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic Jos de Bruijn Thomas Eiter and Hans Tompits Faculty of Computer Science Institute of Information Systems Free University of Bozen-Bolzano Vienna University of Technology Piazza Domenicani 3, Bolzano, Italy Favoritenstraße 9-11, Vienna, Austria debruijn@inf.unibz.it {eiter|tompits}@kr.tuwien.ac.at Abstract monotonic logic programs into first-order AEL (FO-AEL) have been studied; properties of these embeddings with re- The combination of rules and ontologies has a central role spect to a naive combination of a set of rules under stable se- in the ongoing development of the Semantic Web. In pre- vious work, autoepistemic logic (AEL) was advocated as a mantics and an ontology formulated in first-order logic have uniform host formalism to study different such combinations, been analyzed. In the present paper, we go further and in- enabling comparisons on a common basis. In this paper, we vestigate embeddings of major proposals to combining rules continue this line of research and investigate different em- and ontologies into FO-AEL. As many other works, we fo- beddings of major proposals to combine rules and ontologies cus on ontologies that are effectively subsets of first-order into first