Now showing items 1-2 of 2
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, ...
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 ...