RDFClosure.OWLRL

Package RDFClosure :: Module OWLRL |
[hide private]
[frames] | no frames]

# Module OWLRL

source code

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')