UNPKG

@faubulous/mentor-rdf

Version:

A library for working with RDF vocabularies with support for basic RDFS and OWL inference.

318 lines (317 loc) 18 kB
import { NamedNode } from '@rdfjs/types'; /** Namespace URI of the OWL vocabulary. */ export declare const _OWL = "http://www.w3.org/2002/07/owl#"; export declare const OWL: { /** The class of collections of pairwise different individuals. */ AllDifferent: string; /** The class of collections of pairwise disjoint classes. */ AllDisjointClasses: string; /** The class of collections of pairwise disjoint properties. */ AllDisjointProperties: string; /** The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object. */ Annotation: string; /** The class of annotation properties. */ AnnotationProperty: string; /** The class of asymmetric properties. */ AsymmetricProperty: string; /** The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object. */ Axiom: string; /** The class of OWL classes. */ Class: string; /** 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. */ DataRange: string; /** The class of data properties. */ DatatypeProperty: string; /** The class of deprecated classes. */ DeprecatedClass: string; /** The class of deprecated properties. */ DeprecatedProperty: string; /** The class of functional properties. */ FunctionalProperty: string; /** The class of inverse-functional properties. */ InverseFunctionalProperty: string; /** The class of irreflexive properties. */ IrreflexiveProperty: string; /** The class of named individuals. */ NamedIndividual: string; /** The class of negative property assertions. */ NegativePropertyAssertion: string; /** This is the empty class. */ Nothing: string; /** The class of object properties. */ ObjectProperty: string; /** The class of ontologies. */ Ontology: string; /** The class of ontology properties. */ OntologyProperty: string; /** The class of reflexive properties. */ ReflexiveProperty: string; /** The class of property restrictions. */ Restriction: string; /** The class of symmetric properties. */ SymmetricProperty: string; /** The class of OWL individuals. */ Thing: string; /** The class of transitive properties. */ TransitiveProperty: string; /** The property that determines the class that a universal property restriction refers to. */ allValuesFrom: string; /** The property that determines the predicate of an annotated axiom or annotated annotation. */ annotatedProperty: string; /** The property that determines the subject of an annotated axiom or annotated annotation. */ annotatedSource: string; /** The property that determines the object of an annotated axiom or annotated annotation. */ annotatedTarget: string; /** The property that determines the predicate of a negative property assertion. */ assertionProperty: string; /** The annotation property that indicates that a given ontology is backward compatible with another ontology. */ backwardCompatibleWith: string; /** The data property that does not relate any individual to any data value. */ bottomDataProperty: string; /** The object property that does not relate any two individuals. */ bottomObjectProperty: string; /** The property that determines the cardinality of an exact cardinality restriction. */ cardinality: string; /** The property that determines that a given class is the complement of another class. */ complementOf: string; /** The property that determines that a given data range is the complement of another data range with respect to the data domain. */ datatypeComplementOf: string; /** The annotation property that indicates that a given entity has been deprecated. */ deprecated: string; /** The property that determines that two given individuals are different. */ differentFrom: string; /** The property that determines that a given class is equivalent to the disjoint union of a collection of other classes. */ disjointUnionOf: string; /** The property that determines that two given classes are disjoint. */ disjointWith: string; /** The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom. */ distinctMembers: string; /** The property that determines that two given classes are equivalent, and that is used to specify datatype definitions. */ equivalentClass: string; /** The property that determines that two given properties are equivalent. */ equivalentProperty: string; /** The property that determines the collection of properties that jointly build a key. */ hasKey: string; /** The property that determines the property that a self restriction refers to. */ hasSelf: string; /** The property that determines the individual that a has-value restriction refers to. */ hasValue: string; /** The property that is used for importing other ontologies into a given ontology. */ imports: string; /** The annotation property that indicates that a given ontology is incompatible with another ontology. */ incompatibleWith: string; /** The property that determines the collection of classes or data ranges that build an intersection. */ intersectionOf: string; /** The property that determines that two given properties are inverse. */ inverseOf: string; /** The property that determines the cardinality of a maximum cardinality restriction. */ maxCardinality: string; /** The property that determines the cardinality of a maximum qualified cardinality restriction. */ maxQualifiedCardinality: string; /** The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom. */ members: string; /** The property that determines the cardinality of a minimum cardinality restriction. */ minCardinality: string; /** The property that determines the cardinality of a minimum qualified cardinality restriction. */ minQualifiedCardinality: string; /** The property that determines the class that a qualified object cardinality restriction refers to. */ onClass: string; /** The property that determines the data range that a qualified data cardinality restriction refers to. */ onDataRange: string; /** The property that determines the datatype that a datatype restriction refers to. */ onDatatype: string; /** The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to. */ onProperties: string; /** The property that determines the property that a property restriction refers to. */ onProperty: string; /** The property that determines the collection of individuals or data values that build an enumeration. */ oneOf: string; /** The annotation property that indicates the predecessor ontology of a given ontology. */ priorVersion: string; /** The property that determines the n-tuple of properties that build a sub property chain of a given property. */ propertyChainAxiom: string; /** The property that determines that two given properties are disjoint. */ propertyDisjointWith: string; /** The property that determines the cardinality of an exact qualified cardinality restriction. */ qualifiedCardinality: string; /** The property that determines that two given individuals are equal. */ sameAs: string; /** The property that determines the class that an existential property restriction refers to. */ someValuesFrom: string; /** The property that determines the subject of a negative property assertion. */ sourceIndividual: string; /** The property that determines the object of a negative object property assertion. */ targetIndividual: string; /** The property that determines the value of a negative data property assertion. */ targetValue: string; /** The data property that relates every individual to every data value. */ topDataProperty: string; /** The object property that relates every two individuals. */ topObjectProperty: string; /** The property that determines the collection of classes or data ranges that build a union. */ unionOf: string; /** The property that identifies the version IRI of an ontology. */ versionIRI: string; /** The annotation property that provides version information for an ontology or another OWL construct. */ versionInfo: string; /** The property that determines the collection of facet-value pairs that define a datatype restriction. */ withRestrictions: string; }; /** Namespace URI of the owl vocabulary. */ export declare const _owl: NamedNode; export declare const owl: { /** The class of collections of pairwise different individuals. */ AllDifferent: NamedNode; /** The class of collections of pairwise disjoint classes. */ AllDisjointClasses: NamedNode; /** The class of collections of pairwise disjoint properties. */ AllDisjointProperties: NamedNode; /** The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object. */ Annotation: NamedNode; /** The class of annotation properties. */ AnnotationProperty: NamedNode; /** The class of asymmetric properties. */ AsymmetricProperty: NamedNode; /** The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object. */ Axiom: NamedNode; /** The class of OWL classes. */ Class: NamedNode; /** 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. */ DataRange: NamedNode; /** The class of data properties. */ DatatypeProperty: NamedNode; /** The class of deprecated classes. */ DeprecatedClass: NamedNode; /** The class of deprecated properties. */ DeprecatedProperty: NamedNode; /** The class of functional properties. */ FunctionalProperty: NamedNode; /** The class of inverse-functional properties. */ InverseFunctionalProperty: NamedNode; /** The class of irreflexive properties. */ IrreflexiveProperty: NamedNode; /** The class of named individuals. */ NamedIndividual: NamedNode; /** The class of negative property assertions. */ NegativePropertyAssertion: NamedNode; /** This is the empty class. */ Nothing: NamedNode; /** The class of object properties. */ ObjectProperty: NamedNode; /** The class of ontologies. */ Ontology: NamedNode; /** The class of ontology properties. */ OntologyProperty: NamedNode; /** The class of reflexive properties. */ ReflexiveProperty: NamedNode; /** The class of property restrictions. */ Restriction: NamedNode; /** The class of symmetric properties. */ SymmetricProperty: NamedNode; /** The class of OWL individuals. */ Thing: NamedNode; /** The class of transitive properties. */ TransitiveProperty: NamedNode; /** The property that determines the class that a universal property restriction refers to. */ allValuesFrom: NamedNode; /** The property that determines the predicate of an annotated axiom or annotated annotation. */ annotatedProperty: NamedNode; /** The property that determines the subject of an annotated axiom or annotated annotation. */ annotatedSource: NamedNode; /** The property that determines the object of an annotated axiom or annotated annotation. */ annotatedTarget: NamedNode; /** The property that determines the predicate of a negative property assertion. */ assertionProperty: NamedNode; /** The annotation property that indicates that a given ontology is backward compatible with another ontology. */ backwardCompatibleWith: NamedNode; /** The data property that does not relate any individual to any data value. */ bottomDataProperty: NamedNode; /** The object property that does not relate any two individuals. */ bottomObjectProperty: NamedNode; /** The property that determines the cardinality of an exact cardinality restriction. */ cardinality: NamedNode; /** The property that determines that a given class is the complement of another class. */ complementOf: NamedNode; /** The property that determines that a given data range is the complement of another data range with respect to the data domain. */ datatypeComplementOf: NamedNode; /** The annotation property that indicates that a given entity has been deprecated. */ deprecated: NamedNode; /** The property that determines that two given individuals are different. */ differentFrom: NamedNode; /** The property that determines that a given class is equivalent to the disjoint union of a collection of other classes. */ disjointUnionOf: NamedNode; /** The property that determines that two given classes are disjoint. */ disjointWith: NamedNode; /** The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom. */ distinctMembers: NamedNode; /** The property that determines that two given classes are equivalent, and that is used to specify datatype definitions. */ equivalentClass: NamedNode; /** The property that determines that two given properties are equivalent. */ equivalentProperty: NamedNode; /** The property that determines the collection of properties that jointly build a key. */ hasKey: NamedNode; /** The property that determines the property that a self restriction refers to. */ hasSelf: NamedNode; /** The property that determines the individual that a has-value restriction refers to. */ hasValue: NamedNode; /** The property that is used for importing other ontologies into a given ontology. */ imports: NamedNode; /** The annotation property that indicates that a given ontology is incompatible with another ontology. */ incompatibleWith: NamedNode; /** The property that determines the collection of classes or data ranges that build an intersection. */ intersectionOf: NamedNode; /** The property that determines that two given properties are inverse. */ inverseOf: NamedNode; /** The property that determines the cardinality of a maximum cardinality restriction. */ maxCardinality: NamedNode; /** The property that determines the cardinality of a maximum qualified cardinality restriction. */ maxQualifiedCardinality: NamedNode; /** The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom. */ members: NamedNode; /** The property that determines the cardinality of a minimum cardinality restriction. */ minCardinality: NamedNode; /** The property that determines the cardinality of a minimum qualified cardinality restriction. */ minQualifiedCardinality: NamedNode; /** The property that determines the class that a qualified object cardinality restriction refers to. */ onClass: NamedNode; /** The property that determines the data range that a qualified data cardinality restriction refers to. */ onDataRange: NamedNode; /** The property that determines the datatype that a datatype restriction refers to. */ onDatatype: NamedNode; /** The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to. */ onProperties: NamedNode; /** The property that determines the property that a property restriction refers to. */ onProperty: NamedNode; /** The property that determines the collection of individuals or data values that build an enumeration. */ oneOf: NamedNode; /** The annotation property that indicates the predecessor ontology of a given ontology. */ priorVersion: NamedNode; /** The property that determines the n-tuple of properties that build a sub property chain of a given property. */ propertyChainAxiom: NamedNode; /** The property that determines that two given properties are disjoint. */ propertyDisjointWith: NamedNode; /** The property that determines the cardinality of an exact qualified cardinality restriction. */ qualifiedCardinality: NamedNode; /** The property that determines that two given individuals are equal. */ sameAs: NamedNode; /** The property that determines the class that an existential property restriction refers to. */ someValuesFrom: NamedNode; /** The property that determines the subject of a negative property assertion. */ sourceIndividual: NamedNode; /** The property that determines the object of a negative object property assertion. */ targetIndividual: NamedNode; /** The property that determines the value of a negative data property assertion. */ targetValue: NamedNode; /** The data property that relates every individual to every data value. */ topDataProperty: NamedNode; /** The object property that relates every two individuals. */ topObjectProperty: NamedNode; /** The property that determines the collection of classes or data ranges that build a union. */ unionOf: NamedNode; /** The property that identifies the version IRI of an ontology. */ versionIRI: NamedNode; /** The annotation property that provides version information for an ontology or another OWL construct. */ versionInfo: NamedNode; /** The property that determines the collection of facet-value pairs that define a datatype restriction. */ withRestrictions: NamedNode; };