Consequence-Based Reasoning beyond Horn Ontologies

Simancik, Frantisek; Kazakov, Yevgeny; Horrocks, Ian

doi:10.5591/978-1-57735-516-8/IJCAI11-187

Consequence-Based Reasoning beyond Horn Ontologies

Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1093-1097.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187

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.

Frantisek Simancik, Yevgeny Kazakov, and Ian Horrocks. 2011. Consequence-Based Reasoning beyond Horn Ontologies. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1093–1097. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187

@inproceedings{ijcai2011p187,
  title     = {Consequence-Based Reasoning beyond Horn Ontologies},
  author    = {Simancik, Frantisek and Kazakov, Yevgeny and Horrocks, Ian},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {1093--1097},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-187},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187},
}

TY  - CPAPER
TI  - Consequence-Based Reasoning beyond Horn Ontologies
AU  - Simancik, Frantisek
AU  - Kazakov, Yevgeny
AU  - Horrocks, Ian
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 1093
EP  - 1097
DO  - 10.5591/978-1-57735-516-8/IJCAI11-187
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187
ER  -