E-Collections Ontology

IRI:
http://purl.org/ceu/eco
Version IRI:
http://purl.org/ceu/eco/1.0
Current version:
Version 1.0 2015/02/01
Authors:
Alfredo Sánchez Alberca (asalber@ceu.es) <http://aprendeconalf.es/foaf.rdf>
Imported Ontologies:
http://www.essepuntato.it/2009/10/error (visualise it with LODE)
Other visualisation:
Ontology source
E-Collections ontology is released under Attribution-ShareAlike 4.0 International Creative Commons license: http://creativecommons.org/licenses/by-sa/4.0/

Abstract

The E-Collections ontology defines a collections taxonomy for different collection types based on the structural properties of homogeneity, uniqueness, order and cardinality.

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Named Individuals
  5. Annotation Properties
  6. SWRL Rules
  7. Namespace Declarations

Classes

1 cardinality collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#1CardinalityCollection

is equivalent to
Fixed cardinality collectionc and (has itemop exactly 1 Itemc)

2 cardinality collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#2CardinalityCollection

is equivalent to
Fixed cardinality collectionc and (has itemop exactly 2 Itemc)

3 cardinality collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#3CardinalityCollection

is equivalent to
Fixed cardinality collectionc and (has itemop exactly 3 Itemc)

Boxc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Box

A box is an heterogeneous, without uniqueness, non ordered and with fixed cardinality collection.
has super-classes
Fixed cardinality collectionc
Multiheterosetc
has sub-classes
Heterocombinationc, Multicombinationc, Tuplec
has members
Boxni
is also defined as
named individual

Collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Collection

A collection is a group of objects or elements.
has sub-classes
Fixed cardinality collectionc, Multiheterosetc, Uniqueness collectionc
is in domain of
has cardinalitydp, has elementop, has itemop
is in range of
is element ofop
has members
Collectionni
is disjoint with
Itemc
is also defined as
named individual

Combinationc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Combination

A combination is an homogeneous, with uniqueness, non ordered and with fixed cardinality collection.
has super-classes
Heterocombinationc
Multicombinationc
Setc
has sub-classes
Variationc
has members
Combinationni
is also defined as
named individual

Elementc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Element

Element or object beloging to a collection.
has members
elemento1ni

Fixed cardinality collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#FixedCardinalityCollection

A fixed cardiality collection is a collection of a fixed number of elements.
has super-classes
Collectionc
has sub-classes
Boxc
has members
col1ni

Heterocombinationc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Heterocombination

An heterocombination is an heterogeneous, with uniqueness, non ordered and with fixed cardinality collection.
has super-classes
Boxc
Heterosetc
has sub-classes
Combinationc, Heterovariationc
has members
Heterocombinationni
is also defined as
named individual

Heterorankingc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Heteroranking

An heteroranking is an heterogeneous, with uniqueness, ordered and with variable cardinality collection.
has super-classes
Heterosetc
Listc
has sub-classes
Heterovariationc, Rankingc
has members
Heterorankingni
is also defined as
named individual

Heterosetc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Heteroset

A heteroset is an heterogeneous, with uniqueness, non ordered and with variable cardinality collection.
has super-classes
Multiheterosetc
Uniqueness collectionc
has sub-classes
Heterocombinationc, Heterorankingc, Setc
has members
Heterosetni
is also defined as
named individual

Heterovariationc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Heterovariation

An heterovariation is an heterogeneous, with uniqueness, ordered and with fixed cardinality collection.
has super-classes
Heterocombinationc
Heterorankingc
Tuplec
has sub-classes
Variationc
has members
Heterovariationni
is also defined as
named individual

Homogeneous collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#HomogeneousCollection

An homogeneous collection is a collection with all its element of the same type.
is equivalent to
Collectionc and (has elements of typeop exactly 1)
has sub-classes
Multisetc
is in domain of
has elements of typeop
has members
col2ni

Itemc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Item

An item is a container for elements of collections. It's a workaround to allow duplicate elements in a collections.
is in domain of
has contentop
is in range of
has itemop
is disjoint with
Collectionc

Listc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#List

A list is an heterogeneous, without uniqueness, ordered and with variable cardinality collection.
has super-classes
Multiheterosetc
Ordered collectionc
has sub-classes
Heterorankingc, Sequencec, Tuplec
has members
Listni
is also defined as
named individual

Multicombinationc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Multicombination

A multicombination is an homogeneous, without uniqueness, non ordered and with fixed cardinality collection.
has super-classes
Boxc
Multisetc
has sub-classes
Combinationc, Vectorc
has members
Multicombinationni
is also defined as
named individual

Multiheterosetc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Multiheteroset

A multiheteroset is an heterogeneous, without uniqueness, non ordered and with variable cardinality collection.
has super-classes
Collectionc
has sub-classes
Boxc, Heterosetc, Listc, Multisetc
has members
Multiheterosetni
is also defined as
named individual

Multisetc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Multiset

A multiset is an homogeneous, without uniqueness, non ordered and with variable cardinality collection.
has super-classes
Homogeneous collectionc
Multiheterosetc
has sub-classes
Multicombinationc, Sequencec, Setc
has members
Multisetni
is also defined as
named individual

Ordered collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#OrderedCollection

An ordered collection is a collection where elements follow a sequential order.
is equivalent to
Collectionc and (has itemop only Ordered itemc) and (has first itemop max 1) and (has last itemop max 1)
has sub-classes
Listc
is in domain of
has ordered itemop

Ordered itemc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#OrderedItem

An ordered item is an item that is part of an ordered sequence of items.
is equivalent to
Itemc and (has next itemop max 1) and (has previous itemop max 1) and (has indexdp exactly 1)
is in domain of
followed by itemop, has indexdp, preceded by itemop
is in range of
followed by itemop, has ordered itemop, preceded by itemop

Rankingc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Ranking

A ranking is an homogeneous, with uniqueness, ordered and with variable cardinality collection.
has super-classes
Heterorankingc
Sequencec
Setc
has sub-classes
Variationc
has members
Rankingni
is also defined as
named individual

Sequencec back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Sequence

A sequence is an homogeneous, without uniqueness, ordered and with variable cardinality collection.
has super-classes
Listc
Multisetc
has sub-classes
Rankingc, Vectorc
has members
Sequenceni
is also defined as
named individual

Setc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Set

A set is an homogeneous, with uniqueness, non ordered and with variable cardinality collection.
has super-classes
Heterosetc
Multisetc
has sub-classes
Combinationc, Rankingc
has members
Setni
is also defined as
named individual

Tuplec back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Tuple

A tuple is an heterogeneous, without uniqueness, ordered and with fixed cardinality collection.
has super-classes
Boxc
Listc
has sub-classes
Heterovariationc, Vectorc
has members
Tupleni
is also defined as
named individual

Uniqueness collectionc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#UniquenessCollection

An uniqueness collection is a collection where each element appears at most one time, that is, element repetitions are not allowed.
has super-classes
Collectionc
has sub-classes
Heterosetc

Variationc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Variation

A variation is an homogeneous, with uniqueness, ordered and with fixed cardinality collection.
has super-classes
Combinationc
Heterovariationc
Rankingc
Vectorc
has members
Variationni
is also defined as
named individual

Vectorc back to ToC or Class ToC

IRI: http://purl.org/ceu/eco#Vector

A vector is an homogeneous, without uniqueness, ordered and with fixed cardinality collection.
has super-classes
Multicombinationc
Sequencec
Tuplec
has sub-classes
Variationc
has members
Vectorni
is also defined as
named individual

Object Properties

followed by itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#followedByItem

Property that relates an ordered item with another that follows it after in the same ordered collection.

has characteristics: transitive

has sub-properties
has next itemop
has domain
Ordered itemc
has range
Ordered itemc
is inverse of
preceded by itemop

has contentop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasContent

Property that relates an item with the element or object that contains.

has characteristics: functional

has super-properties
top object propertyop
has domain
Itemc
has range
not (Itemc)

has elementop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasElement

Property that relates a collection with an element that belongs to it.
has domain
Collectionc
has range
not (Itemc)
is inverse of
is element ofop
has sub-property chains
has itemop o has contentop

has elements of typeop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasElementsOfType

has characteristics: functional

has domain
Homogeneous collectionc

has first itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasFirstItem

Property that relates an ordered collection with its first item.

has characteristics: functional

has super-properties
has ordered itemop
has range
Ordered 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/ceu/eco#hasItem

Property that relates a collection with an item that is part of it.

has characteristics: inverse functional

has sub-properties
has ordered itemop
has domain
Collectionc
has range
Itemc
is inverse of
is item ofop

has last itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasLastItem

Property that relates an ordered collection with its last item.

has characteristics: functional

has super-properties
has ordered itemop
has range
Ordered 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/ceu/eco#hasNextItem

Property that relates an ordered item with other that follows it immediately in the same ordered collection.

has characteristics: functional, inverse functional

has super-properties
followed by itemop
is inverse of
has previous itemop

has ordered itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasOrderedItem

Property that relates an ordered collection with an ordered item that is part of it.
has super-properties
has itemop
has sub-properties
has first itemop, has last itemop
has domain
Ordered collectionc
has range
Ordered itemc
is inverse of
is ordered item ofop

has previous itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#hasPreviousItem

Property that relates an ordered item with another that precedes it immediately in the same ordered collection.

has characteristics: functional, inverse functional

has super-properties
preceded by itemop
is inverse of
has next itemop

is element ofop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#isElementOf

Property that relates an element or object with a collection that belongs to.
has range
Collectionc
is inverse of
has elementop

is first item ofop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#isFirstItemOf

Property that relates an ordered item with an ordered collection in which the item occupies the first position.
has super-properties
is ordered item ofop
is inverse of
has first itemop

is item ofop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#isItemOf

Property that relates an item with the collection that is part of.
has sub-properties
is ordered item ofop
is inverse of
has itemop

is last item ofop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#isLastItemOf

Property that relates an ordered item with an ordered collection in which the item occupies the last position.
has super-properties
is ordered item ofop
is inverse of
has last itemop

is ordered item ofop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#isOrderedItemOf

Property that relates an ordered item with the ordered collection that belongs to.
has super-properties
is item ofop
has sub-properties
is first item ofop, is last item ofop
is inverse of
has ordered itemop

preceded by itemop back to ToC or Object Property ToC

IRI: http://purl.org/ceu/eco#precededByItem

Property that relates an ordered item with another that precedes it in the same ordered collection.

has characteristics: transitive

has sub-properties
has previous itemop
has domain
Ordered itemc
has range
Ordered itemc
is inverse of
followed by itemop

Data Properties

has cardinalitydp back to ToC or Data Property ToC

IRI: http://purl.org/ceu/eco#hasCardinality

Property that relates a collection with the number of elements or objects that contains.

has characteristics: functional

has domain
Collectionc
has range
non negative integer

has indexdp back to ToC or Data Property ToC

IRI: http://purl.org/ceu/eco#hasIndex

Property that relates an ordered item with its position in an ordered collection.

has characteristics: functional

has domain
Ordered itemc
has range
positive integer

Named Individuals

Boxni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Box

belongs to
Boxc
is also defined as
class

col1ni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#col1

belongs to
Fixed cardinality collectionc

col2ni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#col2

belongs to
Homogeneous collectionc
has facts
has elements of typeop elemento1

Collectionni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Collection

belongs to
Collectionc
is disjoint with
Item
is also defined as
class

Combinationni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Combination

belongs to
Combinationc
is also defined as
class

elemento1ni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#elemento1

belongs to
Elementc

Heterocombinationni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Heterocombination

belongs to
Heterocombinationc
is also defined as
class

Heterorankingni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Heteroranking

belongs to
Heterorankingc
is also defined as
class

Heterosetni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Heteroset

belongs to
Heterosetc
is also defined as
class

Heterovariationni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Heterovariation

belongs to
Heterovariationc
is also defined as
class

Listni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#List

belongs to
Listc
is also defined as
class

Multicombinationni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Multicombination

belongs to
Multicombinationc
is also defined as
class

Multiheterosetni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Multiheteroset

belongs to
Multiheterosetc
is also defined as
class

Multisetni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Multiset

belongs to
Multisetc
is also defined as
class

Rankingni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Ranking

belongs to
Rankingc
is also defined as
class

Sequenceni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Sequence

belongs to
Sequencec
is also defined as
class

Setni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Set

belongs to
Setc
is also defined as
class

Tupleni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Tuple

belongs to
Tuplec
is also defined as
class

Variationni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Variation

belongs to
Variationc
is also defined as
class

Vectorni back to ToC or Named Individual ToC

IRI: http://purl.org/ceu/eco#Vector

belongs to
Vectorc
is also defined as
class

Annotation Properties

commentap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

creatorap back to ToC or Annotation Property ToC

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

labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#label

rightsap back to ToC or Annotation Property ToC

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

SWRL rules

Rule #1back to ToC

has indexdp(?item,"1") , has ordered itemop(?collection,?item) -> has first itemop(?collectionl,?item)

Rule #2back to ToC

Fixed cardinality collectionc(?collection) , has cardinalitydp(?collection,"1"^^integer) -> (?collection)

Rule #3back to ToC

followed by itemop(?x,?x) -> has errordp(?x,"An ordered item cannot be followed by itself")

Rule #4back to ToC

Fixed cardinality collectionc(?collection) , has cardinalitydp(?collection,"2"^^integer) -> (?collection)

Rule #5back to ToC

has cardinalitydp(?collection,"3"^^integer) , Fixed cardinality collectionc(?collection) -> (?collection)

Rule #6back to ToC

followed by itemop(?item1,?item2) , has ordered itemop(?collection,?item1) -> has ordered itemop(?collection,?item2)

Rule #7back to ToC

followed by itemop(?item1,?item2) , followed by itemop(?item2,?item1) -> has errordp(?item1,"An ordered item can not be followed and preceded at the same time by another item")

Rule #8back to ToC

Uniqueness collectionc(?collection) , has contentop(?item1,?element1) , has contentop(?item2,?element2) , DifferentFrom(?item1,?item2) , has itemop(?collection,?item1) , has itemop(?collection,?item2) , -> has errordp(?collection,"A colllection with uniqueness has repeated elements")

Rule #9back to ToC

has next itemop(?current,?next) , has indexdp(?current,?index) , add(?) -> has indexdp(?next,?nextindex)

Rule #10back to ToC

has indexdp(?item,?index) , has next itemop(?item,?nextitem) , add(?) -> has indexdp(?nextitem,?nextindex)

Rule #11back to ToC

(?collecction) , has last itemop(?collection,?last) , has cardinalitydp(?collection,?n) -> has indexdp(?last,?n)

Rule #12back to ToC

has ordered itemop(?collection,?item) , has indexdp(?item,?n) , has cardinalitydp(?collection,?n) -> has last itemop(?collection,?item)

Rule #13back to ToC

has indexdp(?last,?n) , (?collecction) , has last itemop(?collection,?last) -> has cardinalitydp(?collection,?n)

Rule #14back to ToC

has ordered itemop(?collection,?item2) , has indexdp(?item2,?j) , has indexdp(?item1,?i) , has ordered itemop(?collection,?item1) , add(?) -> has next itemop(?item1,?item2)

Namespace Declarations back to ToC

default namespace
http://purl.org/ceu/eco#
10
http://www.essepuntato.it/2009/10/
ceu
http://purl.org/ceu/
dc
http://purl.org/dc/elements/1.1/
eco
http://purl.org/ceu/eco#
error
http://www.essepuntato.it/2009/10/error/
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 through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.