Local closed world reasoning with description logics under the well-founded semantics
Autor: | José Júlio Alferes, Matthias Knorr, Pascal Hitzler |
---|---|
Přispěvatelé: | DI - Departamento de Informática, CENTRIA – Centro de Inteligência Artificial |
Jazyk: | angličtina |
Předmět: |
Linguistics and Language
Knowledge representation and reasoning Computer science 0102 computer and information sciences 02 engineering and technology Ontology (information science) computer.software_genre Semantics 01 natural sciences Logic programming Language and Linguistics Operational semantics Description logic Artificial Intelligence 0202 electrical engineering electronic engineering information engineering Semantic Web Programming language business.industry Ontology language Non-monotonic reasoning 010201 computation theory & mathematics Well-founded semantics Knowledge representation Description logics and ontologies 020201 artificial intelligence & image processing Artificial intelligence business computer Natural language processing Stable model semantics |
Zdroj: | Artificial Intelligence. (9-10):1528-1554 |
ISSN: | 0004-3702 |
DOI: | 10.1016/j.artint.2011.01.007 |
Popis: | We thank the reviewers of a previously submitted version of this paper for their very helpful comments and suggestions for improvement. We thank Frederick Maier for a thorough proofreading. Matthias Knorr acknowledges support by Fundação para a Ciência e a Tecnologia under the grant SFRH/BD/28745/2006. Pascal Hitzler acknowledges support by the National Science Foundation under award 1017225 “III: Small: TROn – Tractable Reasoning with Ontologies”. 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 (Motik and Rosati, 2010 [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. publishersversion published |
Databáze: | OpenAIRE |
Externí odkaz: |