Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 163-173

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

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

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; INFERENCE ENGINES; LOGIC PROGRAMMING; RESOURCE DESCRIPTION FRAMEWORK (RDF);

CURRENT SYSTEM; DESCRIPTION LOGIC; DESCRIPTION LOGIC SYSTEMS; DISTRIBUTED ENVIRONMENTS; KNOWLEDGE REPRESENTATION AND REASONING; OPTIMIZATION TECHNIQUES; OWL/RDF; REPRESENTATION LANGUAGES; SEMANTIC-WEB; SYSTEMS IMPLEMENTATION;

KNOWLEDGE REPRESENTATION;

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

References (31)

1. Baader, F.; Franconi, E.; Hollunder, B.; Nebel, B.; and Profitlich, H.-J. 1992. An empirical analysis of optimization techniques for terminological representation systems, or: Making KRIS get a move on. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'92), 270-281.
2. Baader, F.; Franconi, E.; Hollunder, B.; Nebel, B.; and Profitlich, H.-J. 1994. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management 4:109-132.
3. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
4. Baader, F.; Horrocks, I.; and Sattler, U. 2003a. Description logics as ontology languages for the semantic web. In Hutter, D., and Stephan, W., eds., Festschrift in honor of Jörg Siekmann. LNAI. Springer-Verlag.
5. Baader, F.; Horrocks, I.; and Sattler, U. 2003b. Description logics as ontology languages for the semantic web. In Hutter, D., and Stephan, W., eds., Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag. To appear.
6. Bechhofer, S.; Horrocks, I.; and Goble, C. 2001. OilEd: a reason-able ontology editor for the semantic web. In Proceedings of KI2001, Joint German/Austrian conference on Artificial Intelligence, September 19-21, Vienna. LNAI Vol. 2174.
7. Bechhofer, S.; Möller, R.; and Crowther, P. 2003. The DIG description interface. In Proc. International Workshop on Description Logics - DL'03.
8. Berners-Lee, T.; Hendler, J.; and Lassila, O. 2001. The semantic web. Scientific American May 2001.
9. Borgida, A., and Brachman, R. 1993. Loading data into description reasoners. ACM SIGMOD Record 22(2):217-226.
10. Bresciani, P. 1995. Querying databases from description logics. In Knowledge Representation Meets Databases.
11. Brickley, D., and Guha, R. 2002. RDF vocabulary description language 1.0: RDF Schema, http://www.w3.org/tr/2002/wd-rdf-schema-20020430/.
12. Chandra, A. K., and Merlin, P. M. 1977. Optimal implementation of conjunctive queries in relational data bases. In Proceedings of the Nineth ACM Symposium on Theory of Computing, 77-90.
13. Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; and Schaerf, A. 1992. Adding epistemic operators to concept languages. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'92), 342-353. Morgan Kaufmann, Los Altos.
14. Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; and Schaerf, A. 1996. Adding epistemic operators to description logics. Technical Report 16-96, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”.
15. Gabsdil, M.; Koller, A.; and Striegnitz, K. 2001a. Building a text adventure on description logic. In International Workshop on Applications of Description Logics, Vienna, September 18. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-44/.
16. Gabsdil, M.; Koller, A.; and Striegnitz, K. 2001b. Playing with description logic. In Proceedings Second Workshop on Methods for Modalities M4M-02. http://turing.wins.uva.nl/~m4m/M4M2/program.html.
17. Haarslev, V., and Möller, R. 2000. Consistency testing: The RACE experience. In Proceedings International Conference Tableaux'2000, volume 1847 of Lecture Notes in Artificial Intelligence, 57-61. Springer-Verlag.
18. Haarslev, V., and Möller, R. 2001. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001).
19. Haarslev, V., and Möller, R. 2003. The Racer user's guide and reference manual.
20. Haarslev, V.; Möller, R.; and Turhan, A.-Y. 2001. Exploiting pseudo models for tbox and abox reasoning in expressive description logics. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence. Springer-Verlag.
21. R+ extended with concrete domains: A practically motivated approach. In Goré, R.; Leitsch, A.; and Nipkow, T., eds., Proceedings of the International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy, Lecture Notes in Computer Science, 29-44. Springer-Verlag.
22. Horrocks, I., and Tessaris, S. 2002. Querying the semantic web: a formal approach. In Horrocks, I., and Hendler, J., eds., Proc. of the 13th Int. Semantic Web Conf. (ISWC 2002), number 2342 in Lecture Notes in Computer Science, 177-191. Springer-Verlag.
23. Horrocks, I.; Sattler, U.; and Tobies, S. 2000. Reasoning with individuals for the description logic SHIQ. In MacAllester, D., ed., Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Lecture Notes in Computer Science. Germany: Springer Verlag.
24. Horrocks, I. 1997. Optimisation techniques for expressive description logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science.
25. Lassila, O., and Swick, R. 1999. Resource description framework (RDF) model and syntax specification. recommendation, W3C, february 1999. http://www.w3.org/tr/1999/rec-rdf-syntax-19990222.
26. Li, L., and Horrocks, I. 2003. Matchmaking using an instance store: Some preliminary results. In Proceedings of the 2003 International Workshop on Description Logics (DL'2003).
27. Ludwig, B.; Büchner, K.; and Görz, G. 2002. Mapping semantics onto pragmatics. In Görz, G.; Haarslev, V.; Lutz, C.; and Möller, R., eds., KI-2002 Workshop on Applications of Description Logics, CEUR Proceedings, Aachen.
28. Motik, B.; Volz, R.; and Maedche, A. 2003. Optimizing query answering in description logics using disjunctive deductive databases. In Proceedings of the 10th International Workshop on Knowledge Representation Meets Databases (KRDB-2003), 39-50.
29. Nebel, B. 1990. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag.
30. Noy, N. F.; Sintek, M.; Decker, S.; Crubezy, M.; Fergerson, R. W.; and Musen, M. A. 2001. Creating semantic web contents with Protege-2000. IEEE Intelligent Systems 16(2):60-71.
31. van Harmelen, F.; Hendler, J.; Horrocks, I.; McGuinness, D. L.; Patel-Schneider, P. F.; and Stein, L. A. 2003. OWL web ontology language reference, http://www.w3.org/tr/owl-guide/.