Completeness guaranteed approximation for OWL DL query answering

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Pan, Jeff Z ^a   Thomas, Edward ^a   Zhao, Yuting ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE QUERIES; EXPRESSIVE DESCRIPTION LOGIC; QUALITY GUARANTEED; QUERY ANSWERING; UPPER BOUND APPROXIMATION; WEB ONTOLOGY LANGUAGE;

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DATA DESCRIPTION;

EID: 78149265497     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. B. Glimm, C. Lutz, I. Horrocks, and U. Sattler. Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research, 31:150-197, 2008.
2. P. Groot, H. Stuckenschmidt, and H.Wache. Approximating Description Logic Classification for Semantic Web Reasoning. In Proc. of ESWC2005, 2005.
3. P. Hitzler and D. Vrandecic. Resolution-Based Approximate Reasoning for OWL DL. In Proc. of the 4th International Semantic Web Conference (ISWC2005), 2005.
4. I. Horrocks and S. Tessaris. Querying the Semantic Web: a Formal Approach. In Proc. of the 1st International Semantic Web Conference (ISWC 2002), pages 177-191, 2002.
5. C. Hurtado, A. Poulovassilis, and P.Wood. A Relaxed Approach to RDF Querying. In Proc. of the 5th International Semantic Web Conference (ISWC-2006), 2006.
6. B. Motik and Ul. Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In Proc. of LPAR 2006, pages 227-241, 2006.
7. M. Ortiz, D. Calvanese, and T. Eiter. Characterizing data complexity for conjunctive query answering in expressive description logics. In In Proc. of AAAI 2006, 2006.
8. J. Z. Pan and E. Thomas. Approximating OWL-DL Ontologies. In the Proc. of the 22nd National Conference on Artificial Intelligence (AAAI-07), pages 1434-1439, 2007.
9. Bart Selman and Henry Kautz. Knowledge Compilation and Theory Approximation. Journal of the ACM (JACM), 43(2):193-224, 1996.
10. H. Stuckenschmidt and F. van Harmelen. Approximating Terminological Queries. In Proc. of FQAS2002), pages 329-343, 2002.
11. Tuvshintur Tserendorj, Sebastian Rudolph, Markus Kr̈otzsch, and Pascal Hitzler. Approximate owl-reasoning with screech. In Diego Calvanese and Georg Lausen, editors, RR, volume 5341 of Lecture Notes in Computer Science, pages 165-180. Springer, 2008.
12. H. Wache, P. Groot, and H. Stuckenschmidt. Scalable Instance Retrieval for the Semantic Web by Approximation. In Proc. of WISE-2005 Workshop on Scalable Semantic Web Knowledge Base Systems, 2005.