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
2011
| , , 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 |
|
2010
| and , A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010 |
[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 , Chinese Whispers and Connected Alignments, in: Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China., pages 25-36, 2010 |
[URL] |
| and , Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 |
[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] |
2009
| and , Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 |
[DOI] |
| , and , Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects (2009), in: CoRR, abs/0912.5533 |
[URL] |
| , and , What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) |
[DOI] |
2008
| , , and , CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 |
[DOI] |
| and , Conservativity in Structured Ontologies, in: ECAI 2008, IOS Press, 2008 |
|
| and , Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008 |
[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 , Qualitative reasoning about convex relations, in: Spatial Cognition VI 2008, pages 426-440, Springer, 2008 |
[DOI] |
| , and , Shapes of Alignments - Construction, Combination, and Computation, in: International Workshop on Ontologies: Reasoning and Modularity (WORM-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] |
2007
| and , Modules in Transition - Conservativity, Composition, and Colimits, in: Second International Workshop on Modular Ontologies, 2007 |
[URL] |
| , , , and , Ontological Modularity and Spatial Diversity (2007), in: Spatial Cognition and Computation, 7:1(97--128) |
[URL] |
| , and , Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 |
|
| and , Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 |
|
| , and , The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 |
[URL] |
| , and , The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 |
|
2006
| , and , A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 |
|
| and (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 |