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 journal and type
Artificial Intelligence Journal
Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45) | and ,
[DOI] |
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments (2011), in: Artificial Intelligence Journal, 175(2099-2127) | , and ,
[DOI] |
CoRR
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects (2009), in: CoRR, abs/0912.5533 | , and ,
[URL] |
CoRR. abs/0912.5533
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 | and ,
[URL] |
Logica Univeralis
Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design (2010), in: Logica Univeralis, 4:2(255-333) | , and ,
[URL] |
Logica Universalis
What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) | , and ,
[DOI] |
Spatial Cognition and Computation
Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) | , , , and ,
[URL] |
Publications of type Incollection
2015
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 | , , , and ,
[DOI] [URL] |
2008
CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 | , , and ,
[DOI] |
Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, in: Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, 2008 | , and ,
[URL] |
2007
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
2005
Specification of an Ontology for Route Graphs, in: Spatial Cognition IV, pages 390-412, Springer, D-69121 Heidelberg, Germany; http://www.springer.de, 2005 | , , , , and ,
[URL] |
Publications of type Inproceedings
to appear
Checking conservativity with Hets, in: CALCO 2013, to appear | , and ,
Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward, in: 36th Annual Conference on Artificial Intelligence (KI 2013), Springer, to appear | and ,
The Distributed Ontology, Modeling and Specification Language, in: WoMo 2013, to appear | , , and ,
Three Semantics for the Core of the Distributed Ontology Language, in: IJCAI 2013, to appear | , and ,
2013
Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Proceedings of Conference On Spatial Information Theory 2013, 2013 | , , and ,
Semantics of the distributed ontology language: Institutes and Institutions, in: Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, pages 212-230, Springer, 2013 | , and ,
[URL] |
2012
Intuitive and Natural Interfaces for Geospatial Data Classification, in: Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, 2012 | , , , , and ,
|
LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012 | , and ,
[URL] |
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs, in: 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 103-111, Springer, 2012 | , 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 | , , , and ,
[URL] |
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 | , , , , and ,
[URL] |
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, in: Conferences on Intelligent Computer Mathematics CICM 2012, Springer, 2012 | , , and ,
[DOI] |
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics, in: TKE (Terminology and Knowledge Engineering) Conference 2012, 2012 | , , and ,
|