Query and predicate emptiness in description logics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 192-202

  Baader, Franz ^a   Bienvenu, Meghyn ^b   Lutz, Carsten ^b   Wolter, Frank ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; ONTOLOGY;

DESCRIPTION LOGIC; DL-LITE;

QUERY PROCESSING;

EID: 84860568616     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2009. The DL-Lite family and relations. J. of Artifical Intelligence Research 36:1-69.
2. Baader, F.; McGuiness, D. L.; Nardi, D.; and Patel- Schneider, P., eds. 2003. The Description Logic Handbook. Cambridge University Press.
3. Baader, F.; Bienvenu, M.; Lutz, C.; and Wolter, F. 2009. Query answering over DL aboxes: How to pick the relevant symbols. In Proc. of DL workshop.
4. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. of IJCAI, 364-369.
5. Baader, F.; Brandt, S.; and Lutz, C. 2008. Pushing the EL envelope further. In Proc. of OWLED workshop.
6. Benedikt, M.; Fan, W.; and Geerts, F. 2008. XPath satisfiability in the presence of DTDs. J. of the ACM 55(2):1-79.
7. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
8. Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; Poggi, A.; Rodriguez-Muro, M.; and Rosati, R. 2009. Ontologies and databases: The DL-Lite approach. In Reasoning Web, volume 5689 of LNCS, 255-356.
9. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proc. of PODS, 149-158.
10. Grau, B. C.; Horrocks, I.; Kazakov, Y.; and Sattler, U. 2008. Modular reuse of ontologies: Theory and practice. J. of Artifical Intelligence Research 31:273-318.
11. Konev, B.; Lutz, C.; Walther, D.; and Wolter, F. 2008. Semantic modularity and module extraction in description logics. In Proc. of ECAI, 55-59.
12. Konev, B.; Lutz, C.; Walther, D.; and Wolter, F. 2009. Formal properties of modularisation. In Modular Ontologies, volume 5445 of LNCS. Springer. 25-66.
13. Kontchakov, R.; Wolter, F.; and Zakharyaschev, M. 2010. Logic-based ontology comparison and module extraction with an application to DL-Lite. J. of Artificial Intelligence.
14. Levy, A. 1993. Irrelevance Reasoning in Knowledge Based Systems. Ph.D. Dissertation, Stanford University.
15. Lubyte, L., and Tessaris, S. 2008. Supporting the design of ontologies for data access. In Proc. of DL workshop.
16. Lutz, C., and Wolter, F. 2009. Deciding inseparability and conservative extensions in the description logic EL. J. of Symbolic Computation 45(2):194-228.
17. Lutz, C.; Toman, D.; and Wolter, F. 2009. Conjunctive query answering in the description logic EL using a relational database system. In Proc. of IJCAI, 2070-2075.
18. Lutz, C. 2008. The complexity of CQ answering in expressive description logics. In Proc. of IJCAR, 179-193.
19. Patel, C.; Cimino, J. J.; Dolby, J.; Fokoue, A.; Kalyanpur, A.; Kershenbaum, A.; Ma, L.; Schonberg, E.; and Srinivas, K. 2007. Matching patient records to clinical trials using ontologies. In Proc. of ISWC/ASWC, 816-829.
20. Stuckenschmidt, H.; Parent, C.; and Spaccapietra, S., eds. 2009. Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, volume 5445 of LNCS. Springer.
21. Vardi, M. Y. 1989. Automata theory for database theoreticans. In Proc. of PODS, 83-92.