I4-[SPIN]

The Project I4-[Spin] - Publications

	2010
	Kutz, O., Mossakowski, T., & Lücke, D. (2010). Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design. In: Logica Univeralis (Vol. 4, pp. 255-333).

	Lücke, D., & Mossakowski, T. (2010). A much better polynomial time approximation of consistency in the LR calculus. In: A. Gomez-Perez, T. Agotnes (Eds.) Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010). Frontiers in Artificial Intelligence and Applications, vol. 222, pp. 175-185. IOS Press, Amsterdam.
	2009
	Mossakowski, T., Tarlecki, A., & Diaconescu, R. (2009). What is a logic translation?. In: Logica Universalis (Vol. 3, pp. 95-124). Winner of the universal logic 2007 contest.

	Mossakowski, T., & Tarlecki, A. (2009). Heterogeneous Logical Environments for Distributed Specifications. In: Andrea Corradini, Ugo Montanari (Eds.) WADT 2008. Lecture Notes in Computer Science, vol. 5486, p. 266–289. Springer.

	Moratz, R., Lücke, D., & Mossakowski, T. (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In: CoRR (Vol. abs/0912.5533, ). abs/0912.5533
	2008
	Codescu, M., & Mossakowski, T. (2008). Heterogeneous colimits. In: Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.) MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.

	Kutz, O., & Mossakowski, T. (2008). Conservativity in Structured Ontologies. In: M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.) ECAI 2008. {F}rontiers in {A}rtificial {I}ntelligence and {A}pplications, vol. 178. IOS Press.

	Kutz, O., Mossakowski, T., & Codescu, M. (2008). Shapes of Alignments - Construction, Combination, and Computation. In: Ulrike Sattler, Andrei Tamilin (Eds.) International Workshop on Ontologies: Reasoning and Modularity (WORM-08). CEUR-WS online proceedings, vol. 348.

	Kutz, O., Lücke, D., & Mossakowski, T. (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia. CRPIT, vol. 90.

	Kutz, O., Lücke, D., Mossakowski, T., & Normann, I. (2008). The OWL in the CASL - Designing Ontologies Across Logics. In: Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Eds.) OWL: Experiences and Directions, 5th International Workshop (OWLED-08). CEUR-WS.

	Kutz, O., Lücke, D., & Mossakowski, T. (2008). Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE. In: First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08).

	Lücke, D., Mossakowski, T., & Wolter, D. (2008). Qualitative reasoning about convex relations. In: Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.) Spatial Cognition VI 2008. Lecture Notes in Computer Science, vol. 5248, pp. 426-440. Springer.

	Mossakowski, T., Haxthausen, A., Sannella, D., & Tarlecki, A. (2008). CASL, the Common Algebraic Specification Language. In: D. Bjorner, M. Henson (Eds.) Logics of formal specification languages. Monographs in Theoretical Computer Science , pp. 241-298. Springer-Verlag Heidelberg.
	2007
	Bateman, J., Borgo, S., Lüttich, K., Masolo, C., & Mossakowski, T. (2007). Ontological Modularity and Spatial Diversity. In: Spatial Cognition and Computation (Vol. 7, pp. 97-128).

	Kutz, O., & Mossakowski, T. (2007). Modules in Transition - Conservativity, Composition, and Colimits. In: Anne Schlicht (Ed.) Second International Workshop on Modular Ontologies.

	Lüttich, K., & Mossakowski, T. (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In: J. Fiadeiro (Ed.) WADT 2006 vol. 4409, pp. 74-91. Springer-Verlag Heidelberg.

	Mossakowski, T., Maeder, C., & Lüttich, K. (2007). The Heterogeneous Tool Set. In: Orna Grumberg, Michael Huth (Eds.) TACAS 2007. Lecture Notes in Computer Science, vol. 4424, pp. 519-522. Springer-Verlag Heidelberg.

	Mossakowski, T., Maeder, C., & Lüttich, K. (2007). The Heterogeneous Tool Set. In: Bernhard Beckert (Ed.) VERIFY 2007, 4th International Verification Workshop. CEUR Workshop Proceedings, vol. 259, pp. 119-135.

	Wölfl, S., Mossakowski, T., & Schröder, L. (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In: David Wilson, Geoff Sutcliffe (Eds.) 20th International FLAIRS Conference (FLAIRS-20), pp. 665-670. AAAI Press.
	2006
	Krieg-Brückner, B., & Shi, H. (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In: M. Raubal, H. Miller, A. Frank, M. Goodchild (Eds.) Geographic Information Science - Fourth International Conference, GIScience 2006. Lecture Notes in Computer Science, vol. 4197. Springer, Berlin.

	Lüttich, K. (2006). Approximation of Ontologies in CASL. In: Brandon Bennett, Christiane Fellbaum (Eds.) Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006). {F}rontiers in {A}rtificial {I}ntelligence and {A}pplications, vol. 150, pp. 335-346. IOS Press, Amsterdam.

	Lüttich, K., Masolo, C., & Borgo, S. (2006). Development of Modular Ontologies in CASL. In: P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Eds.) Workshop on Modular Ontologies 2006. CEUR Workshop Proceedings, vol. 232. CEUR-WS.org.

	Hochmair, H. H., & Lüttich, K. (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In: Spatial Cognition and Computation (Vol. 6, pp. 235-278).

	Mossakowski, T., Schröder, L., & Wölfl, S. (2006). A Categorical Perspective on Qualitative Constraint Calculi. In: Stefan Wölfl, Till Mossakowski (Eds.) Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pp. 28-39.

	Stefan Wölfl, Till Mossakowski (Eds.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.
	2005
	Krieg-Brückner, B., Frese, U., Lüttich, K., Mandel, C., Mossakowski, T., & Ross, R. (2005). Specification of an Ontology for Route Graphs. In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.) Spatial Cognition IV. Lecture Notes in Artificial Intelligence, vol. 3343, pp. 390-412. Springer-Verlag, D-69121 Heidelberg, Germany.

	Lüttich, K., Mossakowski, T., & Krieg-Brückner, B. (2005). Ontologies for the Semantic Web in CASL. In: J. L. Fiadeiro, P. Mosses, F. Orejas (Eds.) Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004). Lecture Notes in Computer Science, vol. 3423, pp. 106-125. Springer, Berlin.

	Lüttich, K. (2005). Approximation of Ontologies in CASL. In: P. Mosses, J. Power, M. Seisenberger (Eds.) CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers. Report Series, pp. 41-53. University of Wales Swansea.

	Mahnke, A., & Scheffczyk, J. (2005). Engineering Mathematical Knowledge. In: Michael Kohlhase (Ed.) Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany. LNAI, vol. 3863, pp. 250-266. Springer-Verlag Heidelberg.

	Mossakowski, T. (2005). Heterogeneous Theories and the Heterogeneous Tool Set. In: Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, M. Uschold (Eds.) Semantic Interoperability and Integration. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ.

	Mossakowski, T. (2005). Heterogeneous specification and the heterogeneous tool set. Technical Report. Universitaet Bremen. Habilitation thesis

	Wölfl, S., & Mossakowski, T. (2005). CASL Specifications of Qualitative Calculi. In: A. G. Cohn, D. M. Mark (Eds.) Conference on Spatial Information Theory. Lecture Notes in Computer Science, vol. 3693, pp. 200-217. Springer, Berlin.
	2004
	Mahnke, A., & Krieg-Brückner, B. (2004). Literate Ontology Development. In: Robert Meersman, Zahir Tari, Angelo Corsaro et al. (Eds.) On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops. Lecture Notes in Computer Science, vol. 3292, pp. 753-757. Springer, Berlin.

	Lüttich, K., Krieg-Brückner, B., & Mossakowski, T. (2004). Tramway Networks as Route Graphs. In: E. Schnieder, G. Tarnai (Eds.) FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109-119.

	Lüttich, K., & Mossakowski, T. (2004). Specification of Ontologies in CASL. In: Achille C. Varzi, Laure Vieu (Eds.) Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004). {F}rontiers in {A}rtificial {I}ntelligence and {A}pplications, vol. 114, pp. 140-150. IOS Press, Amsterdam.

	Mossakowski, T. (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.
	2002
	Nipkow, T., Paulson, L. C., & Wenzel, M. (2002). Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer-Verlag Heidelberg.
Show selected entries in BibTex format

webmaster disclaimer

I4-[SPIN]

I4-[SPIN]

The Project I4-[Spin] - Publications