What to ask to an incomplete semantic web reasoner?

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 2226-2231

  Grau, Bernardo Cuenca ^a   Stoilos, Giorgos ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PATTERNS; INCOMPLETE SYSTEM; QUERY ANSWERING SYSTEMS; REASONER; SEMANTIC WEB APPLICATIONS;

ARTIFICIAL INTELLIGENCE;

SEARCH ENGINES;

EID: 84881039944     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-371     Document Type: Conference Paper

References (14)

1. F. Baader, D. McGuinness, D. Nardi, and P.F. Patel-Schneider. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002.
2. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Proc. of IJCAI, 2005.
3. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Automated Reasoning, 39(3):385-429, 2007.
4. Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa. Data exchange: semantics and query answering. Theoretical Computer Science, 336(1):89-124, 2005.
5. Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler. Conjunctive query answering for the description logic SHIQ. In Proc. of IJCAI, 2007.
6. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. of WWW, pages 48-57, 2003.
7. Y. Guo, Z. Pan, and J. Heflin. LUBM: A Benchmark for OWL Knowledge Base Systems. J. Web Semantics (JWS), 3(2):158-182, 2005. (Pubitemid 41336740)
8. Shadi Abdul Khalek and Sarfraz Khurshid. Automated sql query generation for systematic testing of database engines. In Proc. of ASE, pages 329-332, 2010.
9. C. Lutz, D. Toman, and F. Wolter. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of IJCAI, 2009.
10. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz (Editors). OWL 2 Web Ontology Language Profiles. W3C Recommendation, 2009.
11. Meikel Poess and John M. Stephens. Generating thousand benchmark queries in seconds. In Proc. of VLDB, pages 1045-1053, 2004.
12. Riccardo Rosati. On conjunctive query answering in el. In Proc. of DL, 2007.
13. Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks. Completeness guarantees for incomplete reasoners. In Proc. of ISWC, 2010.
14. Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks. How incomplete is your semantic web reasoner? In Proc. of AAAI, pages 1431-1436, 2010.