Modules in transition conservativity, composition, and colimits

CEUR Workshop Proceedings

Volumn 315, Issue , 2007, Pages

  Kutz, Oliver ^a   Mossakowski, Till ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CATEGORY THEORY; COMMON BASIS; CONSERVATIVE EXTENSIONS; CONSERVATIVITY; LANGUAGE EXTENSIONS; LOGICAL THEORIES; MODULARITY CONCEPT; THEORY INTERPRETATION;

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

References (45)

1. Adámek, J., Herrlich, H. and Strecker, G. (1990). Abstract and Concrete Categories. Wiley, New York. Freely available at http://www.math.uni- bremen.de/~dmb/acc.pdf.
2. Areces, C., Blackburn, P. and Marx, M. (2003). Repairing the Interpolation Theorem in Quantified Modal Logic. Annals of Pure and Applied Logics 123, 287-299.
3. Areces, C. and Marx, M. (1998). Failure of interpolation in combined modal logics. Notre Dame Journal of Formal Logic 39, 253-273.
4. Areces, C. and ten Cate, B. (2006). Hybrid Logics. In J. v. Benthem, P. Blackburn and F. Wolter, eds., Handbook of Modal Logic. Amsterdam: Elsevier, pages 821-868.
5. Baader, F. and Ghilardi, S. (2007). Connecting Many-Sorted Theories. The Journal of Symbolic Logic 72, 535-583.
6. Bao, J., Caragea, D. and Honavar, V. (2006a). Modular Ontologies - A Formal Investigation of Semantics and Expressivity. In Proc. of ASWC. Springer.
7. Bao, J., Caragea, D. and Honavar, V. (2006b). On the Semantics of Linking and Importing in Modular Ontologies. In Proc. of ISWC. Springer.
8. Bidoit, M. and Mosses, P. D. (2004). Casl User Manual. LNCS Vol. 2900 (IFIP Series). Springer. Freely available at http://www.cofi.info.
9. Borgida, A. (2007). On Importing Knowledge from DL Ontologies: some Intuitions and Problems. In Proc. of DL.
10. Borgida, A. and Serafini, L. (2002). Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. In On The Move to Meaningful Internet Systems, volume 2519 of LNCS. Springer.
11. Borgida, A. and Serafini, L. (2003). Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics 1, 153-184.
12. Borzyszkowski, T. (2002). Logical systems for structured specifications. Theoretical Computer Science 286, 197-245.
13. CoFI (The Common Framework Initiative) (2004). Casl Reference Manual. LNCS Vol. 2960 (IFIP Series). Springer. Freely available at http://www.cofi. info.
14. Craig, W. (1957). Three uses of the Herbrand-Genzen theorem in relating model theory and proof theory. Journal of Symbolic Logic 22, 269-285.
15. Cuenca-Grau, B., Horrocks, I., Kazakov, Y. and Sattler, U. (2007). Ontology reuse: Better safe than sorry. In Proc. of DL-07.
16. Cuenca-Grau, B., Horrocks, I., Kutz, O. and Sattler, U. (2006a). Will my Ontologies Fit Together? In Proc. of DL-06.
17. Cuenca-Grau, B. and Kutz, O. (2007). Modular Ontology Languages Revisited. In Proc. of the IJCAI'07 Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa), Hyderabad, India, January 2007.
18. Cuenca-Grau, B., Parsia, B. and Sirin, E. (2006b). Combining OWL Ontologies Using ε-Connections. Journal of Web Semantics 4, 40-59.
19. Diaconescu, R. (2002). Grothendieck institutions. Applied Categorical Structures 10, 383-402.
20. Diaconescu, R. (2007). Institution-independent Model Theory. Springer Verlag. To appear.
21. Diaconescu, R., Goguen, J. and Stefaneas, P. (1993). Logical Support for Modularisation. In 2nd Workshop on Logical Environments. New York: CUP, pages 83-130.
22. Dimitrakos, T. and Maibaum, T. (2000). On a generalised modularisation theorem. Information Processing Letters 74, 65-71.
23. Fine, K. (1979). Failures of the Interpolation Lemma in Quantified Modal Logic. The Journal of Symbolic Logic 44, 201-206.
24. Fitting, M. (2002). Interpolation for First Order S5. The Journal of Symbolic Logic 67, 621-634.
25. Gabbay, D. and Maksimova, L. (2006). Interpolation and definability: Modal and Intu-itionistic Logics (Oxford Logic Guides). Oxford science publications. Clarendon press, Oxford.
26. Gabbay, D. M. (1972). Craig's interpolation theorem for modal logics. In Conference in Mathematical Logic, London '70, volume 255 of Lecture Notes in Mathematics. Springer.
27. Ghilardi, S., Lutz, C. and Wolter, F. (2006). Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. In Proceedings of KR-06.
28. Goguen, J. and Rõsu, G. (2002). Institution morphisms. Formal aspects of computing 13, 274-307.
29. Goguen, J. A. (1991). A categorical manifesto. Mathematical Structures in Computer Science 1, 49-67.
30. Goguen, J. A. and Burstall, R. M. (1992). Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39, 95-146.
31. Goranko, V. and Passy, S. (1992). Using the Universal Modality: Gains and Questions. J. Log. Comput. 2, 5-30.
32. Guerra, S. (2001). Composition of Default Specifications. J. Log. Comput. 11, 559-578.
33. Kracht, M. and Wolter, F. (1991). Properties of Independently Axiomatizable Bimodal Logics. The Journal of Symbolic Logic 56, 1469-1485.
34. Kutz, O. (2004). E-Connections and Logics of Distance. Ph.D. thesis, The University of Liverpool.
35. Kutz, O., Lutz, C., Wolter, F. and Zakharyaschev, M. (2004). E-Connections of Abstract Description Systems. Artificial Intelligence 156, 1-73.
36. Lüttich, K., Masolo, C. and Borgo, S. (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure and A. Tamilin, eds., 1st Workshop on Modular Ontologies 2006, volume 232 of CEUR Workshop Proceedings. CEUR-WS.org.
37. Lutz, C. and Wolter, F. (2007). Conservative Extensions in the Lightweight Description Logic EL. In Proc. of CADE-07. Springer.
38. Marx, M. and Venema, Y. (1997). Multi-dimensional modal logic. Dordrecht: Kluwer Academic Publishers.
39. Mossakowski, T. (2002). Comorphism-based Grothendieck logics. In K. Diks and W. Rytter, eds., Mathematical Foundations of Computer Science, volume 2420 of LNCS. Springer, pages 593-604.
40. Mossakowski, T. (2006). Institutional 2-cells and Grothendieck institutions. In K. Fu-tatsugi, J.-P. Jouannaud and J. Meseguer, eds., Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, LNCS 4060. Springer.
41. Mossakowski, T., Maeder, C. and Lüttich, K. (2007). The Heterogeneous Tool Set. In O. Grumberg and M. Huth, eds., TACAS 2007, volume 4424 of Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
42. Sannella, D. and Tarlecki, A. (1988). Specifications in an arbitrary institution. Information and Computation 76, 165-210.
43. Schorlemmer, W. M. and Kalfoglou, Y. (2007). Institutionalising Ontology-Based Semantic Integration. Journal of Applied Ontology. To appear.
44. Shoenfield, J. (1967). Mathematical Logic. Addison-Wesley, Reading, Massachusetts.
45. ten Cate, B., Conradie, W., Marx, M. and Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos and C. Welty, eds., Proceedings of KR 2006. AAAI Press.