Module Rdf.OwlSource

Elements of http://www.w3.org/2002/07/owl#

Sourceval owl : Iri.t

http://www.w3.org/2002/07/owl#

Sourceval owl_ : string -> Iri.t
Sourceval c_AllDifferent : Iri.t

The class of collections of pairwise different individuals.

Sourceval c_AllDisjointClasses : Iri.t

The class of collections of pairwise disjoint classes.

Sourceval c_AllDisjointProperties : Iri.t

The class of collections of pairwise disjoint properties.

Sourceval c_Annotation : Iri.t

The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.

Sourceval c_AnnotationProperty : Iri.t

The class of annotation properties.

Sourceval c_AsymmetricProperty : Iri.t

The class of asymmetric properties.

Sourceval c_Axiom : Iri.t

The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.

Sourceval c_Class : Iri.t

The class of OWL classes.

Sourceval c_DataRange : Iri.t

The 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.

Sourceval c_DatatypeProperty : Iri.t

The class of data properties.

Sourceval c_DeprecatedClass : Iri.t

The class of deprecated classes.

Sourceval c_DeprecatedProperty : Iri.t

The class of deprecated properties.

Sourceval c_FunctionalProperty : Iri.t

The class of functional properties.

Sourceval c_InverseFunctionalProperty : Iri.t

The class of inverse-functional properties.

Sourceval c_IrreflexiveProperty : Iri.t

The class of irreflexive properties.

Sourceval c_NamedIndividual : Iri.t

The class of named individuals.

Sourceval c_NegativePropertyAssertion : Iri.t

The class of negative property assertions.

Sourceval c_Nothing : Iri.t

This is the empty class.

Sourceval c_ObjectProperty : Iri.t

The class of object properties.

Sourceval c_Ontology : Iri.t

The class of ontologies.

Sourceval c_OntologyProperty : Iri.t

The class of ontology properties.

Sourceval c_ReflexiveProperty : Iri.t

The class of reflexive properties.

Sourceval c_Restriction : Iri.t

The class of property restrictions.

Sourceval c_SymmetricProperty : Iri.t

The class of symmetric properties.

Sourceval c_Thing : Iri.t

The class of OWL individuals.

Sourceval c_TransitiveProperty : Iri.t

The class of transitive properties.

Sourceval allValuesFrom : Iri.t

The property that determines the class that a universal property restriction refers to.

Sourceval annotatedProperty : Iri.t

The property that determines the predicate of an annotated axiom or annotated annotation.

Sourceval annotatedSource : Iri.t

The property that determines the subject of an annotated axiom or annotated annotation.

Sourceval annotatedTarget : Iri.t

The property that determines the object of an annotated axiom or annotated annotation.

Sourceval assertionProperty : Iri.t

The property that determines the predicate of a negative property assertion.

Sourceval backwardCompatibleWith : Iri.t

The annotation property that indicates that a given ontology is backward compatible with another ontology.

Sourceval bottomDataProperty : Iri.t

The data property that does not relate any individual to any data value.

Sourceval bottomObjectProperty : Iri.t

The object property that does not relate any two individuals.

Sourceval cardinality : Iri.t

The property that determines the cardinality of an exact cardinality restriction.

Sourceval complementOf : Iri.t

The property that determines that a given class is the complement of another class.

Sourceval datatypeComplementOf : Iri.t

The property that determines that a given data range is the complement of another data range with respect to the data domain.

Sourceval deprecated : Iri.t

The annotation property that indicates that a given entity has been deprecated.

Sourceval differentFrom : Iri.t

The property that determines that two given individuals are different.

Sourceval disjointUnionOf : Iri.t

The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.

Sourceval disjointWith : Iri.t

The property that determines that two given classes are disjoint.

Sourceval distinctMembers : Iri.t

The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.

Sourceval equivalentClass : Iri.t

The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.

Sourceval equivalentProperty : Iri.t

The property that determines that two given properties are equivalent.

Sourceval hasKey : Iri.t

The property that determines the collection of properties that jointly build a key.

Sourceval hasSelf : Iri.t

The property that determines the property that a self restriction refers to.

Sourceval hasValue : Iri.t

The property that determines the individual that a has-value restriction refers to.

Sourceval incompatibleWith : Iri.t

The annotation property that indicates that a given ontology is incompatible with another ontology.

Sourceval intersectionOf : Iri.t

The property that determines the collection of classes or data ranges that build an intersection.

Sourceval inverseOf : Iri.t

The property that determines that two given properties are inverse.

Sourceval maxCardinality : Iri.t

The property that determines the cardinality of a maximum cardinality restriction.

Sourceval maxQualifiedCardinality : Iri.t

The property that determines the cardinality of a maximum qualified cardinality restriction.

Sourceval members : Iri.t

The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.

Sourceval minCardinality : Iri.t

The property that determines the cardinality of a minimum cardinality restriction.

Sourceval minQualifiedCardinality : Iri.t

The property that determines the cardinality of a minimum qualified cardinality restriction.

Sourceval onClass : Iri.t

The property that determines the class that a qualified object cardinality restriction refers to.

Sourceval onDataRange : Iri.t

The property that determines the data range that a qualified data cardinality restriction refers to.

Sourceval onDatatype : Iri.t

The property that determines the datatype that a datatype restriction refers to.

Sourceval onProperties : Iri.t

The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.

Sourceval onProperty : Iri.t

The property that determines the property that a property restriction refers to.

Sourceval oneOf : Iri.t

The property that determines the collection of individuals or data values that build an enumeration.

Sourceval priorVersion : Iri.t

The annotation property that indicates the predecessor ontology of a given ontology.

Sourceval propertyChainAxiom : Iri.t

The property that determines the n-tuple of properties that build a sub property chain of a given property.

Sourceval propertyDisjointWith : Iri.t

The property that determines that two given properties are disjoint.

Sourceval qualifiedCardinality : Iri.t

The property that determines the cardinality of an exact qualified cardinality restriction.

Sourceval sameAs : Iri.t

The property that determines that two given individuals are equal.

Sourceval someValuesFrom : Iri.t

The property that determines the class that an existential property restriction refers to.

Sourceval sourceIndividual : Iri.t

The property that determines the subject of a negative property assertion.

Sourceval targetIndividual : Iri.t

The property that determines the object of a negative object property assertion.

Sourceval targetValue : Iri.t

The property that determines the value of a negative data property assertion.

Sourceval topDataProperty : Iri.t

The data property that relates every individual to every data value.

Sourceval topObjectProperty : Iri.t

The object property that relates every two individuals.

Sourceval unionOf : Iri.t

The property that determines the collection of classes or data ranges that build a union.

Sourceval versionInfo : Iri.t

The annotation property that provides version information for an ontology or another OWL construct.

Sourceval withRestrictions : Iri.t

The property that determines the collection of facet-value pairs that define a datatype restriction.

Sourcemodule Open : sig ... end
Sourceclass from : ?sub:Term.term -> Graph.graph -> object ... end