Package RDFClosure :: Module OWLRL

Module OWLRL

This module is a brute force implementation of the OWL 2 RL profile.

RDFLib works with 'generalized' RDF, meaning that triples with a BNode predicate are allowed. This is good because, eg, some of the triples generated for RDF from an OWL 2 functional syntax might look like '[ owl:inverseOf p]', and the RL rules would then operate on such generalized triple. However, as a last, post processing steps, these triples are removed from the graph before serialization to produce 'standard' RDF (which is o.k. for RL, too, because the consequent triples are all right, generalized triples might have had a role in the deduction steps only).

Requires: RDFLib, 2.2.2. and higher

License: This software is available for use under the W3C Software License

Organization: World Wide Web Consortium

Author: Ivan Herman

Contact: Ivan Herman, ivan@w3.org

Classes

[hide private]

OWLRL_Semantics
OWL 2 RL Semantics class, ie, implementation of the OWL 2 RL closure graph.

Variables

[hide private]

__author__ = 'Ivan Herman'

__license__ = u'W3C® SOFTWARE NOTICE AND LICENSE, http://www.w...

OWLRL_Annotation_properties = [rdflib.URIRef('http://www.w3.or...

AllDifferent = rdflib.URIRef('http://www.w3.org/2002/07/owl#Al...

AllDisjointClasses = rdflib.URIRef('http://www.w3.org/2002/07/...

AllDisjointProperties = rdflib.URIRef('http://www.w3.org/2002/...

Annotation = rdflib.URIRef('http://www.w3.org/2002/07/owl#Anno...

AnnotationProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

AsymmetricProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

Axiom = rdflib.URIRef('http://www.w3.org/2002/07/owl#Axiom')

BottomDataProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

BottomObjectProperty = rdflib.URIRef('http://www.w3.org/2002/0...

DataRange = rdflib.URIRef('http://www.w3.org/2002/07/owl#DataR...

DatatypeProperty = rdflib.URIRef('http://www.w3.org/2002/07/ow...

DeprecatedClass = rdflib.URIRef('http://www.w3.org/2002/07/owl...

DeprecatedProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

FunctionalProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

InverseFunctionalProperty = rdflib.URIRef('http://www.w3.org/2...

IrreflexiveProperty = rdflib.URIRef('http://www.w3.org/2002/07...

NamedIndividual = rdflib.URIRef('http://www.w3.org/2002/07/owl...

NegativePropertyAssertion = rdflib.URIRef('http://www.w3.org/2...

Nothing = rdflib.URIRef('http://www.w3.org/2002/07/owl#Nothing')

OWLClass = rdflib.URIRef('http://www.w3.org/2002/07/owl#Class')

OWLNS = rdflib.URIRef('http://www.w3.org/2002/07/owl#')

OWLpredicate = rdflib.URIRef('http://www.w3.org/2002/07/owl#pr...

OWLsubject = rdflib.URIRef('http://www.w3.org/2002/07/owl#subj...

ObjectProperty = rdflib.URIRef('http://www.w3.org/2002/07/owl#...

Ontology = rdflib.URIRef('http://www.w3.org/2002/07/owl#Ontolo...

OntologyProperty = rdflib.URIRef('http://www.w3.org/2002/07/ow...

ReflexiveProperty = rdflib.URIRef('http://www.w3.org/2002/07/o...

Restriction = rdflib.URIRef('http://www.w3.org/2002/07/owl#Res...

SelfRestriction = rdflib.URIRef('http://www.w3.org/2002/07/owl...

SymmetricProperty = rdflib.URIRef('http://www.w3.org/2002/07/o...

Thing = rdflib.URIRef('http://www.w3.org/2002/07/owl#Thing')

TopDataProperty = rdflib.URIRef('http://www.w3.org/2002/07/owl...

TopObjectProperty = rdflib.URIRef('http://www.w3.org/2002/07/o...

TransitiveProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

__package__ = 'RDFClosure'

allValuesFrom = rdflib.URIRef('http://www.w3.org/2002/07/owl#a...

annotatedProperty = rdflib.URIRef('http://www.w3.org/2002/07/o...

annotatedSource = rdflib.URIRef('http://www.w3.org/2002/07/owl...

annotatedTarget = rdflib.URIRef('http://www.w3.org/2002/07/owl...

assertionProperty = rdflib.URIRef('http://www.w3.org/2002/07/o...

backwardCompatibleWith = rdflib.URIRef('http://www.w3.org/2002...

cardinality = rdflib.URIRef('http://www.w3.org/2002/07/owl#car...

complementOf = rdflib.URIRef('http://www.w3.org/2002/07/owl#co...

datatypeComplementOf = rdflib.URIRef('http://www.w3.org/2002/0...

deprecated = rdflib.URIRef('http://www.w3.org/2002/07/owl#depr...

differentFrom = rdflib.URIRef('http://www.w3.org/2002/07/owl#d...

disjointClasses = rdflib.URIRef('http://www.w3.org/2002/07/owl...

disjointUnionOf = rdflib.URIRef('http://www.w3.org/2002/07/owl...

disjointWith = rdflib.URIRef('http://www.w3.org/2002/07/owl#di...

distinctMembers = rdflib.URIRef('http://www.w3.org/2002/07/owl...

equivalentClass = rdflib.URIRef('http://www.w3.org/2002/07/owl...

equivalentProperty = rdflib.URIRef('http://www.w3.org/2002/07/...

hasKey = rdflib.URIRef('http://www.w3.org/2002/07/owl#hasKey')

hasSelf = rdflib.URIRef('http://www.w3.org/2002/07/owl#hasSelf')

hasValue = rdflib.URIRef('http://www.w3.org/2002/07/owl#hasVal...

imports = rdflib.URIRef('http://www.w3.org/2002/07/owl#imports')

incompatibleWith = rdflib.URIRef('http://www.w3.org/2002/07/ow...

intersectionOf = rdflib.URIRef('http://www.w3.org/2002/07/owl#...

inverseOf = rdflib.URIRef('http://www.w3.org/2002/07/owl#inver...

maxCardinality = rdflib.URIRef('http://www.w3.org/2002/07/owl#...

maxQualifiedCardinality = rdflib.URIRef('http://www.w3.org/200...

members = rdflib.URIRef('http://www.w3.org/2002/07/owl#members')

minCardinality = rdflib.URIRef('http://www.w3.org/2002/07/owl#...

minQualifiedCardinality = rdflib.URIRef('http://www.w3.org/200...

onClass = rdflib.URIRef('http://www.w3.org/2002/07/owl#onClass')

onDataRange = rdflib.URIRef('http://www.w3.org/2002/07/owl#onD...

onDatatype = rdflib.URIRef('http://www.w3.org/2002/07/owl#onDa...

onProperties = rdflib.URIRef('http://www.w3.org/2002/07/owl#on...

onProperty = rdflib.URIRef('http://www.w3.org/2002/07/owl#onPr...

oneOf = rdflib.URIRef('http://www.w3.org/2002/07/owl#oneOf')

priorVersion = rdflib.URIRef('http://www.w3.org/2002/07/owl#pr...

propertyChainAxiom = rdflib.URIRef('http://www.w3.org/2002/07/...

propertyDisjointWith = rdflib.URIRef('http://www.w3.org/2002/0...

qualifiedCardinality = rdflib.URIRef('http://www.w3.org/2002/0...

sameAs = rdflib.URIRef('http://www.w3.org/2002/07/owl#sameAs')

someValuesFrom = rdflib.URIRef('http://www.w3.org/2002/07/owl#...

sourceIndividual = rdflib.URIRef('http://www.w3.org/2002/07/ow...

targetIndividual = rdflib.URIRef('http://www.w3.org/2002/07/ow...

targetValue = rdflib.URIRef('http://www.w3.org/2002/07/owl#tar...

unionOf = rdflib.URIRef('http://www.w3.org/2002/07/owl#unionOf')

versionIRI = rdflib.URIRef('http://www.w3.org/2002/07/owl#vers...

versionInfo = rdflib.URIRef('http://www.w3.org/2002/07/owl#ver...

withRestrictions = rdflib.URIRef('http://www.w3.org/2002/07/ow...

Imports: BNode, Property, type, subClassOf, subPropertyOf, comment, label, domain, range, seeAlso, isDefinedBy, Datatype, Core, OWLRL_Axiomatic_Triples, OWLRL_D_Axiomatic_Triples, OWLRL_Datatypes_Disjointness, OWL_RL_Datatypes, OWL_Datatype_Subsumptions, Namespace

Variables Details

[hide private]

license

Value:

u'W3C® SOFTWARE NOTICE AND LICENSE, http://www.w3.org/Consortium/Legal
/2002/copyright-software-20021231'

OWLRL_Annotation_properties

Value:

[rdflib.URIRef('http://www.w3.org/2000/01/rdf-schema#label'),
 rdflib.URIRef('http://www.w3.org/2000/01/rdf-schema#comment'),
 rdflib.URIRef('http://www.w3.org/2000/01/rdf-schema#seeAlso'),
 rdflib.URIRef('http://www.w3.org/2000/01/rdf-schema#isDefinedBy'),
 rdflib.URIRef('http://www.w3.org/2002/07/owl#deprecated'),
 rdflib.URIRef('http://www.w3.org/2002/07/owl#versionInfo'),
 rdflib.URIRef('http://www.w3.org/2002/07/owl#priorVersion'),
 rdflib.URIRef('http://www.w3.org/2002/07/owl#backwardCompatibleWith')
...

AllDifferent

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#AllDifferent')

AllDisjointClasses

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#AllDisjointClasses')

AllDisjointProperties

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#AllDisjointProperties')

Annotation

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#Annotation')

AnnotationProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#AnnotationProperty')

AsymmetricProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#AsymmetricProperty')

BottomDataProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#BottomDataProperty')

BottomObjectProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#BottomObjectProperty')

DataRange

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#DataRange')

DatatypeProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#DatatypeProperty')

DeprecatedClass

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#DeprecatedClass')

DeprecatedProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#DeprecatedProperty')

FunctionalProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#FunctionalProperty')

InverseFunctionalProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#InverseFunctionalProperty
')

IrreflexiveProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#IrreflexiveProperty')

NamedIndividual

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#NamedIndividual')

NegativePropertyAssertion

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#NegativePropertyAssertion
')

OWLpredicate

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#predicate')

OWLsubject

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#subject')

ObjectProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#ObjectProperty')

Ontology

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#Ontology')

OntologyProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#OntologyProperty')

ReflexiveProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#ReflexiveProperty')

Restriction

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#Restriction')

SelfRestriction

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#SelfRestriction')

SymmetricProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#SymmetricProperty')

TopDataProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#TopDataProperty')

TopObjectProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#TopObjectProperty')

TransitiveProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#TransitiveProperty')

allValuesFrom

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#allValuesFrom')

annotatedProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#annotatedProperty')

annotatedSource

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#annotatedSource')

annotatedTarget

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#annotatedTarget')

assertionProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#assertionProperty')

backwardCompatibleWith

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#backwardCompatibleWith')

cardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#cardinality')

complementOf

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#complementOf')

datatypeComplementOf

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#datatypeComplementOf')

deprecated

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#deprecated')

differentFrom

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#differentFrom')

disjointClasses

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#disjointClasses')

disjointUnionOf

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#disjointUnionOf')

disjointWith

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#disjointWith')

distinctMembers

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#distinctMembers')

equivalentClass

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#equivalentClass')

equivalentProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#equivalentProperty')

hasValue

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#hasValue')

incompatibleWith

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#incompatibleWith')

intersectionOf

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#intersectionOf')

inverseOf

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#inverseOf')

maxCardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#maxCardinality')

maxQualifiedCardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#maxQualifiedCardinality')

minCardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#minCardinality')

minQualifiedCardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#minQualifiedCardinality')

onDataRange

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#onDataRange')

onDatatype

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#onDatatype')

onProperties

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#onProperties')

onProperty

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#onProperty')

priorVersion

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#priorVersion')

propertyChainAxiom

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#propertyChainAxiom')

propertyDisjointWith

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#propertyDisjointWith')

qualifiedCardinality

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#qualifiedCardinality')

someValuesFrom

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#someValuesFrom')

sourceIndividual

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#sourceIndividual')

targetIndividual

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#targetIndividual')

targetValue

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#targetValue')

versionIRI

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#versionIRI')

versionInfo

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#versionInfo')

withRestrictions

Value:

rdflib.URIRef('http://www.w3.org/2002/07/owl#withRestrictions')