Consequence-Based Reasoning Beyond Horn Ontologies
Abstract
Consequence-based ontology reasoning procedures have so far been known only for Horn ontology languages. A difficulty in extending such procedures is that non-Horn axioms seem to require reasoning by case, which causes non-determinism in tableau-based procedures. In this paper we present a consequence-based procedure for ALCH that overcomes this difficulty by using rules similar to ordered resolution to deal with disjunctive axioms in a deterministic way; it retains all the favourable attributes of existing consequence-based procedures, such as goal-directed “one pass” classification, optimal worst-case complexity, and “pay-asyou- go” behaviour. Our preliminary empirical evaluation suggests that the procedure scales well to non-Horn ontologies.
Cite
Text
Simancik et al. "Consequence-Based Reasoning Beyond Horn Ontologies." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-187Markdown
[Simancik et al. "Consequence-Based Reasoning Beyond Horn Ontologies." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/simancik2011ijcai-consequence/) doi:10.5591/978-1-57735-516-8/IJCAI11-187BibTeX
@inproceedings{simancik2011ijcai-consequence,
title = {{Consequence-Based Reasoning Beyond Horn Ontologies}},
author = {Simancik, Frantisek and Kazakov, Yevgeny and Horrocks, Ian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {1093-1098},
doi = {10.5591/978-1-57735-516-8/IJCAI11-187},
url = {https://mlanthology.org/ijcai/2011/simancik2011ijcai-consequence/}
}