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://purl.org/spar/error (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Annotation Properties
  5. General Axioms
  6. SWRL Rules
  7. 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
collectionc
is in domain of
has itemop
is disjoint with
setc

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
thingc
has elementop only thingc
has sizedp exactly 1
has sub-classes
bagc, setc
is in domain of
has elementop, has sizedp
is disjoint with
itemc

itemc back to ToC or Class ToC

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

Element belonging to a bag
has super-classes
thingc
inverse has itemop some bagc
has sub-classes
list itemc
is in domain of
has item contentop
is in range of
has itemop
is disjoint with
collectionc

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
has last itemop max 1
bagc and (has itemop only list itemc)
has first itemop max 1
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
itemc
has indexdp exactly 1
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
collectionc
is disjoint with
bagc

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
collectionc
is inverse of
is element ofop
has sub-property chains
has itemop o has item contentop

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 itemop
has domain
listc
has range
list itemc and (has previous itemop exactly 0) and (has indexdp value 1)
is inverse of
is first item ofop

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
bagc
has range
itemc
is inverse of
is item ofop
has sub-property chains
has itemop o has next itemop

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
itemc
has range
not (itemc)
is inverse of
is item content ofop

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 itemop
has domain
listc
has range
list itemc and (has next itemop exactly 0)
is inverse of
is last item ofop

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 followed byop
is inverse of
has previous itemop
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 preceded byop
is inverse of
has next itemop
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
has elementop

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 item ofop
is inverse of
has first itemop

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
list itemc
has range
list itemc
is inverse of
is preceded byop
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
has item contentop

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
has itemop

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 item ofop
is inverse of
has last itemop

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
is followed byop
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
list itemc
has range
positive integer

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
collectionc
has range
non negative integer
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

contributorap back to ToC or Annotation Property ToC

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

creatorap back to ToC or Annotation Property ToC

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

dateap back to ToC or Annotation Property ToC

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

descriptionap back to ToC or Annotation Property ToC

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

formatap back to ToC or Annotation Property ToC

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

languageap back to ToC or Annotation Property ToC

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

publisherap back to ToC or Annotation Property ToC

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

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)

SWRL rules

Rule #1back to ToC

has last itemop(?l,?i) , has sizedp(?l,?value) -> has indexdp(?i,?value)

Rule #2back to ToC

is item ofop(?i,?l) , has indexdp(?i,?value) , has sizedp(?l,?value) -> has last itemop(?l,?i)

Rule #3back to ToC

is item ofop(?li1,?l) , is item ofop(?li2,?l) , has indexdp(?li1,?r1) , has indexdp(?li2,?r2) , add(?) -> has next itemop(?li1,?li2)

Rule #4back to ToC

is preceded byop(?x,?x) -> has errordp(?x,"A list item cannot be preceded by itself")

Rule #5back to ToC

is item ofop(?li,?l) , has indexdp(?li,"1") -> has first itemop(?l,?li)

Rule #6back to ToC

is followed byop(?x,?x) -> has errordp(?x,"A list item cannot be followed by itself")

Rule #7back to ToC

has last itemop(?list,?last) , has indexdp(?last,?r) -> has sizedp(?list,?r)

Rule #8back to ToC

has next itemop(?current,?next) , has indexdp(?current,?r) , add(?) -> has indexdp(?next,?nextR)

Namespace Declarations back to ToC

default namespace
http://purl.org/co#
co
http://purl.org/co/
dc
http://purl.org/dc/elements/1.1/
error
http://www.essepuntato.it/2009/10/error/
owl
http://www.w3.org/2002/07/owl#
purl-org
http://purl.org/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
spar
http://purl.org/spar/
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 through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.