Viewing composition tables as axiomatic systems

Authors:
Carola Eschenbach
Affiliations:
University of Hamburg, Vogt-Kölln-Str., Hamburg
Venue:
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Year:
2001

Citing 9
Cited 6

Constraint propagation algorithms for temporal reasoning: a revised report

Readings in qualitative reasoning about physical systems
Classical mereology and restricted domains

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Parts, wholes, and part-whole relations: the prospects of mereotopology

Data & Knowledge Engineering - Special issue on modeling parts and wholes
On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
A relation — algebraic approach to the region connection calculus

Theoretical Computer Science
Using Orientation Information for Qualitative Spatial Reasoning

Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Computing Transivity Tables: A Challenge For Automated Theorem Provers

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Mereological inheritance

Spatial Cognition and Computation
From “Onto-GeoNoesis” to “Onto-Genesis”: The Design of Geographic Ontologies

Geoinformatica
A formal characterization of vagueness and granularity for context-aware mobile and ubiquitous computing

UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
Three semantics for distributed systems and their relations with alignment composition

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Vague size predicates

Applied Ontology
Vague size predicates

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Axiomatic systems and composition tables are often seen asalternative ways of specifying the semantic interrelations ofrelations for qualitative reasoning. Axiomatic characterizationsusually specify ontological assumptions concerning the domain ofthe relations and introduce a taxonomic system of relations that,on the one hand, serves to specify the relations and, on the otherhand, supports the communication of the intended meaning.In thisarticle, composition tables are seen as a specific form ofaxiomatic theories that can also be combined with a taxonomicsystem of relations. On this basis, the content of compositiontables can be reformulated in a simplified way. This simplificationsupports the construction of such tables parallel to thedevelopment of the axiomatic specification or on the basis of agiven axiomatic characterization.