LAS: Extending racer by a large abox store

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  Chen, CuiMing ^a   Haarslev, Volker ^a   Wang, JiaoYue ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE TECHNIQUE; DESCRIPTION LOGIC; KNOWLEDGE BASIS; MERGING TECHNIQUES; PSEUDO-MODELS; REASONER; SQL QUERY;

DATA DESCRIPTION; DATABASE SYSTEMS; FORMAL LANGUAGES; SEARCH ENGINES;

QUERY PROCESSING;

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

References (12)

1. A.Borgida and R.Brachman. Loading data into description reasoners. volume 22. SIGMOD, 1993.
2. Paolo Bresciani. Querying database from description logics. In KRDB'95, 1995.
3. D.Turi. Instance Store. http://instancestore.man.ac.uk/, 2004.
4. F.Baader, D.Calvanese, D.Nardi, P.F, and Patel-Schneider. The Description Logic Handbook: Theory, Implememntation, and Applications. Cambridge University Press, 2003.
5. Volker Haarslev and Ralf Möller. Optimizing TBox and ABox reasoning with pseudo models. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000.
6. Bernhard Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. In Ann. of Mathematics and Artificial Intelligence, 1996.
7. I.Horrocks, L.Li, D.Turi, and S.Bechhofer. The Instance Store: DL reasoning with large numbers of individuals. In Description Logic Workshop, 2004.
8. M.Roger, A.Simonet, and M.Simonet. Bringing together description logics and database in an object oriented model. In DEXA2002, 2002.
9. Sergio Tessaris and Ian Horrocks. Abox satisfiability reduced to terminological reasoning in expressive description logics. In Logic for Programming, LPAR 2002, 2002.
10. V.Haarslev, R.Möller, and A.Turhan. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In Proceedings of International Joint Conference on Automated Reasoning, 2001.
11. Y.Guo, J.Heflin, and Zhengxiang Pan. Benchmarking DAML+OIL repositories. In Second International Semantic Web Conference, ISWC 2003, LNCS 2870, 2003.
12. Y.Vassiliou, J.Clifford, and M.Jarke. How does an expert system get its data? In VLDB, 1983.