Keywords:
- CASL semantics proof strcutred specification architectural
- CASL SPASS prover automatic FOL SoftFOL MathServe Vampire
- composition table qualitative calculus verification heterogeneous
- distributed heterogeneous ontology DOL
- distributed heterogeneous ontology DOL COLORE
- heterogeneous theorem proving tools logic proofs
- institutions heterogeneous specification comorphism
- Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark
- logic translation institution
- molecule graph fullerene MSOL OWL ontology
- ontologiy DOL semantics institution institute
- ontology alignment
- ontology consistency modular architectural specification
- ontology heterogeneity structuring alignment refinement Carnap Goguen institution
- ontology interoperability translation institution
- ontology language heterogeneous semantics translation
- OpenStreetMap ontology tag activity rails
- OPRA qualitative spatial reasoning composition table
- OPRA qualitative spatial reasoning street network navigation
- proof heterogeneity logic institution prover theorem integration development graph
- qualitative calculus consistency
- qualitative spatial reasoning dipole calculus relation algebra
- Qualitative Spatial Reasoning oriented point composition table
- Qualitative Spatial Reasoning Relation Algebra Affine Geometry
- qualitative spatial reasoning relation algebra algebraic closure
Publications of Till Mossakowski sorted by first author
B
| , , , and , Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) |
[URL] |
C
| , , , and , OSMonto - An Ontology of OpenStreetMap Tags, in: State of the map Europe (SOTM-EU) 2011, 2011 |
|
| , , , and , DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap, in: Fourth International Conference on GeoSpatial Semantics, pages 88--107, Springer, 2011 |
[URL] |
| and , Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008 |
[URL] |
| , and , Checking conservativity with Hets, in: CALCO 2013, to appear |
D
| , , and , Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Proceedings of Conference On Spatial Information Theory 2013, 2013 |
G
| , , and , The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics, in: TKE (Terminology and Knowledge Engineering) Conference 2012, 2012 |
|
H
| , and , How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications, in: Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011, 2011 |
[URL] |
| , , and , Towards Ontological Blending, in: Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, pages 263-264, Springer, 2010 |
[DOI] |
K
| , , , , and , Specification of an Ontology for Route Graphs, in: Spatial Cognition IV, pages 390-412, Springer, D-69121 Heidelberg, Germany; http://www.springer.de, 2005 |
[URL] |
| , , , and , E pluribus unum: Formalisation, Use-Cases, and Computational Support for Conceptual Blending, in: Computational Creativity Research: Towards Creative Machines. Thinking Machines. Studies in Computational Cognition. Editors: T. R. Besold, M. Schorlemmer, A. Smaill, pages 167-196, Atlantis - Springer, 2015 |
[DOI] [URL] |
| , and , Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs, in: 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 103-111, Springer, 2012 |
|
| , , , , and , The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability, in: What will the Semantic Web look like 10 Years from now? Workshop at ISWC, 2012 |
[URL] |
| , and , Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, in: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, 2008 |
[URL] |
| , and , 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), 2008 |
[URL] |
| , , and , The OWL in the CASL - Designing Ontologies Across Logics, in: OWL: Experiences and Directions, 5th International Workshop (OWLED-08), CEUR-WS, 2008 |
[URL] |
| and , A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011 |
[URL] |
| , and , Shapes of Alignments - Construction, Combination, and Computation, in: International Workshop on Ontologies: Reasoning and Modularity (WORM-08), 2008 |
[URL] |
| , , and , Towards a Standard for Heterogeneous Ontology Integration and Interoperability, in: Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), pages 97-106, Seoul: KATS e.a, 2011 |
|
| and , Conservativity in Structured Ontologies, in: ECAI 2008, IOS Press, 2008 |
|
| , , , and , Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples, in: Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), 2011 |
[URL] |
| , , , and , Ontological Blending in DOL, in: C2GI - Computational Creativity, Concept Invention, and General Intelligence, at ECAI 2012, Publication Series of the Institute of Cognitive Science, 2012 |
[URL] |
| and , The Onto-Logical Translation Graph, in: Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), pages 94-109, IOS Press, 2011 |
[URL] |
| , and , Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333) |
[URL] |
| and , Modules in Transition - Conservativity, Composition, and Colimits, in: Second International Workshop on Modular Ontologies, 2007 |
[URL] |