A formal theory for reasoning about parthood, connection, and location

DOI10.1016/J.ARTINT.2004.06.003MaRDI QIDQ814642zbMATH OpenOpenAlexFDO

Authors Maureen Donnelly

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2004.06.003

zbMATH Keywords

Formal ontologyHolesMereotopologyPhysical objectsSpatial reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Parts, wholes, and part-whole relations: The prospects of mereotopology
• A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
• Part and complement: Fundamental concepts in spatial relations
• Mereotopology: A theory of parts and boundaries
• scientific article; zbMATH DE number 1919423

Cites work

• Connection structures
• scientific article; zbMATH DE number 3316901 (Why is no real title available?)
• Mereotopology: A theory of parts and boundaries

Cited in

(2)

• scientific article; zbMATH DE number 6928613 (Why is no real title available?)
• A first order theory of functional parthood

This page was built for publication: A formal theory for reasoning about parthood, connection, and location

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814642)