Decomposing description logic ontologies

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 236-246

  Konev, Boris ^a   Lutz, Carsten ^b   Ponomaryov, Denis ^c   Wolter, Frank ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b UNIVERSITY OF BREMEN   (Germany)

^c A P ERSHOV INSTITUTE OF INFORMATICS SYSTEMS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; FORMAL LANGUAGES; INTERPOLATION; KNOWLEDGE REPRESENTATION; SYNTACTICS;

AUTOMATIC DECOMPOSITION; COMPLEXITY RESULTS; CRAIG INTERPOLATION; DESCRIPTION LOGIC; MEDICAL DOMAINS; STRUCTURING MECHANISMS;

ONTOLOGY;

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

References (22)

1. Amir, E., and McIlraith, S. A. 2005. Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence 162(1-2):49-88.
2. Areces, C., and ten Cate, B. 2006. Hybrid logics. In Blackburn, P.; van Benthem, J.; and Wolter, F., Eds., Handbook of Modal Logic. Elsevier.
3. Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2009. The DL-Lite family and relations. Journal of Artificial Intelligence Research 36:1-69.
4. Baader, F.; Calvanes, D.; McGuiness, D.; Nardi, D.; and Patel-Schneider, P. 2003. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press
5. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006. Data complexity of query answering in description logics. In Proceedings of KR 2006, 260-270.
6. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Poggi, A.; Rodriguez-Muro, M.; and Rosati, R. 2009. Ontologies and databases: The DL-Lite approach. In Reasoning Web 2009. Springer. 255-356.
7. Cuenca Grau, B.; Parsia, B.; Sirin, E.; and Kalyanpur, A. 2006. Modularity and web ontologies. In Proceedings of KR 2006, 198-209.
8. Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; and Sattler, U. 2008. Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research 31:273-318.
9. d'Aquin, M.; Schlicht, A.; Stuckenschmidt, H.; and Sabou, M. 2009. Criteria and evaluation for ontology modularization techniques. In Modular Ontologies, volume 5445 of Lecture Notes in Computer Science. Springer. 67-89.
10. Konev, B.; Lutz, C.; Walther, D.; and Wolter, F. 2009. Formal properties of modularisation. In Modular Ontologies, volume 5445 of Lecture Notes in Computer Science. Springer. 25-66.
11. Konev, B.; Lutz, C.; Ponomaryov, D.; and Wolter, F. 2010. Decomposing description logic ontologies. Technical report, University of Liverpool.
12. Kontchakov, R.; Wolter, F.; and Zakharyaschev, M. 2010. Logic-based ontology comparison and module extraction, with an application to DL-Lite. To appear in Journal of Artificial Intelligence.
13. Kourousias, G., and Makinson, D. 2007. Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic 72(3):994-1002.
14. Lutz, C., and Wolter, F. 2010. Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation 45(2):194-228.
15. Lutz, C.; Piro, R.; and Wolter, F. 2010. EL-concepts go second-order: Greatest fixpoints and simulation quantifiers. Submitted.
16. Lutz, C.; Walther, D.; andWolter, F. 2007. Conservative extensions in expressive description logics. In Proc. of IJCAI, 453-458.
17. Parikh, R. 1999. Beliefs, belief revision, and splitting languages. In Logic, Language and Information. CSLI Publications. 266-278.
18. Ponomaryov, D. 2008. On decomposibility in logical calculi. Bulletin of the Novosibirsk Computing Center 28:111- 120.
19. Seylan, I.; Franconi, E.; and de Bruijn, J. 2009. Effective query rewriting with ontologies over dboxes. In Proceedings of IJCAI 2009, 923-925.
20. Stuckenschmidt, H.; Parent, C.; and Spaccapietra, S., eds. 2009. Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, volume 5445 of Lecture Notes in Computer Science. Springer.
21. ten Cate, B.; Conradie, W.; Marx, M.; and Venema, Y. 2006. Definitorially complete description logics. In Proceedings of KR 2006, 79-89.
22. ten Cate, B. 2005. Model theory for extended modal languages. Ph.D. Dissertation, University of Amsterdam.