http://creativecommons.org/licenses/by/3.0/
Megan Katsumi
Ontology to capture concepts related to parthood.
The Mereology Ontology extends beyond classical mereology to cover parthood, but also component-hood and containment.
November 29, 2016
Mereology Ontology
icity-mereology
http://ontology.eil.utoronto.ca/icity/Mereology/
Developed as part of the overall iCity ontology effort, the iCity-Mereology Ontology is designed to capture concepts related to parthood.
1.0
Under development. Please see report on iCity Ontology v1.
Created for organizational purposes, to identify properties defined in the Mereology ontology.
Something may be a Component of some other thing
More specifically, something may be a immediate component of something; in other words, if x is an immediate component of y, then there does not exist any other object that is a component of y and has x as a component.
Component-of is transitive. Immediate component-of is not transitive.
Immediate component-of is a subproperty of component-of.
Something may be contained-in some other thing; more specifically it may be immediately contained in something.
Containment is transitive. Immediate containment is not transitive.
Immediate containment is a subproperty of containment.
Something may be a Proper Part of some other thing.
An object cannot be a proper part of itself. Thus, any object must have more than one proper part.
Proper Parthood is transitive.
Proper parthood is dense and so there exist no immediate proper parts; in other words, given some object, whatever proper part, x, we choose, there exists some slightly larger proper part of the object that also has x as a proper part.