IRI: http://purl.org/co/Bag
IRI: http://purl.org/co/Collection
IRI: http://purl.org/co/Item
IRI: http://purl.org/co/List
IRI: http://purl.org/co/ListItem
IRI: http://purl.org/co/Set
IRI: http://purl.org/co/element
IRI: http://purl.org/co/firstItem
has characteristics: functional
IRI: http://purl.org/co/item
IRI: http://purl.org/co/itemContent
has characteristics: functional
IRI: http://purl.org/co/lastItem
has characteristics: functional
IRI: http://purl.org/co/nextItem
has characteristics: functional
IRI: http://purl.org/co/previousItem
has characteristics: functional
IRI: http://purl.org/co/elementOf
IRI: http://purl.org/co/firstItemOf
IRI: http://purl.org/co/followedBy
has characteristics: transitive
IRI: http://purl.org/co/itemContentOf
IRI: http://purl.org/co/itemOf
IRI: http://purl.org/co/lastItemOf
IRI: http://purl.org/co/precededBy
has characteristics: transitive
IRI: http://purl.org/co/index
IRI: http://purl.org/co/size
IRI: http://purl.org/dc/elements/1.1/contributor
IRI: http://purl.org/dc/elements/1.1/description
listc and (has itemop some list itemc) is subclass of
listc and (has first itemop some itemc) and (has last itemop some itemc)
is item ofop(?li,?l) , has indexdp(?li,"1") -> has first itemop(?l,?li)
is item ofop(?i,?l) , has indexdp(?i,?value) , has sizedp(?l,?value) -> has last itemop(?l,?i)
has next itemop(?current,?next) , has indexdp(?current,?r) , add(?) -> has indexdp(?next,?nextR)
is preceded byop(?x,?x) -> has errordp(?x,"A list item cannot be preceded by itself")
is followed byop(?x,?x) -> has errordp(?x,"A list item cannot be followed by itself")
is item ofop(?li1,?l) , is item ofop(?li2,?l) , has indexdp(?li1,?r1) , has indexdp(?li2,?r2) , add(?) -> has next itemop(?li1,?li2)
has last itemop(?list,?last) , has indexdp(?last,?r) -> has sizedp(?list,?r)
has last itemop(?l,?i) , has sizedp(?l,?value) -> has indexdp(?i,?value)
This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.