Now showing items 1-4 of 4
Extended caching, backjumping and merging for expressive description logics
With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic SROIQ. The developed method is based on a sophisticated dependency management and a precise ...
Nominal schema absorption
Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, ...
Reasoning with OWL - system support and insights
This report aims at summarizing the current activities around OWL, the Web Ontology Language. At first, the report will present details about the current effort towards a revision of the official OWL W3C recommendation, ...
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based reasoning procedures become incomplete if the ontology is extended ...