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