• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures

Thumbnail
vts_9263_13910.pdf (411.2Kb)
71 S.
Veröffentlichung
2014-11-03
Authors
Glimm, Birte
Steigmiller, Andreas
Liebig, Thorsten
Bericht


Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Series
Ulmer Informatik-Berichte
Abstract
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 with axioms that use features of more expressive Description Logics, e.g., disjunctions. Tableau-based procedures, on the other hand, are not limited to a specific OWL profile, but even highly optimised reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance on a wide range of ontologies.
Date created
2014
Subject headings
[GND]: Tableau <Logik> | Terminologische Logik
[LCSH]: Description logics | Mathematical optimization | Reasoning
[Free subject headings]: Beschreibungslogik | Tableaux | Web ontology language
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard
https://oparu.uni-ulm.de/xmlui/license_v3

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-3211

Glimm, Birte; Steigmiller, Andreas; Liebig, Thorsten (2014): Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-3211
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement