Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies
@inproceedings{Gonalves2012PerformanceHA, title={Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies}, author={Rafael S Gonçalves and B. Parsia and U. Sattler}, booktitle={International Semantic Web Conference}, year={2012} }
Due to the high worst case complexity of the core reasoning problem for the expressive profiles of OWL 2, ontology engineers are often surprised and confused by the performance behaviour of reasoners on their ontologies. Even very experienced modellers with a sophisticated grasp of reasoning algorithms do not have a good mental model of reasoner performance behaviour. Seemingly innocuous changes to an OWL ontology can degrade classification time from instantaneous to too long to wait for… CONTINUE READING
Figures, Tables, and Topics from this paper
50 Citations
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies
- Computer Science
- Description Logics
- 2014
- 3
- PDF
How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance
- Computer Science
- AAAI
- 2014
- 23
- Highly Influenced
- PDF
What Makes Ontology Reasoning so Arduous?: Unveiling the key ontological features
- Computer Science
- WIMS
- 2015
- 12
Towards Unveiling the Ontology Key Features Altering Reasoner Performances
- Computer Science
- ArXiv
- 2015
- 7
- PDF
ComR: a combined OWL reasoner for ontology classification
- Computer Science
- Frontiers of Computer Science
- 2016
- 1
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification
- Computer Science
- Description Logics
- 2015
- 1
- PDF
Predicting the Empirical Robustness of the Ontology Reasoners based on Machine Learning Techniques
- Computer Science
- KEOD
- 2015
- 4
- PDF
References
SHOWING 1-10 OF 28 REFERENCES
JustBench: A Framework for OWL Benchmarking
- Computer Science
- International Semantic Web Conference
- 2010
- 28
- PDF
Modular Reuse of Ontologies: Theory and Practice
- Mathematics, Computer Science
- J. Artif. Intell. Res.
- 2008
- 399
- PDF
Soundness Preserving Approximation for TBox Reasoning
- Computer Science
- AAAI
- 2010
- 86
- Highly Influential
- PDF
The Modular Structure of an Ontology: Atomic Decomposition
- Mathematics, Computer Science
- IJCAI
- 2011
- 97
- PDF
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
- Computer Science, Mathematics
- IJCAR
- 2006
- 234
- PDF