Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Abstract

Nowadays, saturation-based reasoners for the OWL EL profile of the Web Ontology Language are able to handle large ontologies such as SNOMED very efficiently. However, it is currently unclear how saturation-based reasoning procedures can be extended to very expressive Description Logics such as SROIQ—the logical underpinning of the current and second… (More)
DOI: 10.1613/jair.4897

16 Figures and Tables

Topics

  • Presentations referencing similar topics