Realizing Default Logic over Description Logic Knowledge Bases

Authors:
Minh Dao-Tran;Thomas Eiter;Thomas Krennwallner
Affiliations:
Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A-1040;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A-1040;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A-1040
Venue:
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2009

Citing 14
Cited 7

Closed world reasoning in Hybrid systems

Methodologies for intelligent systems, 5
An epistemic operator for description logics

Artificial Intelligence
Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
Practical Reasoning for Expressive Description Logics

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Rules and Ontologies for the Semantic Web

Reasoning Web
Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence
A terminological logic with defaults: a definition and an application

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Default inheritance reasoning in hybrid KL-ONE-style logics

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Decomposition of declarative knowledge bases with external functions

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reducing OWL entailment to description logic satisfiability

Web Semantics: Science, Services and Agents on the World Wide Web
Effective integration of declarative rules with external evaluations for semantic-web reasoning

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

dl2asp: implementing default logic via answer set programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A dynamic access control model

Applied Intelligence
Induction of robust classifiers for web ontologies through kernel machines

Web Semantics: Science, Services and Agents on the World Wide Web
Uniform evaluation of nonmonotonic DL-Programs

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review

International Journal of Metadata, Semantics and Ontologies
Semantic independence in DL-programs

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Conflict-driven asp solving with external sources

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default theories to conjunctive query (cq-)programs that combine rules and ontologies, based on different methods to find extensions of default theories. The transformations, which are implemented in a front-end to a DL-reasoner, exploit additional constraints to prune the search space via relations between default conclusions and justifications. The front-end is a flexible tool for customizing the realization, allowing to develop alternative or refined default semantics. To our knowledge, no comparable implementation is available.