Commons Collections Ontology
type: Ontology
abstract: The collections ontology defines commonly used concepts for arrangements and schemes for organizing information and collections of things, such as structured collections that may be organized according to some scheme, and related very high level mereology relations to enable association of things with such collections and schemes.
contributor: Davide Sottara, Mayo Clinic
contributor: Elisa Kendall, Thematix Partners LLC
contributor: Pete Rivett, agnos.ai
license: http://opensource.org/licenses/MIT
imports: AnnotationVocabulary
imports: TextDatatype
version IRI: Collections
change note: The https://www.omg.org/spec/Commons/20220501/Collections.rdf version of this ontology was modified to better differentiate some of the properties that are subproperties of comprises to aid in user understanding, add new properties that allow for taxonomic parthood, and add a property allowing users to describe the intended method used with respect to arrangement (COMMONS-12).
note: The collections ontology conforms with the OWL 2 DL semantics, and is outside of OWL 2 RL due to the inclusion of a min 0 cardinality constraint. This restriction may be removed as needed to support OWL RL rule-based applications that cannot be extended to support it.
note: This ontology was originally designed for use in the OMG Languages, Countries and Codes (LCC) specification as part of the broader LanguageRepresentation ontology. The concepts have also been used in the Financial Industry Business Ontology (FIBO) for representing collections such as baskets, portfolios records, statistical universes and populations.
copyright: Copyright (c) 2019-2022 Thematix Partners LLC
copyright: Copyright (c) 2021-2022 EDM Council, Inc.
copyright: Copyright (c) 2021-2022 Mayo Clinic
copyright: Copyright (c) 2021-2022 agnos.ai U.K. Ltd
copyright: Copyright (c) 2022 Object Management Group, Inc.

arrangement
type: Class
subclass of: Restriction
  on property: has method
  min cardinality: 0
definition: systematic plan, manner, or method for making, doing, achieving, or organizing something
example: Examples include designs, schema, models, methodologies, alphabetical or numeric ordering, and the like.

collection
type: Class
definition: grouping of things (may be zero) that have some shared significance
usage note: Users should use either comprises or hasPart, or one of their respective subproperties, to include things in a collection.

constituent
type: Class
definition: component of a collection or combination of things
usage note: Users should use either isIncludedIn or isPartOf, or one of their respective subproperties, to include a constituent in a collection.

structured collection
type: Class
subclass of: collection
subclass of: Restriction
  on property: has arrangement
  all values from: arrangement
definition: collection that has a clearly defined structure or organization
example: Examples include collections organized thematically, alphabetically, by method used to develop them, according to time and/or version, or based on encoding schemes such as the Dewey Decimal System or Library of Congress Subject Headings.
usage note: Users should use the hasMethod property on arrangement to describe the methodology for structuring the collection.

complies with
type: ObjectProperty
sub property of: has arrangement
range: arrangement
definition: adheres to policies or rules specified in

comprises
type: ObjectProperty
definition: includes, consists of, or contains, especially within a particular scope
note: Note that something can be comprised of something(s) that may or may not be understood as separable parts. In other words, comprises does not imply countability or uniqueness. Whole-part relations are transitive, whereas comprises is not defined to be transitive, so this property is useful in cases where cardinality constraints are needed. comprises and hasPart are not explicitly declared as disjoint to avoid reasoning issues, but should be considered as such.

has arrangement
type: ObjectProperty
range: arrangement
definition: is structured or organized according to

has constituent
type: ObjectProperty
sub property of: comprises
property disjoint with: has member
definition: consists of or contains
usage note: This property is disjoint with hasMember, and should be used in cases where the constituents of something are not considered discrete elements of whatever they are included in, such as a substance or composite.

has direct part
type: ObjectProperty
sub property of: has part
definition: indicates an immediate 'child' part of something
usage note: This property is useful in cases where one is interested in the direct relationships between parts of things, for example to build a tree view.

has member
type: ObjectProperty
sub property of: comprises
definition: includes, as a discrete element
note: Note that the domain of hasMember should be some sort of collection, aggregate, or group. In the Financial Industry Business Ontology (FIBO), hasMember is used in the case of parties (people and organizations), whereas comprises can have anything in its range.

has method
type: DatatypeProperty
sub property of: hasTextValue
definition: provides a text description of an approach or method used to accomplish something
example: This property can be used to describe an arrangement or ordering applied to a collection.

has part
type: ObjectProperty
type: TransitiveProperty
source: Stanford Encyclopedia of Philosophy at http://plato.stanford.edu/entries/mereology/
definition: indicates any portion of something, regardless of whether the portion itself is attached to the remainder or detached; cognitively salient or arbitrarily demarcated; self-connected or disconnected; homogeneous or gerrymandered; material or immaterial; extended or unextended; spatial or temporal
note: Note that 'has part' is not a subproperty of 'comprises' in order to enable transitivity for whole-part relationships without limiting the use of cardinality constraints on comprises and membership.

is constituent of
type: ObjectProperty
sub property of: is included in
inverse of: has constituent
property disjoint with: is member of
definition: is a component of something else

is direct part of
type: ObjectProperty
sub property of: is part of
inverse of: has direct part
definition: indicates an immediate 'parent' of this part
usage note: This property is useful in cases where one is interested in the direct relationships between parts of things, for example to build a tree view.

is included in
type: ObjectProperty
inverse of: comprises
definition: is contained in or an element of
note: Something that is included in something else may be an independently identifiable, discrete element or may be an indistinguishable element once it is combined with the target.

is member of
type: ObjectProperty
sub property of: is included in
inverse of: has member
definition: is a discrete element of

is part of
type: ObjectProperty
type: TransitiveProperty
source: Stanford Encyclopedia of Philosophy at http://plato.stanford.edu/entries/mereology/
inverse of: has part
definition: relates something to another thing that it is some component or portion of, regardless of how that whole-part relationship is manifested
note: Note that 'is part of' is not a subproperty of 'isIncludedIn' in order to enable transitivity for whole-part relationships without limiting the use of cardinality constraints on inclusion and membership.