has previous item
property disjoint with: has first item
type: FunctionalProperty
sub property of: is preceded by
property disjoint with: has element
property disjoint with: has next item
property disjoint with: is element of
property disjoint with: has item
property disjoint with: is last item of
property disjoint with: has item content
property disjoint with: is first item of
property disjoint with: has last item
inverse of: has next item
property disjoint with: is item content of
sub property of: topObjectProperty
property disjoint with: is followed by
type: ObjectProperty
property disjoint with: bottomObjectProperty
property disjoint with: is item of
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
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.

item
disjoint with: list
subclass of: Thing
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#22
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
disjoint with: bag
complement of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#28
type: Class
disjoint with: set
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#27
disjoint with: collection
comment: Element belonging to a bag
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#18

list
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#3
subclass of: bag
disjoint with: item
disjoint with: list item
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
subclass of: collection
subclass of: Thing
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#22
disjoint with: set
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#12
type: Class
comment: An ordered array of items, that can be present in multiple copies
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#20
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#21

has item
property disjoint with: has next item
property disjoint with: bottomObjectProperty
type: ObjectProperty
property disjoint with: is element of
property disjoint with: has item content
property disjoint with: is last item of
sub property of: topObjectProperty
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: is followed by
inverse of: is item of
property disjoint with: has previous item
property disjoint with: is preceded by
property disjoint with: is first item of
property disjoint with: is item of
inverse of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
comment: The link to every item of the bag
domain: bag
range: item
property chain axiom: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#9

is last item of
property disjoint with: has next item
property disjoint with: is item content of
sub property of: topObjectProperty
property disjoint with: has first item
property disjoint with: bottomObjectProperty
sub property of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
inverse of: has last item
type: ObjectProperty
property disjoint with: is followed by
property disjoint with: is preceded by
property disjoint with: has item
sub property of: is item of
property disjoint with: has element
property disjoint with: has last item
property disjoint with: has previous item
comment: The link to a list in which the item is last item.

has error
sub property of: topDataProperty
property disjoint with: bottomDataProperty
property disjoint with: has size
property disjoint with: has index
type: DatatypeProperty
description: A data property linking a resource that contains a logical error (which results in it belonging to the class owl:Nothing, therefore making the model inconsistent) to a textual description of that error.
comment: It describes in some way, usually in natural language, which kind of error results from this resource.
range: string
domain: http://lodlaundromat.org/.well-known/genid/ce70a2ccc2daf82fdb42a2ff55ad639c#1

is element of
property disjoint with: bottomObjectProperty
property disjoint with: has next item
sub property of: topObjectProperty
property disjoint with: has item
property disjoint with: has last item
property disjoint with: is preceded by
property disjoint with: is followed by
property disjoint with: has first item
property disjoint with: is item content of
property disjoint with: has previous item
type: ObjectProperty
inverse of: has element
comment: The link to a collection in which the object is member.

bag
disjoint with: set
subclass of: Thing
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#3
disjoint with: item
subclass of: collection
disjoint with: list item
disjoint with: Nothing
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#12
type: Class
comment: Collection that can have a number of copies of each object

has element
inverse of: is element of
property disjoint with: is item of
sub property of: topObjectProperty
type: ObjectProperty
property disjoint with: is last item of
property disjoint with: has next item
property disjoint with: has previous item
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: has item content
property disjoint with: is preceded by
property disjoint with: is followed by
property disjoint with: bottomObjectProperty
property disjoint with: is first item of
comment: The link to the members of a collection
domain: collection
property chain axiom: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#1

list item
disjoint with: collection
disjoint with: list
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#28
disjoint with: bag
disjoint with: Nothing
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#22
subclass of: Thing
disjoint with: set
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#27
subclass of: item
type: Class
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
comment: element belonging to a list
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#26

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

set
subclass of: collection
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#12
disjoint with: list
subclass of: Thing
type: Class
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#22
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#28
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#3
disjoint with: list item
disjoint with: Nothing
disjoint with: bag
disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#27
disjoint with: item
subclass of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11
comment: A collection that cannot contain duplicate elements.

is followed by
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
type: ObjectProperty
property disjoint with: has last item
property disjoint with: has element
type: TransitiveProperty
property disjoint with: bottomObjectProperty
sub property of: topObjectProperty
property disjoint with: is first item of
property disjoint with: is preceded by
property disjoint with: has first item
property disjoint with: is element of
property disjoint with: has previous item
property disjoint with: has item content
inverse of: is preceded by
property disjoint with: is last item of
property disjoint with: is item content of
property disjoint with: has item
property disjoint with: is item of
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

is item of
property disjoint with: has element
property disjoint with: has item
property disjoint with: has last item
property disjoint with: is item content of
property disjoint with: has first item
property disjoint with: is followed by
equivalent property: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: has previous item
type: ObjectProperty
sub property of: topObjectProperty
property disjoint with: has next item
property disjoint with: bottomObjectProperty
inverse of: has item
sub property of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: is preceded by
comment: The link to a bag in which the item is member.

is first item of
property disjoint with: has item
property disjoint with: is item content of
property disjoint with: is preceded by
property disjoint with: has element
inverse of: has first item
property disjoint with: has first item
sub property of: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: is followed by
property disjoint with: has last item
type: ObjectProperty
sub property of: is item of
property disjoint with: bottomObjectProperty
property disjoint with: has previous item
sub property of: topObjectProperty
property disjoint with: has next item
comment: The link to a list in which the item is first item.

has last item
property disjoint with: has item content
property disjoint with: has previous item
inverse of: is last item of
property disjoint with: bottomObjectProperty
property disjoint with: is element of
property disjoint with: is preceded by
property disjoint with: is followed by
property disjoint with: has next item
sub property of: topObjectProperty
type: ObjectProperty
property disjoint with: is last item of
property disjoint with: is first item of
type: FunctionalProperty
sub property of: has item
property disjoint with: is item of
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
comment: The link to the last item of the list.
domain: list
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#12

is preceded by
inverse of: is followed by
property disjoint with: has next item
type: TransitiveProperty
property disjoint with: is first item of
property disjoint with: bottomObjectProperty
sub property of: topObjectProperty
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: is item content of
property disjoint with: has first item
property disjoint with: has element
type: ObjectProperty
property disjoint with: is followed by
property disjoint with: is last item of
property disjoint with: has item content
property disjoint with: has item
property disjoint with: has last item
property disjoint with: is element of
property disjoint with: is item of
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.

has size
sub property of: topDataProperty
property disjoint with: bottomDataProperty
property disjoint with: has error
property disjoint with: has index
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

has next item
property disjoint with: has last item
property disjoint with: is preceded by
property disjoint with: is last item of
property disjoint with: has first item
property disjoint with: bottomObjectProperty
property disjoint with: is item of
property disjoint with: is first item of
property disjoint with: has item
sub property of: topObjectProperty
property disjoint with: has element
inverse of: has previous item
sub property of: is followed by
type: FunctionalProperty
property disjoint with: has previous item
type: ObjectProperty
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: is element of
property disjoint with: is item content of
property disjoint with: has item content
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.

has index
sub property of: topDataProperty
property disjoint with: has size
property disjoint with: bottomDataProperty
property disjoint with: has error
type: DatatypeProperty
comment: A number identifying the position, starting from 1, of a particular list item within a list.
domain: list item
range: positiveInteger

is item content of
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: has next item
property disjoint with: is element of
property disjoint with: has previous item
property disjoint with: is first item of
sub property of: topObjectProperty
property disjoint with: has item content
property disjoint with: is followed by
type: ObjectProperty
property disjoint with: is item of
property disjoint with: bottomObjectProperty
property disjoint with: is preceded by
inverse of: has item content
property disjoint with: is last item of
comment: The link to the item that refers to the resource.

has item content
property disjoint with: has last item
property disjoint with: has next item
property disjoint with: has previous item
property disjoint with: is followed by
inverse of: is item content of
property disjoint with: has first item
type: ObjectProperty
property disjoint with: is item content of
property disjoint with: is preceded by
property disjoint with: has element
sub property of: topObjectProperty
property disjoint with: bottomObjectProperty
type: FunctionalProperty
property disjoint with: has item
comment: The link to the actual resource to which the item refers.
domain: item
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#11

has first item
property disjoint with: has item content
sub property of: topObjectProperty
property disjoint with: is item of
property disjoint with: bottomObjectProperty
property disjoint with: is last item of
property disjoint with: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#19
property disjoint with: has previous item
type: ObjectProperty
property disjoint with: is element of
property disjoint with: has next item
inverse of: is first item of
property disjoint with: is followed by
sub property of: has item
property disjoint with: is first item of
property disjoint with: is preceded by
type: FunctionalProperty
comment: The link to the first item of the list.
domain: list
range: http://lodlaundromat.org/.well-known/genid/1ea3c69c751a6147c66af3688db5f952#3

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

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

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

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

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

http://lodlaundromat.org/.well-known/genid/ce70a2ccc2daf82fdb42a2ff55ad639c#1
type: Restriction
on property: has error
cardinality: 0

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

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

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

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

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

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

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

Error Ontology
type: Ontology
version info: 1.0
date: 2010-11-29
creator: Silvio Peroni
title: The Error Ontology Making contraints on ontology resources
description: The Error Ontology is an unit test that allow to produce an inconsistent model if a particular (and incorrect) situation happens. It works by means of a data property, "hasError" that denies its usage for ant resource. In fact, by defining its domain as "all those resource that don't have any hasErrorDescription assertion", a resource that asserts having an error makes the ontology inconsistent.
rights: This work is distributed under a Creative Commons Attribution Licence (http://creativecommons.org/licenses/by/3.0/).

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