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

@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}
}
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 dl-programs, the overhead of an external DL reasoner might be considerable. To remedy this, we consider Datalog-rewritable DL ontologies, i.e… CONTINUE READING

Similar Papers

Loading similar papers…