Viewing composition tables as axiomatic systems

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 93-104

  Eschenbach, Carola ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Axiomatic System; Composition Table; Constraint Propagation; Ontology; Terminology

Indexed keywords

ALGORITHMS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; TERMINOLOGY;

AXIOMATIC SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0035789156     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505178     Document Type: Conference Paper

References (23)

1. Ackermann, W. (1954). Solvable Cases of the Decision Problem. Amsterdam: North-Holland.
2. Alien, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM 26. 832-843.
3. Alien, J. F. & P. J. Hayes (1985). A common-sense theory of time. Proc. of 9th IJCAI. Vol. 1 (pp. 528-531). Los Angeles.
4. Asher, N. & L. Vieu (1995). Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. Proc. of 14th IJCAI. Vol. 1 (pp. 846-852). Montréal, Québec, Canada.
5. Bennett, B., A. Isli & A. Cohn (1997). When does a composition table provide a complete and tractable proof procedure for a relational constraint language? Proceedings of the Workshop on Spatial and Temporal Reasoning. 15th IJCAI. Nagoya, Japan.
6. Clarke, B. L. (1981). A calculus of individuals based on 'connection'. Notre Dame Journal of Formal Logic 22. 204-218.
7. Düntsch, I., G. Schmidt & M. Winter (to appear). A necessary relation algebra for mereotopology. Studio Logica.
8. Düntsch, I., H. Wang & S. McCloskey (2001). A relation-algebraic approach to the region connection calculus. Theoretical Computer Science 255. 63-83.
9. Eschenbach, C. (1999). A predication calculus for qualitative spatial representations. In C. Freksa & D.M. Mark (eds.), Spatial Information Theory (pp. 157-172). Berlin: Springer.
10. Eschenbach, C. & W. Heydrich (1995). Classical mereology and restricted domains. International Journal of Human-Computer Studies 43. 723-740.
11. Frank, A. U. (1992). Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages and Computing 3. 343-371.
12. Freksa, C. (1992). Using orientation information for qualitative spatial reasoning. In A.U. Frank, I. Campari & U. Formentini (eds.), Theories and Methods of Spatio-Temporal Reasoning in Geographic Space (pp. 162-178). Berlin: Springer.
13. Gotts, N. M., J. M. Gooday & A. G. Cohn (1996). A connection based approach to commonsense topological description and reasoning. The Monist 79. 51-75.
14. Ligozat, G. (1999). What composition tables tell us: Models in spatial and temporal reasoning. Proceedings of the Workshop on Hot Topics in Spatial and Temporal Reasoning. 16th IJCAI, Stockholm, Sweden.
15. Maddux, R. D. (1991). The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica 50. 421-455
16. Randell, D.A., A.G. Cohn & Z. Cui (1992). Computing transitivity tables: A challenge for automated theorem provers. In D. Kapur (ed.), Automated Deduction: Proceedings of CADE-11 (pp. 786-790). Berlin: Springer.
17. Renz, J. & B. Nebel (1999). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence 108. 69-123.
18. Simons, P. (1987). Parts. A Study in Ontology. Oxford: Clarendon Press.
19. Varzi, A. C. (1993). On the boundary between mereology and topology. In R. Casati, B. Smith & G. White (eds.), Philosophy and Cognitive Science. Vienna.
20. Varzi, A. C. (1996). Parts, wholes, and part-whole relations: The prospects of mereotopology. Data & Knowledge Engineering 20. 259-286.
21. Vieu, L. (1993). A logical framework for reasoning about space. In A.U. Frank & I. Campari (eds.), Spatial Information Theory (pp. 25-35). Berlin: Springer.
22. Vilain, M.B., H.A. Kautz & P.O. van Beek (1990). Constraint propagation algorithms for temporal reasoning: a revised report. In D. S. Weld & J. de Kleer (eds.), Readings in Qualitative Reasoning about Physical Systems (pp. 373-381). San Mateo, CA: Morgan Kaufman.
23. Whitehead, A. N. (1929). Process and Reality. An Essay in Cosmology. New York.