Specification
Look System
kanonak.org
core-owl@2.1.0
Class
Class
Class
The class of all OWL classes
Class
Subclass Of
Class
Instances
25
Class
All Different
The class of axioms asserting that every member of a list of individuals is pairwise different from every other member. More compact than enumerating O(n^2)…
Class
All Disjoint Classes
The class of axioms asserting pairwise disjointness over a list of classes. The n-ary counterpart of `disjointWith`. Mirrors `owl:AllDisjointClasses`.
Class
All Disjoint Properties
The class of axioms asserting pairwise property-disjointness over a list of properties. The n-ary counterpart of `propertyDisjointWith`. Mirrors…
Class
Annotation
The class of annotation reifications — used when an annotation itself needs to be annotated (e.g. recording the source of an rdfs:label). Mirrors…
Class
Annotation Property
The class of annotation properties
Class
Asymmetric Property
The class of asymmetric properties
Class
Axiom
The class of reified axioms. Used to attach annotations (provenance, deprecation, etc.) to a specific axiom rather than to one of its entities. Mirrors…
Class
Class
The class of all OWL classes
Class
Data Range
The class of OWL data ranges
Class
Datatype Property
The class of datatype properties that relate individuals to data values
Class
Deprecated Class
The class of deprecated classes
Class
Deprecated Property
The class of deprecated properties
Class
Functional Property
The class of properties that can have at most one value for each individual
Class
Inverse Functional Property
The class of properties that are inverse functional
Class
Irreflexive Property
The class of irreflexive properties
Class
Named Individual
The class of named individuals
Class
Negative Property Assertion
The class of negative property assertions. A reification node declaring that `(sourceIndividual, assertionProperty, targetIndividual|targetValue)` does NOT…
Class
Nothing
The empty class
Class
Object Property
The class of object properties that relate individuals to individuals
Class
Ontology
The class of ontologies
Class
Reflexive Property
The class of reflexive properties
Class
Restriction
The class of property restrictions
Class
Symmetric Property
The class of symmetric properties
Class
Thing
The class of all individuals
Class
Transitive Property
The class of transitive properties
Referenced by
←
Domain
Object Property
Complement Of
The property for specifying class complements
Object Property
Disjoint Union Of
Declares 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`.…
Object Property
Disjoint With
The property for declaring two classes as disjoint
Object Property
Distinct Members
The property for declaring a list of pairwise different individuals
Object Property
Equivalent Class
The property for declaring two classes as equivalent
Object Property
Has Key
Declares that the listed properties (an `rdf:List` of ObjectProperty / DatatypeProperty values) jointly identify individuals of the subject class — i.e. two…
Object Property
Intersection Of
The property for defining a class as an intersection of other classes
Object Property
One Of
The property for defining a class by enumeration of its individuals
Object Property
Union Of
The property for defining a class as a union of other classes
←
Range
Object Property
All Values From
The property that determines the class that all values of a property must belong to
Object Property
Complement Of
The property for specifying class complements
Object Property
Disjoint With
The property for declaring two classes as disjoint
Object Property
Equivalent Class
The property for declaring two classes as equivalent
Object Property
On Class
The property that determines the class that a qualified restriction refers to
Object Property
Some Values From
The property that determines the class that at least one value of a property must belong to
←
Subclass Of
Class
Deprecated Class
The class of deprecated classes
Class
Restriction
The class of property restrictions
ClassClass
