Keywords:
- ontology heterogeneity structuring alignment refinement Carnap Goguen institution
- OPRA qualitative spatial reasoning street network navigation
- qualitative calculus consistency
- qualitative spatial reasoning dipole calculus relation algebra
- Qualitative Spatial Reasoning Relation Algebra Affine Geometry
Publications of Dominik Lücke
2011
| , and , A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments (2011), in: Artificial Intelligence Journal, 175(2099-2127) |
[DOI] |
| , and , Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011 |
[URL] |
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] |
2009
| , and , Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects (2009), in: CoRR, abs/0912.5533 |
[URL] |
2008
| , 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 , The OWL in the CASL - Designing Ontologies Across Logics, in: OWL: Experiences and Directions, 5th International Workshop (OWLED-08), CEUR-WS, 2008 |
[URL] |