Incremental query answering for implementing document retrieval services

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Haarslev, Volker ^a   Möller, Ralf ^b  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; DATA DESCRIPTION; ENGINES; FORMAL LANGUAGES; MACHINERY; SEMANTIC WEB; SOFTWARE AGENTS;

DESCRIPTION LOGIC; DOCUMENT RETRIEVAL; INCREMENTAL QUERY ANSWERING; INFORMATION SOURCES; INSTANCE RETRIEVAL; KILLER-APPLICATION; OPTIMIZATION TECHNIQUES; RETRIEVAL SYSTEMS;

INFORMATION RETRIEVAL;

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

References (11)

1. S. Bechhofer, R. Möller, and P. Crowther. The DIG description interface. In Proc. International Workshop on Description Logics - DL'03, 2003.
2. F.M. Donini, D. Nardi, and R. Rosati. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic, 3, April 2002.
3. V. Haarslev and R. Möller. Racer system description. In International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy., 2001.
4. V. Haarslev and R. Möller. High performance reasoning with very large knowledge bases: A practical case study. In Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, August 4-10, 2001, Seattle, Washington, USA., 2002.
5. V. Haarslev and R. Möller. Optimization stategies for instance retrieval. In Proc. International Workshop on Description Logics - DL'02, 2002.
6. V. Haarslev and R. Möller. The Racer user's guide and reference manual, 2003.
7. V. Haarslev, R. Möller, and A.Y. Turhan. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy. Springer-Verlag, 2001.
8. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001.
9. Adobe Systems Inc. Embedding XMP metadata in application files, 2002.
10. F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL web ontology language reference, 2003.
11. F. van Harmelen, P.F. Patel-Schneider, and I. Horrocks (Editors). Reference description of the DAML+OIL (march 2001) ontology markup language, 2001.