val owl_c_AllDifferent : Iri.tThe class of collections of pairwise different individuals.
val owl_c_AllDisjointClasses : Iri.tThe class of collections of pairwise disjoint classes.
val owl_c_AllDisjointProperties : Iri.tThe class of collections of pairwise disjoint properties.
val owl_c_Annotation : Iri.tThe class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
val owl_c_AnnotationProperty : Iri.tThe class of annotation properties.
val owl_c_AsymmetricProperty : Iri.tThe class of asymmetric properties.
val owl_c_Axiom : Iri.tThe class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
val owl_c_Class : Iri.tThe class of OWL classes.
val owl_c_DataRange : Iri.tThe class of OWL data ranges, which are special kinds of datatypes. Note: The use of the IRI owl:DataRange has been deprecated as of OWL 2. The IRI rdfs:Datatype SHOULD be used instead.
val owl_c_DatatypeProperty : Iri.tThe class of data properties.
val owl_c_DeprecatedClass : Iri.tThe class of deprecated classes.
val owl_c_DeprecatedProperty : Iri.tThe class of deprecated properties.
val owl_c_FunctionalProperty : Iri.tThe class of functional properties.
val owl_c_InverseFunctionalProperty : Iri.tThe class of inverse-functional properties.
val owl_c_IrreflexiveProperty : Iri.tThe class of irreflexive properties.
val owl_c_NamedIndividual : Iri.tThe class of named individuals.
val owl_c_NegativePropertyAssertion : Iri.tThe class of negative property assertions.
val owl_c_Nothing : Iri.tThis is the empty class.
val owl_c_ObjectProperty : Iri.tThe class of object properties.
val owl_c_Ontology : Iri.tThe class of ontologies.
val owl_c_OntologyProperty : Iri.tThe class of ontology properties.
val owl_c_ReflexiveProperty : Iri.tThe class of reflexive properties.
val owl_c_Restriction : Iri.tThe class of property restrictions.
val owl_c_SymmetricProperty : Iri.tThe class of symmetric properties.
val owl_c_Thing : Iri.tThe class of OWL individuals.
val owl_c_TransitiveProperty : Iri.tThe class of transitive properties.
val owl_allValuesFrom : Iri.tThe property that determines the class that a universal property restriction refers to.
val owl_annotatedProperty : Iri.tThe property that determines the predicate of an annotated axiom or annotated annotation.
val owl_annotatedSource : Iri.tThe property that determines the subject of an annotated axiom or annotated annotation.
val owl_annotatedTarget : Iri.tThe property that determines the object of an annotated axiom or annotated annotation.
val owl_assertionProperty : Iri.tThe property that determines the predicate of a negative property assertion.
val owl_backwardCompatibleWith : Iri.tThe annotation property that indicates that a given ontology is backward compatible with another ontology.
val owl_bottomDataProperty : Iri.tThe data property that does not relate any individual to any data value.
val owl_bottomObjectProperty : Iri.tThe object property that does not relate any two individuals.
val owl_cardinality : Iri.tThe property that determines the cardinality of an exact cardinality restriction.
val owl_complementOf : Iri.tThe property that determines that a given class is the complement of another class.
val owl_datatypeComplementOf : Iri.tThe property that determines that a given data range is the complement of another data range with respect to the data domain.
val owl_deprecated : Iri.tThe annotation property that indicates that a given entity has been deprecated.
val owl_differentFrom : Iri.tThe property that determines that two given individuals are different.
val owl_disjointUnionOf : Iri.tThe property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
val owl_disjointWith : Iri.tThe property that determines that two given classes are disjoint.
val owl_distinctMembers : Iri.tThe property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
val owl_equivalentClass : Iri.tThe property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
val owl_equivalentProperty : Iri.tThe property that determines that two given properties are equivalent.
val owl_hasKey : Iri.tThe property that determines the collection of properties that jointly build a key.
val owl_hasSelf : Iri.tThe property that determines the property that a self restriction refers to.
val owl_hasValue : Iri.tThe property that determines the individual that a has-value restriction refers to.
val owl_incompatibleWith : Iri.tThe annotation property that indicates that a given ontology is incompatible with another ontology.
val owl_intersectionOf : Iri.tThe property that determines the collection of classes or data ranges that build an intersection.
val owl_inverseOf : Iri.tThe property that determines that two given properties are inverse.
val owl_maxCardinality : Iri.tThe property that determines the cardinality of a maximum cardinality restriction.
val owl_maxQualifiedCardinality : Iri.tThe property that determines the cardinality of a maximum qualified cardinality restriction.
val owl_members : Iri.tThe property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
val owl_minCardinality : Iri.tThe property that determines the cardinality of a minimum cardinality restriction.
val owl_minQualifiedCardinality : Iri.tThe property that determines the cardinality of a minimum qualified cardinality restriction.
val owl_onClass : Iri.tThe property that determines the class that a qualified object cardinality restriction refers to.
val owl_onDataRange : Iri.tThe property that determines the data range that a qualified data cardinality restriction refers to.
val owl_onDatatype : Iri.tThe property that determines the datatype that a datatype restriction refers to.
val owl_onProperties : Iri.tThe property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
val owl_onProperty : Iri.tThe property that determines the property that a property restriction refers to.
val owl_oneOf : Iri.tThe property that determines the collection of individuals or data values that build an enumeration.
val owl_priorVersion : Iri.tThe annotation property that indicates the predecessor ontology of a given ontology.
val owl_propertyChainAxiom : Iri.tThe property that determines the n-tuple of properties that build a sub property chain of a given property.
val owl_propertyDisjointWith : Iri.tThe property that determines that two given properties are disjoint.
val owl_qualifiedCardinality : Iri.tThe property that determines the cardinality of an exact qualified cardinality restriction.
val owl_sameAs : Iri.tThe property that determines that two given individuals are equal.
val owl_someValuesFrom : Iri.tThe property that determines the class that an existential property restriction refers to.
val owl_sourceIndividual : Iri.tThe property that determines the subject of a negative property assertion.
val owl_targetIndividual : Iri.tThe property that determines the object of a negative object property assertion.
val owl_targetValue : Iri.tThe property that determines the value of a negative data property assertion.
val owl_topDataProperty : Iri.tThe data property that relates every individual to every data value.
val owl_topObjectProperty : Iri.tThe object property that relates every two individuals.
val owl_unionOf : Iri.tThe property that determines the collection of classes or data ranges that build a union.
val owl_versionInfo : Iri.tThe annotation property that provides version information for an ontology or another OWL construct.
val owl_withRestrictions : Iri.tThe property that determines the collection of facet-value pairs that define a datatype restriction.