UNPKG

@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
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">; };