[Zurück]

J. De Bruijn, T. Eiter, H. Tompits:
"Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 16.09.2008 - 19.09.2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (Hrg.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; S. 485 - 495.

The combination of rules and ontologies has a central role
in the ongoing development of the Semantic Web. In previous
work, autoepistemic logic (AEL) was advocated as a
uniform host formalism to study different such combinations,
enabling comparisons on a common basis. In this paper, we
continue this line of research and investigate different embeddings
of major proposals to combine rules and ontologies
into first-order autoepistemic logic (FO-AEL). In particular,
we present embeddings for dl-programs, r-hybrid knowledge
bases, and hybrid MKNF knowledge bases, which are representatives
of different combination types. We study the embeddings
in the context of FO-AEL under the standard-names
assumption, but we also discuss variants using the any- and
all-names semantics. Our results provide interesting insights
into the properties of the discussed combination formalisms.

http://publik.tuwien.ac.at/files/PubDat_171513.pdf