Hierarchical knowledge bases and efficient disjunctive reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The complexity of existential quantification in concept languages
Artificial Intelligence
Tractable reasoning via approximation
Artificial Intelligence
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
What Is Approximate Reasoning?
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximating OWL-DL ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Partial matchmaking using approximate subsumption
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A Workbench for Anytime Reasoning by Ontology ApproximationWith a case study on instance retrieval
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Semantic web reasoners and languages
Artificial Intelligence Review
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Template-Based Design in COLIBRI Studio
Information Systems
Hi-index | 0.00 |
In many application scenarios, the use of the Web ontology language OWL is hampered by the complexity of the underlying logic that makes reasoning in OWL intractable in the worst case. In this paper, we address the question whether approximation techniques known from the knowledge representation literature can help to simplify OWL reasoning. In particular, we carry out experiments with approximate deduction techniques on the problem of classifying new concept expressions into an existing OWL ontology using existing Ontologies on the web. Our experiments show that a direct application of approximate deduction techniques as proposed in the literature in most cases does not lead to an improvement and that these methods also suffer from some fundamental problems.