Consequence−Based Reasoning beyond Horn Ontologies
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 consequen...
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
2015
|