Protocol Spec
Ontology Conventions
Look Conventions
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)…
core-owl
@
2.2.0
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`.
core-owl
@
2.2.0
Class
All Disjoint Properties
The class of axioms asserting pairwise property-disjointness over a list of properties. The n-ary counterpart of `propertyDisjointWith`. Mirrors…
core-owl
@
2.2.0
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…
core-owl
@
2.2.0
Class
Annotation Property
The class of annotation properties
core-owl
@
2.2.0
Class
Asymmetric Property
The class of asymmetric properties
core-owl
@
2.2.0
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…
core-owl
@
2.2.0
Class
Class
The class of all OWL classes
core-owl
@
2.2.0
Class
Data Range
The class of OWL data ranges
core-owl
@
2.2.0
Class
Datatype Property
The class of datatype properties that relate individuals to data values
core-owl
@
2.2.0
Class
Deprecated Class
The class of deprecated classes
core-owl
@
2.2.0
Class
Deprecated Property
The class of deprecated properties
core-owl
@
2.2.0
Class
Functional Property
The class of properties that can have at most one value for each individual
core-owl
@
2.2.0
Class
Inverse Functional Property
The class of properties that are inverse functional
core-owl
@
2.2.0
Class
Irreflexive Property
The class of irreflexive properties
core-owl
@
2.2.0
Class
Named Individual
The class of named individuals
core-owl
@
2.2.0
Class
Negative Property Assertion
The class of negative property assertions. A reification node declaring that `(sourceIndividual, assertionProperty, targetIndividual|targetValue)` does NOT…
core-owl
@
2.2.0
Class
Nothing
The empty class
core-owl
@
2.2.0
Class
Object Property
The class of object properties that relate individuals to individuals
core-owl
@
2.2.0
Class
Ontology
The class of ontologies
core-owl
@
2.2.0
Class
Reflexive Property
The class of reflexive properties
core-owl
@
2.2.0
Class
Restriction
The class of property restrictions
core-owl
@
2.2.0
Class
Symmetric Property
The class of symmetric properties
core-owl
@
2.2.0
Class
Thing
The class of all individuals
core-owl
@
2.2.0
Class
Transitive Property
The class of transitive properties
core-owl
@
2.2.0
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
core-owl
@
2.2.0
Object Property
Complement Of
The property for specifying class complements
core-owl
@
2.2.0
Object Property
Disjoint With
The property for declaring two classes as disjoint
core-owl
@
2.2.0
Object Property
Equivalent Class
The property for declaring two classes as equivalent
core-owl
@
2.2.0
Object Property
On Class
The property that determines the class that a qualified restriction refers to
core-owl
@
2.2.0
Object Property
Some Values From
The property that determines the class that at least one value of a property must belong to
core-owl
@
2.2.0
←
Subclass Of
Class
Deprecated Class
The class of deprecated classes
core-owl
@
2.2.0
Class
Restriction
The class of property restrictions
core-owl
@
2.2.0