rdf

OCaml library to manipulate RDF graphs; implements SPARQL
Library rdf
Module Rdf . Owl . Open
val owl_c_AllDifferent : Iri.t

The class of collections of pairwise different individuals.

val owl_c_AllDisjointClasses : Iri.t

The class of collections of pairwise disjoint classes.

val owl_c_AllDisjointProperties : Iri.t

The class of collections of pairwise disjoint properties.

val owl_c_Annotation : Iri.t

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

val owl_c_AnnotationProperty : Iri.t

The class of annotation properties.

val owl_c_AsymmetricProperty : Iri.t

The class of asymmetric properties.

val owl_c_Axiom : Iri.t

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

val owl_c_Class : Iri.t

The class of OWL classes.

val owl_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 owl_c_DatatypeProperty : Iri.t

The class of data properties.

val owl_c_DeprecatedClass : Iri.t

The class of deprecated classes.

val owl_c_DeprecatedProperty : Iri.t

The class of deprecated properties.

val owl_c_FunctionalProperty : Iri.t

The class of functional properties.

val owl_c_InverseFunctionalProperty : Iri.t

The class of inverse-functional properties.

val owl_c_IrreflexiveProperty : Iri.t

The class of irreflexive properties.

val owl_c_NamedIndividual : Iri.t

The class of named individuals.

val owl_c_NegativePropertyAssertion : Iri.t

The class of negative property assertions.

val owl_c_Nothing : Iri.t

This is the empty class.

val owl_c_ObjectProperty : Iri.t

The class of object properties.

val owl_c_Ontology : Iri.t

The class of ontologies.

val owl_c_OntologyProperty : Iri.t

The class of ontology properties.

val owl_c_ReflexiveProperty : Iri.t

The class of reflexive properties.

val owl_c_Restriction : Iri.t

The class of property restrictions.

val owl_c_SymmetricProperty : Iri.t

The class of symmetric properties.

val owl_c_Thing : Iri.t

The class of OWL individuals.

val owl_c_TransitiveProperty : Iri.t

The class of transitive properties.

val owl_allValuesFrom : Iri.t

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

val owl_annotatedProperty : Iri.t

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

val owl_annotatedSource : Iri.t

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

val owl_annotatedTarget : Iri.t

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

val owl_assertionProperty : Iri.t

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

val owl_backwardCompatibleWith : Iri.t

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

val owl_bottomDataProperty : Iri.t

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

val owl_bottomObjectProperty : Iri.t

The object property that does not relate any two individuals.

val owl_cardinality : Iri.t

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

val owl_complementOf : Iri.t

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

val owl_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 owl_deprecated : Iri.t

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

val owl_differentFrom : Iri.t

The property that determines that two given individuals are different.

val owl_disjointUnionOf : Iri.t

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

val owl_disjointWith : Iri.t

The property that determines that two given classes are disjoint.

val owl_distinctMembers : Iri.t

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

val owl_equivalentClass : Iri.t

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

val owl_equivalentProperty : Iri.t

The property that determines that two given properties are equivalent.

val owl_hasKey : Iri.t

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

val owl_hasSelf : Iri.t

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

val owl_hasValue : Iri.t

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

val owl_incompatibleWith : Iri.t

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

val owl_intersectionOf : Iri.t

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

val owl_inverseOf : Iri.t

The property that determines that two given properties are inverse.

val owl_maxCardinality : Iri.t

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

val owl_maxQualifiedCardinality : Iri.t

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

val owl_members : Iri.t

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

val owl_minCardinality : Iri.t

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

val owl_minQualifiedCardinality : Iri.t

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

val owl_onClass : Iri.t

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

val owl_onDataRange : Iri.t

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

val owl_onDatatype : Iri.t

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

val owl_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 owl_onProperty : Iri.t

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

val owl_oneOf : Iri.t

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

val owl_priorVersion : Iri.t

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

val owl_propertyChainAxiom : Iri.t

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

val owl_propertyDisjointWith : Iri.t

The property that determines that two given properties are disjoint.

val owl_qualifiedCardinality : Iri.t

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

val owl_sameAs : Iri.t

The property that determines that two given individuals are equal.

val owl_someValuesFrom : Iri.t

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

val owl_sourceIndividual : Iri.t

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

val owl_targetIndividual : Iri.t

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

val owl_targetValue : Iri.t

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

val owl_topDataProperty : Iri.t

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

val owl_topObjectProperty : Iri.t

The object property that relates every two individuals.

val owl_unionOf : Iri.t

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

val owl_versionInfo : Iri.t

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

val owl_withRestrictions : Iri.t

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