TY - JOUR T1 - Local Closed World Reasoning with Description Logics under the Well-Founded Semantics JF - Artificial Intelligence Y1 - 2011 A1 - Matthias Knorr A1 - José Júlio Alferes A1 - Pascal Hitzler KW - Description Logic KW - Knowledge representation KW - Logic Programming KW - Non-monotonic reasoning KW - Ontologies KW - Semantic Web AB -

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases [52], and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.

VL - 175 UR - http://dx.doi.org/10.1016/j.artint.2011.01.007 IS - 9-10 ER - TY - JOUR T1 - Generalized Distance Functions in the Theory of Computation JF - Computer Journal Y1 - 2010 A1 - Anthony K. Seda A1 - Pascal Hitzler KW - denotational semantics KW - fixed-point theorems KW - generalized distance functions KW - Logic Programming KW - stable model KW - supported model KW - topology KW - ultra-metrics AB -

We discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultra-metrics, partial metrics, d-ultra-metrics and generalized metrics. We consider their properties, associated fixed-point theorems and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases.

VL - 53 UR - http://dx.doi.org/10.1093/comjnl/bxm108 ER -