The Collections Ontology
(CO)

IRI:
http://purl.org/co
Date:
March 19, 2012
Current version:
2.0
Authors:
http://www.paolociccarese.info
Contributors:
Marco Ocana
Paolo Ciccarese
Silvio Peroni
Imported Ontologies:
http://www.essepuntato.it/2009/10/error (visualise it with LODE)
Other visualisation:
Ontology source
Machester Ontology Browser

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Annotation Properties
  5. General Axioms
  6. Namespace Declarations

Classes

bagc back to ToC or Class ToC

IRI: http://purl.org/co/Bag

Collection that can have a number of copies of each object

has super-classes
is in domain of
has itemop
is disjoint with

collectionc back to ToC or Class ToC

IRI: http://purl.org/co/Collection

A group of objects that can be considered as a whole.

has super-classes
has sub-classes
bagc, setc
is in domain of
has elementop, has sizedp
is disjoint with

itemc back to ToC or Class ToC

IRI: http://purl.org/co/Item

Element belonging to a bag

has super-classes
has sub-classes
list itemc
is in domain of
has item contentop
is in range of
has itemop
is disjoint with

listc back to ToC or Class ToC

IRI: http://purl.org/co/List

An ordered array of items, that can be present in multiple copies

has super-classes
is in domain of
has first itemop, has last itemop

list itemc back to ToC or Class ToC

IRI: http://purl.org/co/ListItem

element belonging to a list

has super-classes
is in domain of
has indexdp, is followed byop
is in range of
is followed byop

setc back to ToC or Class ToC

IRI: http://purl.org/co/Set

A collection that cannot contain duplicate elements.

has super-classes
is disjoint with

Object Properties

has elementop back to ToC or Object Property ToC

IRI: http://purl.org/co/element

The link to the members of a collection

has domain
is inverse of
has sub-property chains

has first itemop back to ToC or Object Property ToC

IRI: http://purl.org/co/firstItem

The link to the first item of the list.

has characteristics: functional

has super-properties
has domain
has range
is inverse of

has itemop back to ToC or Object Property ToC

IRI: http://purl.org/co/item

The link to every item of the bag

has sub-properties
has first itemop, has last itemop
has domain
has range
is inverse of
has sub-property chains

has item contentop back to ToC or Object Property ToC

IRI: http://purl.org/co/itemContent

The link to the actual resource to which the item refers.

has characteristics: functional

has domain
has range
is inverse of

has last itemop back to ToC or Object Property ToC

IRI: http://purl.org/co/lastItem

The link to the last item of the list.

has characteristics: functional

has super-properties
has domain
has range
is inverse of

has next itemop back to ToC or Object Property ToC

IRI: http://purl.org/co/nextItem

The link to the next item in a list.

has characteristics: functional

has super-properties
is inverse of

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].

has previous itemop back to ToC or Object Property ToC

IRI: http://purl.org/co/previousItem

The link to the previous item in a list.

has characteristics: functional

has super-properties
is inverse of

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].

is element ofop back to ToC or Object Property ToC

IRI: http://purl.org/co/elementOf

The link to a collection in which the object is member.

is inverse of

is first item ofop back to ToC or Object Property ToC

IRI: http://purl.org/co/firstItemOf

The link to a list in which the item is first item.

has super-properties
is inverse of

is followed byop back to ToC or Object Property ToC

IRI: http://purl.org/co/followedBy

The link to the following item in a list.

has characteristics: transitive

has sub-properties
has next itemop
has domain
has range
is inverse of

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].

is item content ofop back to ToC or Object Property ToC

IRI: http://purl.org/co/itemContentOf

The link to the item that refers to the resource.

is inverse of

is item ofop back to ToC or Object Property ToC

IRI: http://purl.org/co/itemOf

The link to a bag in which the item is member.

has sub-properties
is first item ofop, is last item ofop
is inverse of

is last item ofop back to ToC or Object Property ToC

IRI: http://purl.org/co/lastItemOf

The link to a list in which the item is last item.

has super-properties
is inverse of

is preceded byop back to ToC or Object Property ToC

IRI: http://purl.org/co/precededBy

The link to the preceding item in a list.

has characteristics: transitive

has sub-properties
has previous itemop
is inverse of

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].

Data Properties

has indexdp back to ToC or Data Property ToC

IRI: http://purl.org/co/index

A number identifying the position, starting from 1, of a particular list item within a list.

has domain
has range
  • xsd:positiveInteger

has sizedp back to ToC or Data Property ToC

IRI: http://purl.org/co/size

The number of item belonging to a collection.

has domain
has range
  • xsd:nonNegativeInteger

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

Annotation Properties

dc:contributorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/contributor

dc:creatorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/creator

dc:dateap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/date

dc:descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/description

dc:formatap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/format

dc:languageap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/language

dc:publisherap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/publisher

dc:titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/title

General Axioms

General Subclass Definition back to ToC

listc and (has itemop some list itemc) is subclass of

listc and (has first itemop some itemc) and (has last itemop some itemc)

Namespace Declarations back to ToC

default namespace
http://purl.org/co#
dc
http://purl.org/dc/elements/1.1/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
swrl
http://www.w3.org/2003/11/swrl#
swrlb
http://www.w3.org/2003/11/swrlb#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code throughLODE, Live OWL Documentation Environment, developed bySilvio Peroni.