The logical difference problem for description logic terminologies

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

Volumn 5195 LNAI, Issue , 2008, Pages 259-274

  Konev, Boris ^a   Walther, Dirk ^a   Wolter, Frank ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; HEALTH; TERMINOLOGY;

AUTOMATED REASONING; CLINICAL TERMS; DESCRIPTION LOGIC; DESCRIPTION LOGICS; INTERPOLANTS; JOINT CONFERENCE; PROTOTYPE IMPLEMENTATIONS;

DATA DESCRIPTION;

EID: 53049098297     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71070-7_21     Document Type: Conference Paper

References (18)

1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proceedings of IJCAI 2003, pp. 325-330. Morgan Kaufmann, San Francisco (2003); Long version available as LTCS Report 02-02
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR, 2006. LNCS (LNAI), vol. 4130, pp. 287-291. Springer, Heidelberg (2006)
3. +. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52-67. Springer, Heidelberg (2007)
4. The Caml team, http://caml.inria.fr/contact.en.html
5. Flögel, A., Büning, H.K., Lettmann, T.: On the restricted equivalence of subclasses of propositional logic ITA 27(4), 327-340 (1993)
6. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Proceedings of KR, 2006, pp. 187-197. AAAI Press, Menlo Park (2006)
7. Ghilardi, S., Lutz, C., Wolter, F., Zakharyaschev, M.: Conservative extensions in modal logics. In: Proceedings of AiML-6, pp. 187-207. College Publications (2006)
8. Ghilardi, S., Zawadowski, M.: Undefinability of propositional quantifiers in the modal system S4. Studia Logica, 55(2), 259-271 (1995)
9. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of WWW 2007, pp. 717-726. ACM Press, New York (2007)
10. Hofmann, M.: Proof-theoretic approach to description logic. In: Proceedings of LICS 2005, pp. 229-237. IEEE Computer Society Press, Los Alamitos (2005)
11. Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies (manuscript 2008), http://www.esc.liv.ac.uk/ ~frank/publ/publ.html
12. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of IJCAI 2007, pp. 453-458. AAAI Press, Menlo Park (2007)
13. Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic ∈. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 84-99. Springer, Heidelberg (2007)
14. Noy, N.F., Musen, M.: Promptdiff: A fixed-point algorithm for comparing ontology versions. In: Proceedings of AAAI 2002, pp. 744-750. AAAI Press, Menlo Park (2002)
15. Pitts, A.: On an interpretation of second-order quantification in first-order intuitionistic propositional logic. Journal of Symbolic Logic 57(1), 33-52 (1992)
16. Sofronie-Stokkermans, V.: Interpolation in local theory extensions. In: Furbach, U., Shankar, N. (eds.) IJCAR, 2006. LNCS (LNAI), vol. 4130, pp. 235-250. Springer, Heidelberg (2006)
17. Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. In: JAMIA, Fall Symposium Special Issue (2000)
18. Visser, A.: Uniform interpolation and layered bisimulation. In: Gödel 1996 (Brno, 1996). Lecture Notes Logic, vol. 6, pp. 139-164. Springer, Heidelberg (1996)