package rdf

You can search for identifiers within the package.

in-package search v0.2.0

package rdf

Rdf library
- README
- Library rdf
  - Rdf
    
    Acl
    
    Open
    
    from
    
    Bgp
    
    P
    
    S
    
    Make
    
    Config
    
    Dc
    
    Open
    
    from
    
    Doap
    
    Open
    
    from
    
    Dot
    
    Ds
    
    Dt
    
    ValueOrdered
    
    VMap
    
    VSet
    
    Earl
    
    Open
    
    from
    
    Foaf
    
    Open
    
    from
    
    Graph
    
    Storage_BGP
    
    Storage
    
    BGP
    
    Bid_map
    
    Graph
    
    BGP
    
    Make
    
    BGP
    
    Json
    
    Ldp
    
    Open
    
    from
    
    Loc
    
    Log
    
    Mem
    
    Mem
    
    BGP
    
    Misc
    
    Oa
    
    Open
    
    from
    
    Owl
    
    Open
    
    from
    
    Pim
    
    Open
    
    from
    
    Prov
    
    Open
    
    from
    
    Rdf_
    
    Open
    
    Rdfs
    
    Open
    
    Sedlex
    
    Sioc
    
    Open
    
    from
    
    Solid
    
    Open
    
    from
    
    Sparql
    
    Sparql_algebra
    
    T
    
    VS
    
    Sparql_eval
    
    N
    
    Irimap
    
    Iriset
    
    GExprOrdered
    
    GExprMap
    
    Sparql_expand
    
    SMap
    
    Sparql_http
    
    P
    
    S
    
    Make
    
    Sparql_lex
    
    Sparql_map
    
    T
    
    Sparql_ms
    
    SMap
    
    SSet
    
    VMap
    
    MuOrdered
    
    MuSet
    
    MuNOrdered
    
    Multimu
    
    Sparql_parser
    
    Sparql_print
    
    Sparql_protocol
    
    Sparql_types
    
    OrderedString
    
    SSet
    
    SMap
    
    VarSet
    
    Sparql_vis
    
    T
    
    Stubs
    
    Term
    
    Ordered_term
    
    TSet
    
    TMap
    
    Time
    
    Open
    
    from
    
    Ttl
    
    Ttl_lex
    
    Ttl_parser
    
    Ttl_types
    
    SMap
    
    Types
    
    Ordered_string
    
    SMap
    
    SSet
    
    Ordered_char
    
    CMap
    
    CSet
    
    Update
    
    Bm
    
    Utf8
    
    Utils
    
    Vcard
    
    Open
    
    from
    
    Webacl
    
    Xml
    
    SMap
- Library rdf.impls
  - Impl_cryptokit
  - Impl_pcre
- Sources
  - rdf
    
    acl.ml
    
    bgp.ml
    
    config.ml
    
    dc.ml
    
    doap.ml
    
    dot.ml
    
    ds.ml
    
    dt.ml
    
    earl.ml
    
    foaf.ml
    
    graph.ml
    
    json.ml
    
    ldp.ml
    
    loc.ml
    
    log.ml
    
    mem.ml
    
    misc.ml
    
    oa.ml
    
    owl.ml
    
    pim.ml
    
    prov.ml
    
    rdf.ml
    
    rdf_.ml
    
    rdfs.ml
    
    sedlex.ml
    
    sioc.ml
    
    solid.ml
    
    sparql.ml
    
    sparql_algebra.ml
    
    sparql_eval.ml
    
    sparql_expand.ml
    
    sparql_http.ml
    
    sparql_lex.ml
    
    sparql_map.ml
    
    sparql_ms.ml
    
    sparql_parser.ml
    
    sparql_print.ml
    
    sparql_protocol.ml
    
    sparql_types.ml
    
    sparql_vis.ml
    
    stubs.ml
    
    term.ml
    
    time.ml
    
    ttl.ml
    
    ttl_lex.ml
    
    ttl_parser.ml
    
    ttl_types.ml
    
    types.ml
    
    update.ml
    
    utf8.ml
    
    utils.ml
    
    vcard.ml
    
    webacl.ml
    
    xml.ml
  - rdf.impls
    
    impl_cryptokit.ml
    
    impl_pcre.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Rdf.Owl`Source

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

package rdf

Module Rdf.OwlSource

Module `Rdf.Owl`Source