A comparison of reasoning techniques for querying large description logic aboxes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4246 LNAI, Issue , 2006, Pages 227-241

  Motik, Boris ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES;

DEDUCTIVE DATABASES; DESCRIPTION LOGIC; PERFORMANCE EVALUATION;

LOGIC PROGRAMMING;

EID: 33845212761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11916277_16     Document Type: Conference Paper

References (23)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, January 2003.
2. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic Paramodulation. Information and Computation, 121(2):172-192, 1995.
3. S. Bechhofer, R. Volz, and P. W. Lord. Cooking the Semantic Web with the OWL API. In Proc. ISWC 2003, volume 2870 of LNCS, pages 659-675, Sanibel Island, FL, USA, October 20-23 2003. Springer.
4. C. Cumbo, W. Faber, G. Greco, and N. Leone. Enhancing the Magic-Set Method for Disjunctive Datalog Programs. In Proc. ICLP 2004, volume 3132 of LNCS, pages 371-385, Saint-Malo, France, September 6-10 2004. Springer.
5. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative problem-solving using the DLV system. Logic-Based Artificial Intelligence, pages 79-103, 2000.
6. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Non-Monotonic Reasoning. In Proc. LPNMR '97, volume 1265 of LNAI, pages 364-375, Dagstuhl, Germany, July 28-31 1997. Springer.
7. Y. Guo, Z. Pan, and J. Heflin. An Evaluation of Knowledge Base Systems for Large OWL Datasets. In Proc. ISWC 2004, volume 3298 of LNCS, pages 274-288, Hiroshima, Japan, November 7-11 2004. Springer.
8. V. Haarslev and R. Möller. RACER System Description. In Proc. IJCAR 2001, volume 2083 of LNAI, pages 701-706, Siena, Italy, June 18-23 2001. Springer.
9. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, UK, 1997.
10. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics, 1(4):345-357, 2004.
11. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
12. U. Hustadt, B. Motik, and U. Sattler. Reducing STIQ- Description Logic to Disjunctive Datalog Programs. In Proc. KR 2004, pages 152-162, Whistler, Canada, June 2-5, 2004 2004. AAAI Press.
13. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. IJCAI 2005, pages 466-471, Edinburgh, UK, July 30-August 5 2005. Morgan Kaufmann Publishers.
14. W. W. McCune. OTTER 3.0 Reference Manual and Guide. Technical Report ANL-94/6, Argonne National Laboratory, January 1994.
15. B. Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesität Karlsruhe, Germany, 2006.
16. R. Nieuwenhuis and A. Rubio. Theorem Proving with Ordering and Equality Constrained Clauses. Journal of Symbolic Computation, 19(4):312-351, 1995.
17. B. Persia and E. Sirin. Pellet: An OWL-DL Reasoner. Poster, In Proc. ISWC 2004, Hiroshima, Japan, November 7-11, 2004.
18. A. L. Rector, W. A. Nowlan, and A. Glowinski. Goals for concept representation in the galen project. In Proc. SCAMC '93, pages 414-418, Washington DC, USA, November 1-3 1993. McGraw-Hill.
19. A. Riazanov and A. Voronkov. The design and implementation of VAMPIRE. AI Communications, 15(2-3):91-110, 2002.
20. S. Schulz. E - A Brainiac Theorem Prover. AI Communications, 15(2-3):111-126, 2002.
21. S. Schulz. Simple and Efficient Clause Subsumption with Feature Vector Indexing. In Proc. ESFOR, IJCAR 2004 Workshop, Cork, Ireland, July 4-8 2004.
22. D. Tsarkov and I. Horrocks. Ordering Heuristics for Description Logic Reasoning. In Proc. IJCAI 2005, pages 609-614, Edinburgh, UK, July 30 - August 5 2005. Morgan Kaufmann Publishers.
23. R. Volz. Web Ontology Reasoning With Logic Databases. PhD thesis, Universität Fridericiana zu Karlsruhe (TH), Germany, 2004.