How incomplete is your Semantic Web reasoner?: Systematic analysis of the completeness of query answering systems

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2010, Pages 1431-1436

  Stoilos, Giorgos ^a   Grau, Bernardo Cuenca ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ONTOLOGY;

CONJUNCTIVE QUERIES; DATA GENERATION; ONTOLOGY LANGUAGE; ONTOLOGY-BASED APPLICATIONS; QUERY ANSWERING SYSTEMS; REASONER; SYSTEMATIC ANALYSIS; TEST DATA;

SEMANTIC WEB;

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

References (12)

1. Baader, F.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. 2002. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press.
2. Baader, F; Brandt, S.; and Lutz, C. 2005. Pushing the εℒ envelope. In Proc. of IJCAI05.
3. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
4. Glimm, B.; Horrocks, I.; Lutz, C; and Sattler, U. 2007. Conjunctive query answering for the description logic SHIQ. In Proc. of UCAI 2007.
5. Guo, Y; Pan, Z.; and Heflin, J. 2005. LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2): 158-182.
6. Kalyanpur, A.; Parsia, B.; Horridge, M.; and Sirin, E. 2007. Finding all justifications of OWL DL entailments. In ISWC/ASWC, 267-280.
7. Lutz, C; Toman, D.; and Wolter, F 2009. Conjunctive query answering in the description logic el using a relational database system. In Proc. ofUCAI 09.
8. Ma, L.; Yang, Y; Qiu, Z.; Xie, G. T.; Pan, Y; and Liu, S. 2006. Towards a complete OWL ontology benchmark. In ESWC, 125-139.
9. Motik, B.; Cuenca Grau, B.; Horrocks, I.; Wu, Z.; Fokoue, A.; and (Editors), C. L. 2009. OWL 2 Web Ontology Language Profiles. W3C Recommendation.
10. Ortiz, M.; Calvanese, D.; and Eiter, T. 2008. Data complexity of query answering in expressive description logics via tableaux. J. Autom. Reasoning 41(1):61-98.
11. Pérez-Urbina, H.; Motik, B.; and Horrocks, I. 2008. Rewriting Conjunctive Queries under Description Logic Constraints. In Proc. of LID 2008.
12. Poggi, A.; Lembo, D.; Calvanese, D.; Giacomo, G. D.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. Data Semantics 10:133-173.