Optimizations for answering conjunctive ABox queries: First results

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 215-222

  Sirin, Evren ^a   Parsia, Bijan ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (5)

1. V. Haarslev and R. Möller. Optimization techniques for retrieving resources described in OWL/RDF documents: First results. In Proc. KR 2004, 2004.
2. V. Haarslev, R.Möller, and A.Y. Turhan. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In IJCAR 2001, Italy, 2001.
3. B. Motik and U. Sattler. Practical DL reasoning over large ABoxes with KAON2. In Proc. KR-2006, 2006.
4. Evren Sirin, Bernardo Cuenca Grau, and Bijan Parsia. From wine to water: Optimizing description logic reasoning for nominals. In Proc. KR-2006, 2006.
5. Z. Pan Y. Guo and J. Heflin. LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics, 3(2):158-182, 2005.