Scalable instance retrieval for the semantic web by approximation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3807 LNCS, Issue , 2005, Pages 245-254

  Wache, Holger ^a   Groot, Perry ^b   Stuckenschmidt, Heiner ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING; QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

KNOWLEDGE BASES; LOGICAL REASONING; SCALABLE INSTANCE RETRIEVAL; SEMANTIC WEB;

INFORMATION RETRIEVAL;

EID: 33744800806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11581116_26     Document Type: Conference Paper

References (11)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P F. Patel-Schneider. The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, 2003.
2. P. Groot, H. Stuckenschmidt, and H. Wache. Approximating Description Logic Classification for Semantice Web Reasoning. In A. Gomez-Pérez and J. Euzenat, editors, ESWC'2005, pages 318-332. Springer-Verlag, 2005.
3. V. Haarslev and R. Möller. RACE system description. In Proceedings of the 1999 DL Workshop, CEUR Electronic Workshop Proceedings, pages 130-132, 1999.
4. V. Haarslev and R. Möller. High performance reasoning with very large knowledge bases: A practical case study. In IJCAI'2001, pages 161-168, 2001.
5. V. Haarslev and R. Möller. RACER system description. In IJCAR'2001, volume 2083 of LNAI, pages 701-705. Springer, 2001.
6. I. Horrocks. The FaCT System. In TABLEAUX'98, volume 1397 of LNAI, pages 307-312. Springer, 1998.
7. I. Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In KR'98, pages 636-647. Morgan Kaufmann, 1998.
8. I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The Instance Store: DL Reasoning with Large Numbers of Individuals. In Proc. of the 2004 DL Workshop, 2004.
9. I. Horrocks and S. Tessaris. A Conjunctive Query Language for Description Logic Aboxes. In AAAI, pages 399-404, 2000.
10. M Schaerf and M Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74:249-310, 1995.
11. H. Stuckenschmidt and F. van Harmelen. Approximating terminological queries. In FQAS'2002, number 2522 in LNCS, pages 329-343. Springer-Verlag, 2002.