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, 4.0.0 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.term.URIRef(u'http://www...

AllDifferent = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

AllDisjointClasses = rdflib.term.URIRef(u'http://www.w3.org/20...

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

Annotation = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

AnnotationProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

AsymmetricProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

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

BottomDataProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

BottomObjectProperty = rdflib.term.URIRef(u'http://www.w3.org/...

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

DatatypeProperty = rdflib.term.URIRef(u'http://www.w3.org/2002...

DeprecatedClass = rdflib.term.URIRef(u'http://www.w3.org/2002/...

DeprecatedProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

FunctionalProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

InverseFunctionalProperty = rdflib.term.URIRef(u'http://www.w3...

IrreflexiveProperty = rdflib.term.URIRef(u'http://www.w3.org/2...

NamedIndividual = rdflib.term.URIRef(u'http://www.w3.org/2002/...

NegativePropertyAssertion = rdflib.term.URIRef(u'http://www.w3...

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

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

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

OWLpredicate = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

OWLsubject = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

ObjectProperty = rdflib.term.URIRef(u'http://www.w3.org/2002/0...

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

OntologyProperty = rdflib.term.URIRef(u'http://www.w3.org/2002...

ReflexiveProperty = rdflib.term.URIRef(u'http://www.w3.org/200...

Restriction = rdflib.term.URIRef(u'http://www.w3.org/2002/07/o...

SelfRestriction = rdflib.term.URIRef(u'http://www.w3.org/2002/...

SymmetricProperty = rdflib.term.URIRef(u'http://www.w3.org/200...

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

TopDataProperty = rdflib.term.URIRef(u'http://www.w3.org/2002/...

TopObjectProperty = rdflib.term.URIRef(u'http://www.w3.org/200...

TransitiveProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

__package__ = 'RDFClosure'

allValuesFrom = rdflib.term.URIRef(u'http://www.w3.org/2002/07...

annotatedProperty = rdflib.term.URIRef(u'http://www.w3.org/200...

annotatedSource = rdflib.term.URIRef(u'http://www.w3.org/2002/...

annotatedTarget = rdflib.term.URIRef(u'http://www.w3.org/2002/...

assertionProperty = rdflib.term.URIRef(u'http://www.w3.org/200...

backwardCompatibleWith = rdflib.term.URIRef(u'http://www.w3.or...

cardinality = rdflib.term.URIRef(u'http://www.w3.org/2002/07/o...

complementOf = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

datatypeComplementOf = rdflib.term.URIRef(u'http://www.w3.org/...

deprecated = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

differentFrom = rdflib.term.URIRef(u'http://www.w3.org/2002/07...

disjointClasses = rdflib.term.URIRef(u'http://www.w3.org/2002/...

disjointUnionOf = rdflib.term.URIRef(u'http://www.w3.org/2002/...

disjointWith = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

distinctMembers = rdflib.term.URIRef(u'http://www.w3.org/2002/...

equivalentClass = rdflib.term.URIRef(u'http://www.w3.org/2002/...

equivalentProperty = rdflib.term.URIRef(u'http://www.w3.org/20...

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

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

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

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

incompatibleWith = rdflib.term.URIRef(u'http://www.w3.org/2002...

intersectionOf = rdflib.term.URIRef(u'http://www.w3.org/2002/0...

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

maxCardinality = rdflib.term.URIRef(u'http://www.w3.org/2002/0...

maxQualifiedCardinality = rdflib.term.URIRef(u'http://www.w3.o...

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

minCardinality = rdflib.term.URIRef(u'http://www.w3.org/2002/0...

minQualifiedCardinality = rdflib.term.URIRef(u'http://www.w3.o...

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

onDataRange = rdflib.term.URIRef(u'http://www.w3.org/2002/07/o...

onDatatype = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

onProperties = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

onProperty = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

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

priorVersion = rdflib.term.URIRef(u'http://www.w3.org/2002/07/...

propertyChainAxiom = rdflib.term.URIRef(u'http://www.w3.org/20...

propertyDisjointWith = rdflib.term.URIRef(u'http://www.w3.org/...

qualifiedCardinality = rdflib.term.URIRef(u'http://www.w3.org/...

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

someValuesFrom = rdflib.term.URIRef(u'http://www.w3.org/2002/0...

sourceIndividual = rdflib.term.URIRef(u'http://www.w3.org/2002...

targetIndividual = rdflib.term.URIRef(u'http://www.w3.org/2002...

targetValue = rdflib.term.URIRef(u'http://www.w3.org/2002/07/o...

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

versionIRI = rdflib.term.URIRef(u'http://www.w3.org/2002/07/ow...

versionInfo = rdflib.term.URIRef(u'http://www.w3.org/2002/07/o...

withRestrictions = rdflib.term.URIRef(u'http://www.w3.org/2002...

Imports: rdflib, 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.term.URIRef(u'http://www.w3.org/2000/01/rdf-schema#label'),
 rdflib.term.URIRef(u'http://www.w3.org/2000/01/rdf-schema#comment'),
 rdflib.term.URIRef(u'http://www.w3.org/2000/01/rdf-schema#seeAlso'),
 rdflib.term.URIRef(u'http://www.w3.org/2000/01/rdf-schema#isDefinedBy
'),
 rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#deprecated'),
 rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#versionInfo'),
 rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#priorVersion'),
...

AllDifferent

Value:

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

AllDisjointClasses

Value:

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

AllDisjointProperties

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#AllDisjointProperti
es')

Annotation

Value:

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

AnnotationProperty

Value:

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

AsymmetricProperty

Value:

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

Axiom

Value:

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

BottomDataProperty

Value:

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

BottomObjectProperty

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#BottomObjectPropert
y')

DataRange

Value:

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

DatatypeProperty

Value:

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

DeprecatedClass

Value:

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

DeprecatedProperty

Value:

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

FunctionalProperty

Value:

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

InverseFunctionalProperty

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#InverseFunctionalPr
operty')

IrreflexiveProperty

Value:

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

NamedIndividual

Value:

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

NegativePropertyAssertion

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#NegativePropertyAss
ertion')

Nothing

Value:

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

OWLClass

Value:

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

OWLpredicate

Value:

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

OWLsubject

Value:

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

ObjectProperty

Value:

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

Ontology

Value:

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

OntologyProperty

Value:

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

ReflexiveProperty

Value:

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

Restriction

Value:

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

SelfRestriction

Value:

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

SymmetricProperty

Value:

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

Thing

Value:

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

TopDataProperty

Value:

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

TopObjectProperty

Value:

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

TransitiveProperty

Value:

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

allValuesFrom

Value:

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

annotatedProperty

Value:

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

annotatedSource

Value:

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

annotatedTarget

Value:

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

assertionProperty

Value:

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

backwardCompatibleWith

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#backwardCompatibleW
ith')

cardinality

Value:

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

complementOf

Value:

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

datatypeComplementOf

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#datatypeComplementO
f')

deprecated

Value:

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

differentFrom

Value:

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

disjointClasses

Value:

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

disjointUnionOf

Value:

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

disjointWith

Value:

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

distinctMembers

Value:

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

equivalentClass

Value:

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

equivalentProperty

Value:

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

hasKey

Value:

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

hasSelf

Value:

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

hasValue

Value:

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

imports

Value:

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

incompatibleWith

Value:

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

intersectionOf

Value:

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

inverseOf

Value:

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

maxCardinality

Value:

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

maxQualifiedCardinality

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#maxQualifiedCardina
lity')

members

Value:

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

minCardinality

Value:

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

minQualifiedCardinality

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#minQualifiedCardina
lity')

onClass

Value:

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

onDataRange

Value:

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

onDatatype

Value:

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

onProperties

Value:

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

onProperty

Value:

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

oneOf

Value:

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

priorVersion

Value:

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

propertyChainAxiom

Value:

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

propertyDisjointWith

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#propertyDisjointWit
h')

qualifiedCardinality

Value:

rdflib.term.URIRef(u'http://www.w3.org/2002/07/owl#qualifiedCardinalit
y')

sameAs

Value:

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

someValuesFrom

Value:

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

sourceIndividual

Value:

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

targetIndividual

Value:

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

targetValue

Value:

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

unionOf

Value:

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

versionIRI

Value:

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

versionInfo

Value:

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

withRestrictions

Value:

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