package rdf

  1. Overview
  2. Docs
package rdf
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val owl : Iri.t

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

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

The class of collections of pairwise different individuals.

val c_AllDisjointClasses : Iri.t

The class of collections of pairwise disjoint classes.

val c_AllDisjointProperties : Iri.t

The class of collections of pairwise disjoint properties.

val c_Annotation : Iri.t

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

val c_AnnotationProperty : Iri.t

The class of annotation properties.

val c_AsymmetricProperty : Iri.t

The class of asymmetric properties.

val c_Axiom : Iri.t

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

val c_Class : Iri.t

The class of OWL classes.

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

val c_DatatypeProperty : Iri.t

The class of data properties.

val c_DeprecatedClass : Iri.t

The class of deprecated classes.

val c_DeprecatedProperty : Iri.t

The class of deprecated properties.

val c_FunctionalProperty : Iri.t

The class of functional properties.

val c_InverseFunctionalProperty : Iri.t

The class of inverse-functional properties.

val c_IrreflexiveProperty : Iri.t

The class of irreflexive properties.

val c_NamedIndividual : Iri.t

The class of named individuals.

val c_NegativePropertyAssertion : Iri.t

The class of negative property assertions.

val c_Nothing : Iri.t

This is the empty class.

val c_ObjectProperty : Iri.t

The class of object properties.

val c_Ontology : Iri.t

The class of ontologies.

val c_OntologyProperty : Iri.t

The class of ontology properties.

val c_ReflexiveProperty : Iri.t

The class of reflexive properties.

val c_Restriction : Iri.t

The class of property restrictions.

val c_SymmetricProperty : Iri.t

The class of symmetric properties.

val c_Thing : Iri.t

The class of OWL individuals.

val c_TransitiveProperty : Iri.t

The class of transitive properties.

val allValuesFrom : Iri.t

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

val annotatedProperty : Iri.t

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

val annotatedSource : Iri.t

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

val annotatedTarget : Iri.t

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

val assertionProperty : Iri.t

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

val backwardCompatibleWith : Iri.t

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

val bottomDataProperty : Iri.t

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

val bottomObjectProperty : Iri.t

The object property that does not relate any two individuals.

val cardinality : Iri.t

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

val complementOf : Iri.t

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

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

val deprecated : Iri.t

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

val differentFrom : Iri.t

The property that determines that two given individuals are different.

val disjointUnionOf : Iri.t

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

val disjointWith : Iri.t

The property that determines that two given classes are disjoint.

val distinctMembers : Iri.t

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

val equivalentClass : Iri.t

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

val equivalentProperty : Iri.t

The property that determines that two given properties are equivalent.

val hasKey : Iri.t

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

val hasSelf : Iri.t

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

val hasValue : Iri.t

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

val incompatibleWith : Iri.t

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

val intersectionOf : Iri.t

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

val inverseOf : Iri.t

The property that determines that two given properties are inverse.

val maxCardinality : Iri.t

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

val maxQualifiedCardinality : Iri.t

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

val members : Iri.t

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

val minCardinality : Iri.t

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

val minQualifiedCardinality : Iri.t

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

val onClass : Iri.t

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

val onDataRange : Iri.t

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

val onDatatype : Iri.t

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

val onProperties : Iri.t

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

val onProperty : Iri.t

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

val oneOf : Iri.t

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

val priorVersion : Iri.t

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

val propertyChainAxiom : Iri.t

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

val propertyDisjointWith : Iri.t

The property that determines that two given properties are disjoint.

val qualifiedCardinality : Iri.t

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

val sameAs : Iri.t

The property that determines that two given individuals are equal.

val someValuesFrom : Iri.t

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

val sourceIndividual : Iri.t

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

val targetIndividual : Iri.t

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

val targetValue : Iri.t

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

val topDataProperty : Iri.t

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

val topObjectProperty : Iri.t

The object property that relates every two individuals.

val unionOf : Iri.t

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

val versionInfo : Iri.t

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

val withRestrictions : Iri.t

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

module Open : sig ... end
class from : ?sub:Term.term -> Graph.graph -> object ... end