Efficient query answering for OWL 2

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

Volumn 5823 LNCS, Issue , 2009, Pages 489-504

  Pérez Urbina, Héctor ^a   Horrocks, Ian ^a   Motik, Boris ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; SEMANTIC WEB;

DATABASE TECHNOLOGY; EMPIRICAL EVALUATIONS; QUERY ANSWERING; QUERY REWRITINGS; REALISTIC APPLICATIONS; REWRITING ALGORITHM; STANDARD ALGORITHMS;

QUERY PROCESSING;

EID: 78650447140     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04930-9_31     Document Type: Conference Paper

References (10)

1. Baader, F., Snyder, W.: Unification Theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 8, vol. I, pp. 445-532. Elsevier Science, Amsterdam (2001).
2. Bachmair, L., Ganzinger, H.: Resolution Theorem Proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 2, vol. 1, pp. 19-100. North Holland, Amsterdam (2001).
3. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. of Automated Reasoning (2007).
4. Calvanese, D., Giacomo, G.D., Lenzerini, M., Nardi, D., Rosati, R.: Description Logic Framework for Information Integration. Principles of Knowledge Representation and Reasoning, 2-13 (1998).
5. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, Inc., Orlando (1997).
6. Kazakov, Y.: Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany (2006).
7. Keet, C.M., Alberts, R., Gerber, A., Chimamiwa, G.: Enhancing web portals with ontology-based data access: The case study of south africa's accessibility portal for people with disabilities. In: OWLED (2008).
8. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Karlsruhe, Germany (2006).
9. Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable Query Answering and Rewriting under Description Logic Constraints. J. of Applied Logic (to appear, 2009), http://web.comlab.ox.ac.uk/people/publications/date/Hector. Perez-Urbina.html.
10. Rodriguez-Muro, M., Lubyte, L., Calvanese, D.: Realizing ontology based data access: A plug-in for protégé. In: Proc. of the Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008), pp. 286-289. IEEE Computer Society Press, Los Alamitos (2008).