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
2005
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
Heterogeneous specification and the heterogeneous tool set, Universitaet Bremen, 2005 | ,
|
Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005 | ,
[URL] |
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] |