Ordering heuristics for description logic reasoning

Authors:
Dmitry Tsarkov;Ian Horrocks
Affiliations:
School of Computer Science, University of Manchester, Manchester, UK;School of Computer Science, University of Manchester, Manchester, UK
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 6
Cited 13

Attributive concept descriptions with complements

Artificial Intelligence
Improvements to propositional satisfiability search algorithms

Improvements to propositional satisfiability search algorithms
On the decidability of query containment under constraints

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Industrial Strength Description Logics-Based Configurator Platform

IEEE Intelligent Systems
Sweetening Ontologies with DOLCE

EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
The Description Logic Handbook

The Description Logic Handbook

Towards scalable ontology engineering patterns: lessons learned from an experiment based on W3C's part-whole guidelines

AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A Tableau Decision Procedure for $\mathcal{SHOIQ}$

Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics

Journal of Automated Reasoning
Situational reasoning for task-oriented mobile service recommendation

The Knowledge Engineering Review
Extending Siena to support more expressive and flexible subscriptions

Proceedings of the second international conference on Distributed event-based systems
Individual Reuse in Description Logic Reasoning

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Hypertableau reasoning for description logics

Journal of Artificial Intelligence Research
Spartacus: A Tableau Prover for Hybrid Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology and database mapping: a survey of current implementations and future directions

Journal of Web Engineering
A comparison of reasoning techniques for querying large description logic ABoxes

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Framework for an automated comparison of description logic reasoners

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A novel approach to ontology classification

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.