core-owl

All DifferentThe 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)…All Disjoint ClassesThe class of axioms asserting pairwise disjointness over a list of classes. The n-ary counterpart of `disjointWith`. Mirrors `owl:AllDisjointClasses`. All Disjoint PropertiesThe class of axioms asserting pairwise property-disjointness over a list of properties. The n-ary counterpart of `propertyDisjointWith`. Mirrors…All Values FromThe property that determines the class that all values of a property must belong toAnnotated PropertyThe predicate of the axiom being annotated. Mirrors `owl:annotatedProperty`. Annotated SourceThe subject of the axiom being annotated. Mirrors `owl:annotatedSource`. Annotated TargetThe object of the axiom being annotated. May be either a Resource or a Literal — `Resource` is the upper bound covering both. Mirrors `owl:annotatedTarget`. AnnotationThe class of annotation reifications — used when an annotation itself needs to be annotated (e.g. recording the source of an rdfs:label). Mirrors…Annotation PropertyThe class of annotation propertiesAssertion PropertyThe property whose assertion is being negated. Mirrors `owl:assertionProperty`. Asymmetric PropertyThe class of asymmetric propertiesAxiomThe class of reified axioms. Used to attach annotations (provenance, deprecation, etc.) to a specific axiom rather than to one of its entities. Mirrors…Backward Compatible WithReferences an ontology that this version is backward compatible withBottom Data PropertyThe empty DatatypeProperty — relates no individuals to any literal. Every DatatypeProperty has this as a sub-property. Mirrors `owl:bottomDataProperty`. Bottom Object PropertyThe empty ObjectProperty — relates no individuals. Every ObjectProperty has this as a sub-property. Mirrors `owl:bottomObjectProperty`. CardinalityThe property that determines the exact cardinality of a restrictionClassThe class of all OWL classesComplement OfThe property for specifying class complementsData RangeThe class of OWL data rangesDatatype PropertyThe class of datatype properties that relate individuals to data valuesDeprecatedIndicates that a resource is deprecatedDeprecated ClassThe class of deprecated classesDeprecated PropertyThe class of deprecated propertiesDifferent FromThe property for declaring two individuals as distinctDisjoint 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`.…Disjoint WithThe property for declaring two classes as disjointDistinct MembersThe property for declaring a list of pairwise different individualsEquivalent ClassThe property for declaring two classes as equivalentEquivalent PropertyThe property for declaring two properties as equivalentFunctional PropertyThe class of properties that can have at most one value for each individualHas KeyDeclares that the listed properties (an `rdf:List` of ObjectProperty / DatatypeProperty values) jointly identify individuals of the subject class — i.e. two…Has SelfUsed inside an `owl:Restriction` whose `onProperty` value is an `ObjectProperty`. The boolean literal asserts the restriction matches individuals related to…Has ValueThe property that determines the individual value that a restriction refers toImportsReferences an ontology to be importedIncompatible WithReferences an ontology that this version is incompatible withIntersection OfThe property for defining a class as an intersection of other classesInverse Functional PropertyThe class of properties that are inverse functionalInverse OfThe property for specifying inverse propertiesIrreflexive PropertyThe class of irreflexive propertiesMax CardinalityThe property that determines the maximum cardinality of a restrictionMax Qualified CardinalityThe property that determines the maximum qualified cardinality of a restrictionMembersCarries the list of participants for an n-ary axiom — a `distinctMembers`/`AllDifferent`, `AllDisjointClasses`, or `AllDisjointProperties` instance. The value…Min CardinalityThe property that determines the minimum cardinality of a restrictionMin Qualified CardinalityThe property that determines the minimum qualified cardinality of a restrictionNamed IndividualThe class of named individualsNegative Property AssertionThe class of negative property assertions. A reification node declaring that `(sourceIndividual, assertionProperty, targetIndividual|targetValue)` does NOT…NothingThe empty classObject PropertyThe class of object properties that relate individuals to individualsOn ClassThe property that determines the class that a qualified restriction refers toOn Data RangeThe property that determines the data range that a qualified restriction refers toOn PropertyThe property that determines the property that a restriction refers toOne OfThe property for defining a class by enumeration of its individualsOntologyThe class of ontologiesPrior VersionReferences a prior version of an ontologyProperty Chain AxiomDeclares that an ObjectProperty is the composition of a chain of other ObjectProperties — e.g. `hasParent o hasParent ⊑ hasGrandparent`. The value is an…Property Disjoint WithThe property for declaring two properties as disjointQualified CardinalityThe property that determines the exact qualified cardinality of a restrictionReflexive PropertyThe class of reflexive propertiesRestrictionThe class of property restrictionsSame AsThe property for declaring two individuals as identicalSome Values FromThe property that determines the class that at least one value of a property must belong toSource IndividualThe subject of a negative property assertion. Mirrors `owl:sourceIndividual`. Symmetric PropertyThe class of symmetric propertiesTarget IndividualThe object of a negative ObjectProperty assertion. Use with ObjectProperty `assertionProperty` values; for DatatypeProperty assertions use `targetValue`…Target ValueThe literal value of a negative DatatypeProperty assertion. Mirrors `owl:targetValue`. ThingThe class of all individualsTop Data PropertyThe universal DatatypeProperty — relates every individual to every literal. Every DatatypeProperty is a sub-property of this. Mirrors `owl:topDataProperty`. Top Object PropertyThe universal ObjectProperty — relates every pair of individuals. Every ObjectProperty is a sub-property of this. Mirrors `owl:topObjectProperty`. Transitive PropertyThe class of transitive propertiesUnion OfThe property for defining a class as a union of other classesVersion InfoProvides version information for an ontology or resourceVersion IRIThe version-specific IRI of an ontology. Companion to the ontology IRI: the ontology IRI is stable across versions, the versionIRI identifies the specific…