Class

List

The class of RDF Lists

Class
Subclass Of
Resource

Instances 1

ListNilThe empty list, with no items in it

Referenced by

← Domain

PropertyFirstThe first item in the subject RDF list
PropertyRestThe rest of the subject RDF list after the first item

← Range

Object PropertyDisjoint Union OfDeclares the subject class as the disjoint union of the listed classes — i.e. equivalent to their `unionOf` AND every pair of listed classes is `disjointWith`.…core-owl@2.1.0
Object PropertyDistinct MembersThe property for declaring a list of pairwise different individualscore-owl@2.1.0
Object PropertyHas KeyDeclares that the listed properties (an `rdf:List` of ObjectProperty / DatatypeProperty values) jointly identify individuals of the subject class — i.e. two…core-owl@2.1.0
Object PropertyIntersection OfThe property for defining a class as an intersection of other classescore-owl@2.1.0
Object PropertyMembersCarries the list of participants for an n-ary axiom — a `distinctMembers`/`AllDifferent`, `AllDisjointClasses`, or `AllDisjointProperties` instance. The value…core-owl@2.1.0
Object PropertyOne OfThe property for defining a class by enumeration of its individualscore-owl@2.1.0
Object PropertyProperty Chain AxiomDeclares that an ObjectProperty is the composition of a chain of other ObjectProperties — e.g. `hasParent o hasParent ⊑ hasGrandparent`. The value is an…core-owl@2.1.0
PropertyRestThe rest of the subject RDF list after the first item
Object PropertyUnion OfThe property for defining a class as a union of other classescore-owl@2.1.0