An Ontological Theory of Physical Objects
作者： Stefano Borgo , Nicola Guarino , Claudio Masolo
DOI:
关键词:
摘要: We discuss an approach to a theory of physical objects and present logical based on fundamental distinction between their substrates, i.e. chunks matter regions space . The purpose is establish the basis general ontology space, for domain mechanical artifacts. An extensional mereological framework assumed whereas are allowed change spatial material substrate while keeping identity. Besides parthood relation, simple self-connected region congruence (or sphere) adopted as primitives description space. Only threedimensional in domain. This paper revision slight modification [Borgo et al. 1996].
cnr.it 参考文章(15)
Zhan Cui, Anthony G. Cohn, David A. Randell, A Spatial Logic based on Regions and Connection. principles of knowledge representation and reasoning. pp. 165- 176 ,(1992)
Stefano Borgo, Nicola Guarino, Claudio Masolo, A pointless theory of space based on strong connection and congruence principles of knowledge representation and reasoning. pp. 220- 229 ,(1996)
R Neches, R Fikes, T Finin, R Gruber, T, Patil, T Senator, W Swartout, Enabling technology for knowledge sharing Ai Magazine. ,vol. 12, pp. 36- 56 ,(1991) , 10.1609/AIMAG.V12I3.902
Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta, Formalizing ontological commitments national conference on artificial intelligence. pp. 560- 567 ,(1994)
Ernest Davis, The kinematics of cutting solid objects ,(2011)
David Hilbert, The Foundations Of Geometry ,(1902)
David Wiggins, Sameness and substance ,(1980)
Murray Shanahan, Default reasoning about spatial occupancy Artificial Intelligence. ,vol. 74, pp. 147- 163 ,(1995) , 10.1016/0004-3702(94)00071-8
Achille C. Varzi, Parts, wholes, and part-whole relations: The prospects of mereotopology Data & Knowledge Engineering. ,vol. 20, pp. 259- 286 ,(1996) , 10.1016/S0169-023X(96)00017-1
Peter M. Simons, Parts: A Study in Ontology ,(1987)