Corpus ID: 9843807

The Empirical Robustness of Description Logic Classification

  title={The Empirical Robustness of Description Logic Classification},
  author={Rafael S Gonçalves and Nicolas Matentzoglu and B. Parsia and U. Sattler},
  booktitle={Description Logics},
  • Rafael S Gonçalves, Nicolas Matentzoglu, +1 author U. Sattler
  • Published in Description Logics 2013
  • Computer Science
  • In spite of the recent renaissance in lightweight description logics (DLs), many prominent DLs, such as that underlying the Web Ontology Language (OWL), have high worst case complexity for their key inference services. Modern reasoners have a large array of optimization, tuned calculi, and implementation tricks that allow them to perform very well in a variety of application scenarios, even though the complexity results ensure that they will perform poorly for some inputs. For users, the key… CONTINUE READING
    24 Citations
    Impact analysis in description logic ontologies
    • 4
    OWL Reasoning: Subsumption Test Hardness and Modularity
    • 7
    • PDF
    Predicting the Empirical Robustness of the Ontology Reasoners based on Machine Learning Techniques
    • 4
    • Highly Influenced
    • PDF
    Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
    • 4
    • PDF
    Inference Inspector: Improving the verification of ontology authoring actions
    • 10
    A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency
    • 2
    • Highly Influenced
    Understanding and Improving Ontology
    • PDF


    Framework for an Automated Comparison of Description Logic Reasoners
    • 63
    • PDF
    A Testing Framework for OWL-DL Reasoning
    • M. Babik, L. Hluchý
    • Computer Science
    • 2008 Fourth International Conference on Semantics, Knowledge and Grid
    • 2008
    • 4
    Soundness Preserving Approximation for TBox Reasoning
    • 86
    • PDF
    Predicting Reasoning Performance Using Ontology Metrics
    • 64
    • PDF
    HermiT: A Highly-Efficient OWL Reasoner
    • 457
    • PDF
    OWL 2: The next step for OWL
    • 845
    • PDF
    FaCT++ Description Logic Reasoner: System Description
    • 1,133
    • PDF
    Analysing the evolution of the NCI Thesaurus
    • 28