The Collections Ontology (CO)
type: Ontology
version info: 2.0
date: March 19, 2012
contributor: Marco Ocana
contributor: Paolo Ciccarese
contributor: Silvio Peroni
format: application/rdf+xml
language: en
creator: www.paolociccarese.info
imports: error

has element
type: ObjectProperty
comment: The link to the members of a collection
domain: collection
property chain axiom: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#1

is element of
type: ObjectProperty
comment: The link to a collection in which the object is member.
inverse of: has element

has first item
type: ObjectProperty
type: FunctionalProperty
comment: The link to the first item of the list.
domain: list
sub property of: has item
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#3

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#6
type: Restriction
on property: has previous item
cardinality: 0

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#8
type: Restriction
on property: has index
has value: 1

is first item of
type: ObjectProperty
comment: The link to a list in which the item is first item.
inverse of: has first item
sub property of: is item of

is followed by
type: ObjectProperty
type: TransitiveProperty
description: Given the list (I[1], I[2],.. , I[i-1], I[i], I[i+1],.. , I[n-1], I[n]), the item I[i] is followed by I[i+1],.. , I[n-1] and I[n].
comment: The link to the following item in a list.
domain: list item
range: list item

has item
type: ObjectProperty
comment: The link to every item of the bag
domain: bag
range: item
property chain axiom: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#9

has item content
type: ObjectProperty
type: FunctionalProperty
comment: The link to the actual resource to which the item refers.
domain: item
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11

is item content of
type: ObjectProperty
comment: The link to the item that refers to the resource.
inverse of: has item content

is item of
type: ObjectProperty
comment: The link to a bag in which the item is member.
inverse of: has item

has last item
type: ObjectProperty
type: FunctionalProperty
comment: The link to the last item of the list.
domain: list
sub property of: has item
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#12

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#15
type: Restriction
on property: has next item
cardinality: 0

is last item of
type: ObjectProperty
comment: The link to a list in which the item is last item.
sub property of: is item of
inverse of: has last item

has next item
type: ObjectProperty
type: FunctionalProperty
description: Given the list (I[1], I[2],.. , I[i-1], I[i], I[i+1],.. , I[n-1], I[n]), the next item of I[i] is I[i+1].
comment: The link to the next item in a list.
sub property of: is followed by

is preceded by
type: ObjectProperty
type: TransitiveProperty
description: Given the list (I[1], I[2],.. , I[i-1], I[i], I[i+1],.. , I[n-1], I[n]), the item I[i] is preceded by I[i-1],.. , I[2] and I[1].
comment: The link to the preceding item in a list.
inverse of: is followed by

has previous item
type: ObjectProperty
type: FunctionalProperty
description: Given the list (I[1], I[2],.. , I[i-1], I[i], I[i+1],.. , I[n-1], I[n]), the previous item of I[i] is I[i-1].
comment: The link to the previous item in a list.
inverse of: has next item
sub property of: is preceded by

has index
type: DatatypeProperty
comment: A number identifying the position, starting from 1, of a particular list item within a list.
domain: list item
range: positiveInteger

has size
type: DatatypeProperty
description: CO defines the size of a collection as the sum of the number of times entities that are part of the collection appear in it. This means that co:size considers how much each entity is involved by a particular collection, i.e.: - the size of the set {a, b, c} is three - the size of the bag [a, a, b, b, b, c] is five - the size of the list (a, b, c, b, a, b, c, c) is seven
comment: The number of item belonging to a collection.
domain: collection
range: nonNegativeInteger

bag
type: Class
subclass of: collection
disjoint with: set
comment: Collection that can have a number of copies of each object

collection
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#16
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#17
disjoint with: item
comment: A group of objects that can be considered as a whole.

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#17
type: Restriction
on property: has size
cardinality: 1

item
type: Class
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#18
comment: Element belonging to a bag

list
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#20
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#21
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#22
comment: An ordered array of items, that can be present in multiple copies

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#20
type: Restriction
on property: has last item
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#21
type: Restriction
on property: has first item
max cardinality: 1

list item
type: Class
subclass of: item
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#26
comment: element belonging to a list

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#26
type: Restriction
on property: has index
cardinality: 1

set
type: Class
subclass of: collection
comment: A collection that cannot contain duplicate elements.

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#48
first: 1
rest: nil

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#57
type: DatavaluedPropertyAtom
argument2: A list item cannot be preceded by itself
property predicate: hasError
argument1: x

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#76
type: DatavaluedPropertyAtom
argument2: A list item cannot be followed by itself
property predicate: hasError
argument1: x

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#89
type: DatavaluedPropertyAtom
argument2: 1
property predicate: has index
argument1: li

http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#103
first: 1
rest: nil