Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Abstract

The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, even for tractable… (More)

Topics

Cite this paper

@inproceedings{Heymans2010TractableRW, title={Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics}, author={Stijn Heymans and Thomas Eiter and Guohui Xiao}, booktitle={ECAI}, year={2010} }