o i%/@sdZddlZddlZddlmZddlmZddlmZm Z m Z m Z m Z m Z ddlmZmZmZmZmZddlmZeeZ gdZGd d d Zd e e eed d dZddZddZddZddZ dRddZ ddZ!GdddZ"GdddZ#e d Z$Gd!d"d"e#Z%Gd#d$d$e%Z&d%d&Z'd'd(Z(Gd)d*d*e Z)e*e d++ej,ej-ej.ej/ej0ej1ej2ej3ej4ej5ej6ej7g Z8d,d-Z9d.d/Z:Gd0d1d1e;ZGd6d7d7e%Z?Gd8d9d9Z@Gd:d;d;e@e?ZAej6ej5gZBGdd?d?ZDGd@dAdAe@e?ZEdBdCZFGdDdEdEe?ZGedFdGZHedHdGZIedIdGZJedJdGZKedKdGZLedLdGZMdMZNGdNdOdOe%ZOdSdPdQZPdS)TuzRDFLib Python binding for OWL Abstract Syntax OWL Constructor DL Syntax Manchester OWL Syntax Example ==================================================================================== intersectionOf C ∩ D C AND D Human AND Male unionOf C ∪ D C OR D Man OR Woman complementOf ¬ C NOT C NOT Male oneOf {a} ∪ {b}... {a b ...} {England Italy Spain} someValuesFrom ∃ R C R SOME C hasColleague SOME Professor allValuesFrom ∀ R C R ONLY C hasColleague ONLY Professor minCardinality ≥ N R R MIN 3 hasColleague MIN 3 maxCardinality ≤ N R R MAX 3 hasColleague MAX 3 cardinality = N R R EXACTLY 3 hasColleague EXACTLY 3 hasValue ∃ R {a} R VALUE a hasColleague VALUE Matthew see: http://www.w3.org/TR/owl-semantics/syntax.html http://owl-workshop.man.ac.uk/acceptedLong/submission_9.pdf 3.2.3 Axioms for complete classes without using owl:equivalentClass Named class description of type 2 (with owl:oneOf) or type 4-6 (with owl:intersectionOf, owl:unionOf or owl:complementOf Uses Manchester Syntax for __repr__ >>> exNs = Namespace("http://example.com/") >>> g = Graph() >>> g.bind("ex", exNs, override=False) Now we have an empty graph, we can construct OWL classes in it using the Python classes defined in this module >>> a = Class(exNs.Opera, graph=g) Now we can assert rdfs:subClassOf and owl:equivalentClass relationships (in the underlying graph) with other classes using the 'subClassOf' and 'equivalentClass' descriptors which can be set to a list of objects for the corresponding predicates. >>> a.subClassOf = [exNs.MusicalWork] We can then access the rdfs:subClassOf relationships >>> print(list(a.subClassOf)) [Class: ex:MusicalWork ] This can also be used against already populated graphs: >>> owlGraph = Graph().parse(str(OWL)) >>> list(Class(OWL.Class, graph=owlGraph).subClassOf) [Class: rdfs:Class ] Operators are also available. For instance we can add ex:Opera to the extension of the ex:CreativeWork class via the '+=' operator >>> a Class: ex:Opera SubClassOf: ex:MusicalWork >>> b = Class(exNs.CreativeWork, graph=g) >>> b += a >>> print(sorted(a.subClassOf, key=lambda c:c.identifier)) [Class: ex:CreativeWork , Class: ex:MusicalWork ] And we can then remove it from the extension as well >>> b -= a >>> a Class: ex:Opera SubClassOf: ex:MusicalWork Boolean class constructions can also be created with Python operators. For example, The | operator can be used to construct a class consisting of a owl:unionOf the operands: >>> c = a | b | Class(exNs.Work, graph=g) >>> c ( ex:Opera OR ex:CreativeWork OR ex:Work ) Boolean class expressions can also be operated as lists (using python list operators) >>> del c[c.index(Class(exNs.Work, graph=g))] >>> c ( ex:Opera OR ex:CreativeWork ) The '&' operator can be used to construct class intersection: >>> woman = Class(exNs.Female, graph=g) & Class(exNs.Human, graph=g) >>> woman.identifier = exNs.Woman >>> woman ( ex:Female AND ex:Human ) >>> len(woman) 2 Enumerated classes can also be manipulated >>> contList = [Class(exNs.Africa, graph=g), Class(exNs.NorthAmerica, graph=g)] >>> EnumeratedClass(members=contList, graph=g) { ex:Africa ex:NorthAmerica } owl:Restrictions can also be instantiated: >>> Restriction(exNs.hasParent, graph=g, allValuesFrom=exNs.Human) ( ex:hasParent ONLY ex:Human ) Restrictions can also be created using Manchester OWL syntax in 'colloquial' Python >>> exNs.hasParent @ some @ Class(exNs.Physician, graph=g) ( ex:hasParent SOME ex:Physician ) >>> Property(exNs.hasParent, graph=g) @ max @ Literal(1) ( ex:hasParent MAX 1 ) >>> print(g.serialize(format='pretty-xml')) # doctest: +SKIP N) Collection)Graph)OWLRDFRDFSXSD NamespaceNamespaceManager)BNode IdentifierLiteralURIRefVariable)first)%ACE_NS AllClasses AllDifferent AllPropertiesAnnotatableTerms BooleanClassCLASS_RELATIONSCallable CastClassClassClassNamespaceFactoryCommonNSBindingsComponentTermsDeepClassClearEnumeratedClassGetIdentifiedClasses IndividualInfixMalformedClassMalformedClassErrorOWLRDFListProxyOntologyPropertyPropertyAbstractSyntax RestrictionclassOrIdentifier classOrTermexactly generateQNamemanchesterSyntaxmaxminnsBindsonlypropertyOrIdentifiersomevaluec@s<eZdZddZddZddZddZd d Zd d Zd S)r!cC ||_dSNfunction)selfr8r:Q/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/rdflib/extras/infixowl.py__init__ zInfix.__init__cCt||fddS)NcS |||Sr6r7xr9otherr:r:r; z#Infix.__rlshift__..r!r9rBr:r:r; __rlshift__zInfix.__rlshift__cC ||Sr6r7rFr:r:r; __rshift__r=zInfix.__rshift__cCr>)NcSr?r6r7r@r:r:r;rCrDz#Infix.__rmatmul__..rErFr:r:r; __rmatmul__rHzInfix.__rmatmul__cCrIr6r7rFr:r:r; __matmul__r=zInfix.__matmul__cCs |||Sr6r7)r9value1value2r:r:r;__call__ zInfix.__call__N) __name__ __module__ __qualname__r<rGrJrKrLrOr:r:r:r;r!s r!z$http://www.w3.org/2004/02/skos/core#z$http://www.w3.org/2000/10/swap/list#z http://purl.org/dc/elements/1.1/)skosrdfrdfsowllistdccCs"|t|\}}}d||gSN:) compute_qnamer)join)graphuriprefix localnamer:r:r;r,sr,cCs(t|tr|jSt|tttfsJ|Sr6) isinstancer identifierr r r thingr:r:r;r*s r*cCs2t|ttfr |jSt|ttfsJd||S)Nz8Expecting a Class, Property, URIRef, or BNode.. not a %s)rbr&rrcr r rdr:r:r;r)s r)cCs"t|tr|jSt|tsJ|Sr6)rbr&rcr rdr:r:r;r2s r2Fcs|dusJ|r|rt|}fdd|D}ntt|}fddt|D}|tjkrg}g}|D]}t|trC||q6||q6|rfdd} t|dkrddd t | |d } nt |d } |rt | d d fd d|DS| Sdd dd|Dd S|tj krdddd|Dd S|tj krdddd|DdS|tjksJntjj|tjdvrZtj|tjdd } | \} } } d| | g}tj| tjd}|rd|}j|tjdD] }d|t |fSj|tjdD] }d|t |fSj|tjdD] }d|t |fStjdtjdtjdi}|t| dfD]\}}}d||||fStj|tjd}|rpdt |d Sd d!dt!D}|d"d#}t"d$|i}j#|d%|d&D]\}}t|tst ||d'Sqz|\} } } d| | g}Wn#t$yt|t%r|&YSt|t s|j'YS|YSwtt(|d(j}|r|S|S))z Core serialization thing is a Class and is processed as a subject store is an RDFLib Graph to be queried about thing Ncg|]}t|qSr:r-.0childstorer:r; sz$manchesterSyntax..crfr:rgrhrkr:r;rms cs|\}}}d||gSrZ)r\r])rAr`r_rarkr:r; castToQNamesz%manchesterSyntax..castToQNamez( z AND z )rz THAT csg|] }tt|qSr:)strr-)rirArkr:r;rmscSg|]}t|qSr:rpricr:r:r;rm%z OR cSrqr:rrrsr:r:r;rm'ruz{  cSrqr:rrrsr:r:r;rm)ruz }subject predicater[z'%s'z( %s ONLY %s )z( %s VALUE %s )z( %s SOME %s )MAXMINEQUALSz ( %s %s %s )z ( NOT %s ) cSsg|] }d|t|fqS)zPREFIX %s: <%s>)r0)rikr:r:r;rmEz6 SELECT ?p ?bool WHERE {?class a owl:Class; ?p ?bool .z?bool rdf:first ?foo }z?classsparql) processor initBindingsbooleanr^))iterrrintersectionOfrbr appendlenr]mapr-rpunionOfoneOf complementOfr(objectsrtyperX onPropertyr\rrlabel allValuesFromhasValuesomeValuesFrommaxCardinalityminCardinality cardinalitytriples_choiceskeysr0rquery Exceptionr n3rcr)rerlr transientList livechildrenchildren childlistnamedrjrnr`propr_ra propstringr onlyclassval someclass cardlookup_spocomplprologqstrinitbboolpropcolqnamer:rkr;r-s          "    r-ccs2|jtjtjdD] }t|trt|Vq dSN)ryobject)subjectsrrrrrbr r^rtr:r:r;r^s   rc@eZdZddZddZdS)TermDeletionHelpercCr5r6)r)r9rr:r:r;r<er=zTermDeletionHelper.__init__cfdd}|S)Ncs|j|jjdfdSr6)r^removercr)instr9r:r;_removeriz-TermDeletionHelper.__call__.._removerr:)r9frr:rr;rOhs zTermDeletionHelper.__call__NrQrRrSr<rOr:r:r:r;rd rc@seZdZdZeZddZdddZddZd d Z d d Z d dZ ddZ ddZ eejddZee e eZddZddZeeeZddZddZeejddZeeeeZdS) r zF A typed individual, the base class of the InfixOWL classes. cCs(|j|jddfD]}||q dSr6) factoryGraphtriplesrcaddr9r^factr:r:r; serializews zIndividual.serializeNcCs|dur|pt|_|dur|j|_n||_d|_t|jts?z|j|j\}}}d||g|_WdSt y>YdSwdSrZ) r _Individual__identifierrr^rrbrcr\r]r)r9rcr^r`r_rar:r:r;r<{s   zIndividual.__init__cCs|jdd|jfdS)za Remove references to this individual as an object in the backing store. Nr^rrcrr:r:r; clearInDegreeszIndividual.clearInDegreecCs|j|jddfdS)a& Remove all statements to this individual as a subject in the backing store. Note that this only removes the statements themselves, not the blank node closure so there is a chance that this will cause orphaned blank nodes to remain in the graph. Nrrr:r:r;clearOutDegreeszIndividual.clearOutDegreecCs||dS)z` Delete the individual from the graph, clearing the in and out degrees. N)rrrr:r:r;deletes zIndividual.deletecCsB|jdd|jfD]\}}}|j||t|fq |dS)a Replace the individual in the graph with the given other, causing all triples that refer to it to be changed and then delete the individual. >>> g = Graph() >>> b = Individual(OWL.Restriction, g) >>> b.type = RDFS.Resource >>> len(list(b.type)) 1 >>> del b.type >>> len(list(b.type)) 0 N)r^rrcrr)r)r9rBsr_or:r:r;replaces zIndividual.replacecc&|jj|jtjdD]}|Vq dSNrw)r^rrcrrr9_tr:r:r; _get_typezIndividual._get_typecCsn|sdSt|ttfr|j|jtjt|fdS|D]}t|ttfs'J|j|jtjt|fqdSr6) rbr r r^rrcrrr))r9kindrtr:r:r; _set_typeszIndividual._set_typecCdS)z >>> g = Graph() >>> b = Individual(OWL.Restriction, g) >>> b.type = RDFS.Resource >>> len(list(b.type)) 1 >>> del b.type >>> len(list(b.type)) 0 Nr:rr:r:r; _delete_type zIndividual._delete_typecC|jSr6)rrr:r:r;_get_identifierzIndividual._get_identifierc ssJjkrhddjjddfD}ddjddjfD}|D]\}}jj||fq)|D]\}}j||jfq:_jfdd|Djfdd|Dttszj\}}} d|| g_ WdSt yYdSwdS)NcSsg|] \}}}||fqSr:r:rirrrr:r:r;rmz.Individual._set_identifier..cSsg|] \}}}||fqSr:r:rr:r:r;rmrcsg|] \}}||jfqSr:r)rip1o1ir9r:r;rmcsg|] \}}||jfqSr:r)ris1rrr:r;rmrr[) rr^rraddNrbr r\r]rr) r9roldstatements_outoldstatements_inrrrr`r_rar:rr;_set_identifiers.     zIndividual._set_identifierccrr)r^rrcrsameAsrr:r:r; _get_sameAsrzIndividual._get_sameAscCsft|ttfr|j|jtjt|fdS|D]}t|ttfs#J|j|jtjt|fqdSr6) rbr r r^rrcrrr))r9termrtr:r:r; _set_sameAss zIndividual._set_sameAscCdSr6r:rr:r:r;_delete_sameAszIndividual._delete_sameAsNN)rQrRrS__doc__rrrr<rrrrrrrrrrpropertyrrrcrrrrrr:r:r:r;r os,      r z'http://attempto.ifi.uzh.ch/ace_lexicon#cseZdZdZ   dfdd ZddZdd Zd d Zd d Ze e j ddZ e eee Z ddZddZe e jddZe eeeZddZddZe e jddZe eeeZZS)ra Terms in an OWL ontology with rdfs:label and rdfs:comment ## Interface with ATTEMPTO (http://attempto.ifi.uzh.ch/site) ### Verbalisation of OWL entity IRIS #### How are OWL entity IRIs verbalized? The OWL verbalizer maps OWL entity IRIs to ACE content words such that - OWL individuals map to ACE proper names (PN) - OWL classes map to ACE common nouns (CN) - OWL properties map to ACE transitive verbs (TV) There are 6 morphological categories that determine the surface form of an IRI: - singular form of a proper name (e.g. John) - singular form of a common noun (e.g. man) - plural form of a common noun (e.g. men) - singular form of a transitive verb (e.g. mans) - plural form of a transitive verb (e.g. man) - past participle form a transitive verb (e.g. manned) The user has full control over the eventual surface forms of the IRIs but has to choose them in terms of the above categories. Furthermore, - the surface forms must be legal ACE content words (e.g. they should not contain punctuation symbols); - the mapping of IRIs to surface forms must be bidirectional within the same word class, in order to be able to (if needed) parse the verbalization back into OWL in a semantics preserving way. ### Using the lexicon It is possible to specify the mapping of IRIs to surface forms using the following annotation properties: .. code-block:: none http://attempto.ifi.uzh.ch/ace_lexicon#PN_sg http://attempto.ifi.uzh.ch/ace_lexicon#CN_sg http://attempto.ifi.uzh.ch/ace_lexicon#CN_pl http://attempto.ifi.uzh.ch/ace_lexicon#TV_sg http://attempto.ifi.uzh.ch/ace_lexicon#TV_pl http://attempto.ifi.uzh.ch/ace_lexicon#TV_vbg For example, the following axioms state that if the IRI "#man" is used as a plural common noun, then the wordform men must be used by the verbalizer. If, however, it is used as a singular transitive verb, then mans must be used. .. code-block:: none #man men #man mans NFcsLtt||||r"||j||fg|j_|r$|g|_dSdSdSr6) superrr<setupACEAnnotationsrchandleAnnotation PN_sgpropextentr)r9rcr^nameAnnotation nameIsLabel __class__r:r;r<Ss zAnnotatableTerms.__init__cCst|tr|St|Sr6)rbr )r9rr:r:r;rcsz!AnnotatableTerms.handleAnnotationcCs|jjdtddttjtj|jd|_ttjtj|jd|_ ttj tj|jd|_ ttj tj|jd|_ ttjtj|jd|_ttjtj|jd|_dS)NaceFoverride)baseTyper^)r^bindrr&PN_sgrAnnotationPropertyrCN_sg CN_sgpropCN_pl CN_plpropTV_sg tv_sgpropTV_pl tv_plpropTV_vbg tv_vbgproprr:r:r;rfs&       z$AnnotatableTerms.setupACEAnnotationsccrr)r^rrcrcomment)r9r r:r:r; _get_comment  zAnnotatableTerms._get_commentcCP|sdSt|tr|j|jtj|fdS|D] }|j|jtj|fqdSr6)rbr r^rrcrr )r9r rtr:r:r; _set_comment zAnnotatableTerms._set_commentcCrr6r:rr:r:r; _del_commentrzAnnotatableTerms._del_commentccrr)r^rrcrseeAlso)r9seealsor:r:r; _get_seealsorzAnnotatableTerms._get_seealsocCs,|sdS|D] }|j|jtj|fqdSr6)r^rrcrr)r9seealsosrr:r:r; _set_seealsos zAnnotatableTerms._set_seealsocCrr6r:rr:r:r; _del_seealsorzAnnotatableTerms._del_seealsoccrr)r^rrcrr)r9rr:r:r; _get_labelrzAnnotatableTerms._get_labelcCrr6)rbr r^rrcrr)r9rl_r:r:r; _set_labelrzAnnotatableTerms._set_labelcCr)z >>> g = Graph() >>> b = Individual(OWL.Restriction,g) >>> b.label = Literal('boo') >>> len(list(b.label)) 1 >>> del b.label >>> len(list(b.label)) 0 Nr:rr:r:r; _delete_labelrzAnnotatableTerms._delete_label)NNF)rQrRrSrr<rrrrrrr rrrrrrrrrr __classcell__r:r:rr;r s.L!      rcsZeZdZdZdfdd ZddZddZd d Zee d d d Z e eee Z Z S)r%zThe owl ontology metadataNcsltt||||durgn||_|durgn||_|jtjtjf|j vr4|j |jtjtjfdSdSr6) rr%r<importsr rcrrrr^r)r9rcrr r^rr:r;r<s zOntology.__init__cCs|j|jtj|fdSr6)r^setrcr versionInfo)r9versionr:r:r; setVersionrzOntology.setVersionccs(|jj|jtddD]}|Vq dS)Nrrw)r^rrcr)r9rWr:r:r; _get_importss   zOntology._get_importscCs.|sdS|D]}|j|jtd|fqdS)Nr)r^rrcr)r9rBrr:r:r; _set_importss zOntology._set_importsrcCrr6r:rr:r:r; _del_importsrzOntology._del_imports)NNNN)rQrRrSrr<r#r$r%rrr&rrrr:r:rr;r%s  r%ccs,t|jtjtjdD]}t|Vq dSr)r rrrrrrr:r:r;rs rc cst}|dtjtjtjtjtjtj tj tj gfD])\}}}|tjtjtjtj fvr0tj }ntj }||vrD| |t |||dVqdS)Nr^r)r rrrrSymmetricPropertyFunctionalPropertyInverseFunctionalPropertyTransitivePropertyDatatypePropertyObjectPropertyrrr&)r^ prevpropsr_prbTyper:r:r;rs8 rc@s&eZdZddZdddZddZdS) rcCstt||Sr6)rr r9namer:r:r;rzClassNamespaceFactory.termNcCrIr6)r)r9keydefaultr:r:r; __getitem__r=z!ClassNamespaceFactory.__getitem__cCs|drt||S)N__) startswithAttributeErrorrr1r:r:r; __getattr__s  z!ClassNamespaceFactory.__getattr__r6)rQrRrSrr6r:r:r:r:r;rs  rz0http://www.w3.org/2002/07/owl#resourcePropertiesccsptj|jvrHz6t|tj}|j|jtjtj gdfD]\}}}t |dd}t |t r7t |D]}|Vq0q|VqWdStyGYdSwt|tj}t |trt|D]}t |dd}t |jt rnt |D]}|VqgqU|VqUdS|jD]}t |jt rt |D]}|Vqqw|Vqw|jt|tdfD]\}}}t |t rt t|tjD]}|Vqq|VqdS)z Takes a Class instance and returns a generator over the classes that are involved in its definition, ignoring unnamed classes NTskipOWLClassMembership)rr(rrr rrrcrrrrbr rrr subClassOfr)r)clsrr/inner_class_id inner_class_c_clsrr:r:r;r2sT                rcCsdd}t|tj}|jD]}||q |j|jtjdf|jD]}||q"|j|jt jdf|j }|rH|j|jt j df||t |t rg|D]}||qO| |j|j|jdfdSdS)a Recursively clear the given class, continuing where any related class is an anonymous class >>> EX = Namespace("http://example.com/") >>> g = Graph() >>> g.bind("ex", EX, override=False) >>> Individual.factoryGraph = g >>> classB = Class(EX.B) >>> classC = Class(EX.C) >>> classD = Class(EX.D) >>> classE = Class(EX.E) >>> classF = Class(EX.F) >>> anonClass = EX.someProp @ some @ classD >>> classF += anonClass >>> list(anonClass.subClassOf) [Class: ex:F ] >>> classA = classE | classF | anonClass >>> classB += classA >>> classA.equivalentClass = [Class()] >>> classB.subClassOf = [EX.someProp @ some @ classC] >>> classA ( ex:E OR ex:F OR ( ex:someProp SOME ex:D ) ) >>> DeepClassClear(classA) >>> classA ( ) >>> list(anonClass.subClassOf) [] >>> classB Class: ex:B SubClassOf: ( ex:someProp SOME ex:C ) >>> otherClass = classD | anonClass >>> otherClass ( ex:D OR ( ex:someProp SOME ex:D ) ) >>> DeepClassClear(otherClass) >>> otherClass ( ) >>> otherClass.delete() >>> list(g.triples((otherClass.identifier, None, None))) [] cSstt|tr t|dSdSr6)rbr)r r)_classr:r:r;deepClearIfBNodes z(DeepClassClear..deepClearIfBNodeN)rr rr=r^rrcrequivalentClassrrrbrclear _operator)class_to_prunerDrt inverse_classr:r:r;r`s(+        rc@seZdZdZdS)r"zc .. deprecated:: TODO-NEXT-VERSION This class will be removed in version ``7.0.0``. N)rQrRrSrr:r:r:r;r"sr"c@r)r#cCr5r6msg)r9rKr:r:r;r<r=zMalformedClassError.__init__cCrr6rJrr:r:r;__repr__rzMalformedClassError.__repr__N)rQrRrSr<rLr:r:r:r;r#rr#c CsZ|dur|jp|}|jt|tjdD]}|tjkrmt||d}|t|ddfD]'\}}}|tjkrR|tjkr?||d<q+|tj vrEq+||t | t td<q+t ddtj D |sdtdtd i|S|t|tjtjtjgdfD]"\}}}|tjkrtt||dStt|||d Stt||d d SdS) Nrw)rcr^rcSs"g|] }t|ttdqS)rM)rpsplitr)rirr:r:r;rms"zCastClass..zMalformed owl:Restrictionr)operatorr^Tr^r<r:)rrr)rrrr(rrrestrictionKindsrprNr  intersectionr#rrrrrrr)rtr^rkwargsrrrrr:r:r;rs<      rcseZdZdZddZddZddZ          dIfd d ZdJd d ZddZ e e j ddZ eee e ZejfddZeeddZddZddZeeeZddZddZddZd d!Zd"d#Zd$d%Zd&d'Zd(d)Zd*d+Ze ej d,d-Z!eeee!Z d.d/Z"d0d1Z#e e$j%d2d3Z&ee"e#e&Z%d4d5Z'd6d7Z(e e$j)d8d9Z*ee'e(e*Z)d:d;Z+dd?Z.ee+e,e.Z-d@dAZ/ee/Z0dBdCZ1dDdEZ2dKdGdHZ3Z4S)Lrul 'General form' for classes: The Manchester Syntax (supported in Protege) is used as the basis for the form of this class See: http://owl-workshop.man.ac.uk/acceptedLong/submission_9.pdf: [Annotation] ‘Class:’ classID {Annotation ( (‘SubClassOf:’ ClassExpression) | (‘EquivalentTo’ ClassExpression) | (’DisjointWith’ ClassExpression)) } Appropriate excerpts from OWL Reference: ".. Subclass axioms provide us with partial definitions: they represent necessary but not sufficient conditions for establishing class membership of an individual." ".. A class axiom may contain (multiple) owl:equivalentClass statements" "..A class axiom may also contain (multiple) owl:disjointWith statements.." "..An owl:complementOf property links a class to precisely one class description." cCs||jD] }t||j|q|jD] }t||j|q|jD] }t||j|q!|jrcCstdtj|jfS)NCLASS)rrrrcrr:r:r;_get_extentqueryKrHzClass._get_extentquerycCrr6r:rFr:r:r;_set_extentqueryNzClass._set_extentquerycC t|jS)z} >>> b = Class(OWL.Restriction) >>> c = Class(OWL.Restriction) >>> len(set([b,c])) 1 )hashrcrr:r:r;__hash__Ss zClass.__hash__cCs"t|ts Jt||j|jkSr6)rbrreprrcrFr:r:r;__eq__\s z Class.__eq__cCst|tsJ|g|_|Sr6)rbrr=rFr:r:r;__iadd__`szClass.__iadd__cCs,t|tsJ|jt|tj|jf|Sr6)rbrr^rr)rr=rcrFr:r:r;__isub__eszClass.__isub__cCs t|dS)z@ Shorthand for Manchester syntax's not operator )r)rrr:r:r; __invert__js zClass.__invert__cCttj||g|jdS)z Construct an anonymous class description consisting of the union of this class and 'other' and return it rOmembersr^)rrrr^rFr:r:r;__or__psz Class.__or__cCrq)a Construct an anonymous class description consisting of the intersection of this class and 'other' and return it Chaining 3 intersections >>> exNs = Namespace("http://example.com/") >>> g = Graph() >>> g.bind("ex", exNs, override=False) >>> female = Class(exNs.Female, graph=g) >>> human = Class(exNs.Human, graph=g) >>> youngPerson = Class(exNs.YoungPerson, graph=g) >>> youngWoman = female & human & youngPerson >>> youngWoman # doctest: +SKIP ex:YoungPerson THAT ( ex:Female AND ex:Human ) >>> isinstance(youngWoman, BooleanClass) True >>> isinstance(youngWoman.identifier, BNode) True rr)rrrr^rFr:r:r;__and__ysz Class.__and__ccs2|jj|jtjdD] }t||jddVq dS)NrwTrP)r^rrcrr=rr9ancr:r:r;_get_subclassof  zClass._get_subclassofcC0|sdS|D]}|j|jtjt|fqdSr6)r^rrcrr=r)r9rBscr:r:r;_set_subclassofrazClass._set_subclassofcCrr6r:rr:r:r;_del_subclassofrzClass._del_subclassofcc0|jj|jtjdD] }t||jdVq dSNrwr)r^rrcrrEr)r9ecr:r:r;_get_equivalentclass  zClass._get_equivalentclasscCrzr6)r^rrcrrEr)r{r:r:r;_set_equivalentclasszClass._set_equivalentclasscCrr6r:rr:r:r;_del_equivalentclassrzClass._del_equivalentclassccrr)r^rrcrrTr)r9rYr:r:r;_get_disjointwithrzClass._get_disjointwithcCrzr6)r^rrcrrTr))r9rBrtr:r:r;_set_disjointwithrazClass._set_disjointwithcCrr6r:rr:r:r;_del_disjointwithrzClass._del_disjointwithcCsJt|jj|jtjd}|sdSt|dkrt|d|jdStt|)Nrwrorr) rXr^rrcrrrrr)r9compr:r:r;_get_complementofs  zClass._get_complementofcC&|sdS|j|jtjt|fdSr6)r^rrcrrr)rFr:r:r;_set_complementofzClass._set_complementofcCrr6r:rr:r:r;_del_complementofrzClass._del_complementofccst|j|jD]}|Vq t|jtj|j}|rFt |j tj |}|r-|d}n|}|jt j |D]}t|trEt|ddVq7|j|jt jD]}t|g|jdD]}t|trgt|ddVqYqOdS)a computed attributes that returns a generator over taxonomic 'parents' by disjunction, conjunction, and subsumption >>> from rdflib.util import first >>> exNs = Namespace('http://example.com/') >>> g = Graph() >>> g.bind("ex", exNs, override=False) >>> Individual.factoryGraph = g >>> brother = Class(exNs.Brother) >>> sister = Class(exNs.Sister) >>> sibling = brother | sister >>> sibling.identifier = exNs.Sibling >>> sibling ( ex:Brother OR ex:Sister ) >>> first(brother.parents) Class: ex:Sibling EquivalentTo: ( ex:Brother OR ex:Sister ) >>> parent = Class(exNs.Parent) >>> male = Class(exNs.Male) >>> father = parent & male >>> father.identifier = exNs.Father >>> list(father.parents) [Class: ex:Parent , Class: ex:Male ] rMTr;rN) itertoolschainr=rErrrrrcrXtransitive_subjectsrestrrrbr rrrr$)r9parentlink siblingslistcollectionhead disjointclassrdf_listr]r:r:r; _get_parentss,   zClass._get_parentscCs~|jtjtjf|jvr dSt|j}|j|jtj tj gdfD]\}}}| t ||j|dq |D]}dS|j r=dSdS)NFrT)rcrrrr(r^rXrErrrrr-r)r9r _boolclassrr_er:r:r; isPrimitives zClass.isPrimitiveccs&|jjtj|jdD]}|Vq dSr)r^rrr=rc)r9rr:r:r; subSumpteeIds'rzClass.subSumpteeIdsTcs*g}tj}tj}jjtjtjgdfD]\}}}| t |j|dqtj } j } | r:| | d} tj jtj} | rQd| ddpRd} |r|rZd} nd} fd d |D}|rkd | } | d | d d |D|rd|d|d<|rfdd |D}|rd| } | dd||rd|d|d<| r| ddfdd | D|rd|d|d<tj jtj}|r|r| rd| |rd|dpdd|pd|}n|r|rd|dpdpdd|}tjtrdpdj|S)I Returns the Manchester Syntax equivalent for this class Nr(r)z z, csBg|]}t|trtjtrtt|jptt|jqSr:) rbrrcr rlrr^r-r)rirrr:r;rmGs z"Class.__repr__..zPrimitive Type %szSubClassOf: %scSrqr:rr)rinr:r:r;rmUruz rMcs*g|]}t|tr |ptt|jqSr:)rbrpr-r)r^rrr:r;rmZs zA Defined Class %szEquivalentTo: %szDisjointWith %s z csg|] }tt|jqSr:)r-r)r^rrr:r;rmirz ## %s ##z %sz . z Some Class z Class: %s )rXr=rEr^rrcrrrrr-rTrrrrr]r rbr r)r9full normalizationexprsr|rrrrrYrt klasskindrscjoinnec_statementsnec_suff_statementsdescr klassdescrr:rr;rL0s          zClass.__repr__) NNNNNNFNNNFr6)FT)5rQrRrSrrVrr[r<r^r`rrrrbrrrrrdrcrfrg extentQueryrkrmrnrorprtrurxr}r=r~rrrrErrrrTrrrrrrparentsrrrLrr:r:rr;rs            . rc@sneZdZdddZddZddZdd Zd d Zd d ZddZ ddZ ddZ ddZ ddZ ddZdS)r$NcCs|r||_|dur gn|}|r,t|j|d|_|D]}||jvr)|jt|qdSt|jtdd|D|_|j|j|j|jj fdS)NrcSrqr:)r))rir_r:r:r;rmruz,OWLRDFListProxy.__init__..) r^r_rdfListrr)r rrcrGr_)r9rrsr^r]r:r:r;r<s zOWLRDFListProxy.__init__cCs|t|tsJt|tt|t|tr8t|}|t|kr"dSt|D]}||||kr3dSdSdS|j|jkS)zo Equivalence of boolean class constructors is determined by equivalence of its members FTN)rbrrlrrrrangerc)r9rBlengthidxr:r:r;rms"    zOWLRDFListProxy.__eq__cCrir6)rrrr:r:r;__len__r=zOWLRDFListProxy.__len__cCs|jt|Sr6)rindexr)r9itemr:r:r;rr3zOWLRDFListProxy.indexcCs |j|Sr6rr9r4r:r:r;r6r=zOWLRDFListProxy.__getitem__cCst||j|<dSr6)r)r)r9r4r4r:r:r; __setitem__rHzOWLRDFListProxy.__setitem__cCs |j|=dSr6rrr:r:r; __delitem__rPzOWLRDFListProxy.__delitem__cCs|jdSr6)rrFrr:r:r;rFszOWLRDFListProxy.clearccs|jD]}|VqdSr6rrr:r:r;__iter__s zOWLRDFListProxy.__iter__cCs"|jD] }|t|krdSqdS)Nror)rr))r9rrr:r:r; __contains__s  zOWLRDFListProxy.__contains__cCs|j|dSr6)rrrr:r:r;rr3zOWLRDFListProxy.appendcCs|jt||Sr6)rrr)rFr:r:r;rnszOWLRDFListProxy.__iadd__r)rQrRrSr<rmrrr6rrrFrrrrnr:r:r:r;r$s  r$c@s8eZdZdZejZddZd ddZddZ d d Z dS) ra Class for owl:oneOf forms: OWL Abstract Syntax is used axiom ::= 'EnumeratedClass(' classID ['Deprecated'] { annotation } { individualID } ')' >>> exNs = Namespace("http://example.com/") >>> g = Graph() >>> g.bind("ex", exNs, override=False) >>> Individual.factoryGraph = g >>> ogbujiBros = EnumeratedClass(exNs.ogbujicBros, ... members=[exNs.chime, ... exNs.uche, ... exNs.ejike]) >>> ogbujiBros # doctest: +SKIP { ex:chime ex:uche ex:ejike } >>> col = Collection(g, first( ... g.objects(predicate=OWL.oneOf, subject=ogbujiBros.identifier))) >>> sorted([g.qname(item) for item in col]) ['ex:chime', 'ex:ejike', 'ex:uche'] >>> print(g.serialize(format='n3')) # doctest: +SKIP @prefix ex: . @prefix owl: . @prefix rdf: . ex:ogbujicBros a owl:Class; owl:oneOf ( ex:chime ex:uche ex:ejike ) . cCrNFr:rr:r:r;rrhzEnumeratedClass.isPrimitiveNcCsJtj|||d|durgn|}t|jjtj|jd}t|||dS)Nrryrx) rr<rXr^rrrrcr$)r9rcrsr^rdfListr:r:r;r<s zEnumeratedClass.__init__cCst|jj|j|jdSrr)r-rr_r^rGrr:r:r;rLszEnumeratedClass.__repr__cCt|t}|jD]}||t||j|q ||j|j |j f|j |jddfD]\}}}||j krA||||fq/| |dSr6 rr rrrr^rrrcrGr_rrVr9r^ clonedlistrUrrrr:r:r;rs    zEnumeratedClass.serialize)NNN) rQrRrSrrrrGrr<rLrr:r:r:r;rs!  rc@s eZdZdZddZddZdS)BooleanClassExtentHelpera` >>> testGraph = Graph() >>> Individual.factoryGraph = testGraph >>> EX = Namespace("http://example.com/") >>> testGraph.bind("ex", EX, override=False) >>> fire = Class(EX.Fire) >>> water = Class(EX.Water) >>> testClass = BooleanClass(members=[fire, water]) >>> testClass2 = BooleanClass( ... operator=OWL.unionOf, members=[fire, water]) >>> for c in BooleanClass.getIntersections(): ... print(c) # doctest: +SKIP ( ex:Fire AND ex:Water ) >>> for c in BooleanClass.getUnions(): ... print(c) #doctest: +SKIP ( ex:Fire OR ex:Water ) cCr5r6rO)r9rOr:r:r;r<#r=z!BooleanClassExtentHelper.__init__cr)Nc3s*tjjD] }t|jdVqdS)Nr)r rrrOr)rtrr:r; _getExtent'sz5BooleanClassExtentHelper.__call__.._getExtentr:)r9rrr:rr;rO&s z!BooleanClassExtentHelper.__call__N)rQrRrSrr<rOr:r:r:r;rs rc@r)rcCr5r6_callfn)r9 anycallabler:r:r;r</r=zCallable.__init__cOs|j|i|Sr6r)r9argsrSr:r:r;rO2r3zCallable.__call__Nrr:r:r:r;r.rrc@seZdZdZeejeddZeeZeej eddZ ee Z dejddfddZ d d Z d d Z d dZddZddZddZdS)rzm See: http://www.w3.org/TR/owl-ref/#Boolean owl:complementOf is an attribute of Class, however cCrr6r:r:r:r:r;getIntersections>zBooleanClass.getIntersectionscCrr6r:r:r:r:r; getUnionsErzBooleanClass.getUnionsNc Cs|dur+g}||tjtjgdfD] \}}}|||}qt|dks+Jt|tj|||d|tjtjfvsAJt |||_ t |j j ||jd} |rW| rWJdt|| |dS)Nrorrz-This is a previous boolean class description.)rrrrrrrlrr<rprGrXr^rrcr$) r9rcrOrsr^propsrrrrr:r:r;r<Ls& zBooleanClass.__init__cCst|jt||jd}|S)z- Create a copy of this class rr)rrGrXr^)r9 copy_of_classr:r:r;copy`szBooleanClass.copycCrr6rrr:r:r;ris    zBooleanClass.serializecCrrr:rr:r:r;rvrhzBooleanClass.isPrimitivecCsN||jks Jd|j|j|j|jjf|j|j||jjf||_dS)a Converts a unionOf / intersectionOf class expression into one that instead uses the given operator >>> testGraph = Graph() >>> Individual.factoryGraph = testGraph >>> EX = Namespace("http://example.com/") >>> testGraph.bind("ex", EX, override=False) >>> fire = Class(EX.Fire) >>> water = Class(EX.Water) >>> testClass = BooleanClass(members=[fire,water]) >>> testClass ( ex:Fire AND ex:Water ) >>> testClass.changeOperator(OWL.unionOf) >>> testClass ( ex:Fire OR ex:Water ) >>> try: ... testClass.changeOperator(OWL.unionOf) ... except Exception as e: ... print(e) # doctest: +SKIP The new operator is already being used! z'The new operator is already being used!N)rGr^rrcrr_r)r9 newOperatorr:r:r;changeOperatorys zBooleanClass.changeOperatorcCs(tt|jtr |jjnt|j|jdSr)r-rbrrr_r r^rGrr:r:r;rLs zBooleanClass.__repr__cCs$|jtjksJ|jt||S)z9 Adds other to the list and returns self )rGrrrrr)rFr:r:r;rtszBooleanClass.__or__)rQrRrSrrrrrrrrr<rrrrrLrtr:r:r:r;r6s$       rcCr)zk TODO: implement this function DisjointClasses(' description description { description } ')' Nr:)rsr:r:r;rsrcseZdZdZejejejejej ej gZ        d;fdd Z ddZ ddZd d Zd d Zd dZddZeejddZeeeeZddZddZeejddZeeeeZddZddZeejddZeeeeZdd Zd!d"Zeejd#d$ZeeeeZd%d&Z d'd(Z!eejd)d*Z"ee e!e"Zd+d,Z#d-d.Z$eej d/d0Z%ee#e$e%Z d1d2Z&d3d4Z'eej d5d6Z(ee&e'e(Z d7d8Z)d9d:Z*Z+S).z{Missing value. One of: allValuesFrom, someValuesFrom,value, cardinality, maxCardinality or minCardinalitymust have a value.)rrr(r<rcrrr2rrrrrrrr ValueErrorpoprestrictionTyperbr restrictionRangerr)rr^rrrr)r9rr^rrr4rrrrc restr_typesvalid_restr_propsrestriction_rangerestriction_typerr:r;r<s^     zRestriction.__init__cCsnt|j|jdd||j|jddfD]\}}}||||f|tjtj fvr4t ||j|qdS)a, >>> g1 = Graph() >>> g2 = Graph() >>> EX = Namespace("http://example.com/") >>> g1.bind("ex", EX, override=False) >>> g2.bind("ex", EX, override=False) >>> Individual.factoryGraph = g1 >>> prop = Property(EX.someProp, baseType=OWL.DatatypeProperty) >>> restr1 = (Property( ... EX.someProp, ... baseType=OWL.DatatypeProperty)) @ some @ (Class(EX.Foo)) >>> restr1 # doctest: +SKIP ( ex:someProp SOME ex:Foo ) >>> restr1.serialize(g2) >>> Individual.factoryGraph = g2 >>> list(Property( ... EX.someProp,baseType=None).type ... ) #doctest: +NORMALIZE_WHITESPACE +SKIP [rdflib.term.URIRef( 'http://www.w3.org/2002/07/owl#DatatypeProperty')] Nr') r&rr^rrrcrrrrr)r9r^rrrr:r:r;rszRestriction.serializecCrrr:rr:r:r;r rhzRestriction.isPrimitivecCst|j|jfSr6)rjrrrr:r:r;rk#r3zRestriction.__hash__cCsHt|tsJt|tt|t|tr"|j|jko!|j|jkSdS)z Equivalence of restrictions is determined by equivalence of the property in question and the restriction 'range' F)rbrrlrr(rrrrFr:r:r;rm&s "   zRestriction.__eq__cCst|jj|jtjddS)Nrwr)rXr^rrcrrrr:r:r;_get_onproperty4s zRestriction._get_onpropertycC8|sdS|jtjt|f}||jvrdS|j|dSr6)rcrrr2r^r )r9rtripler:r:r;_set_onproperty9  zRestriction._set_onpropertycCrr6r:rr:r:r;_del_onpropertyBrzRestriction._del_onpropertycC.|jj|jtjdD] }t||jdSdSr)r^rrcrrrr9rr:r:r;_get_allvaluesfromJ  zRestriction._get_allvaluesfromcCrr6)rcrrr)r^r r9rBrr:r:r;_set_allvaluesfromQrzRestriction._set_allvaluesfromcCrr6r:rr:r:r;_del_allvaluesfromZrzRestriction._del_allvaluesfromcCrr)r^rrcrrrrr:r:r;_get_somevaluesfrombrzRestriction._get_somevaluesfromcCrr6)rcrrr)r^r rr:r:r;_set_somevaluesfromirzRestriction._set_somevaluesfromcCrr6r:rr:r:r;_del_somevaluesfromrrzRestriction._del_somevaluesfromcCrr)r^rrcrrrrr:r:r; _get_hasvaluezzRestriction._get_hasvaluecCrr6)rcrrr)r^r rr:r:r; _set_hasvaluerzRestriction._set_hasvaluecCrr6r:rr:r:r; _del_hasvaluerzRestriction._del_hasvaluecCrr)r^rrcrrrrr:r:r;_get_cardinalityrzRestriction._get_cardinalitycCrr6)rcrrr*r^r rr:r:r;_set_cardinalityrzRestriction._set_cardinalitycCrr6r:rr:r:r;_del_cardinalityrzRestriction._del_cardinalitycCrr)r^rrcrrrrr:r:r;_get_maxcardinalityrzRestriction._get_maxcardinalitycCrr6)rcrrr*r^r rr:r:r;_set_maxcardinalityrzRestriction._set_maxcardinalitycCrr6r:rr:r:r;_del_maxcardinalityrzRestriction._del_maxcardinalitycCrr)r^rrcrrrrr:r:r;_get_mincardinalityrzRestriction._get_mincardinalitycCrr6)rcrrr)r^r rr:r:r;_set_mincardinalityrzRestriction._set_mincardinalitycCrr6r:rr:r:r;_del_mincardinalityrzRestriction._del_mincardinalitycCs:|j|j|jdfD]\}}}|ttdSdS)NrM)r^rrcrQrNrpr)r9rrrr:r:r;restrictionKinds  zRestriction.restrictionKindcCst|j|jS)zO Returns the Manchester Syntax equivalent for this restriction )r-rcr^rr:r:r;rLszRestriction.__repr__)NNNNNNNN),rQrRrSrrrrrrrrrQr<rrrkrmrrrrrrrrrrrrrrrrrrrrrrrrrrLrr:r:rr;r(s  =         r(cCt||j|dS)N)r^rr(r^rrCr:r:r;rCrCcCr)N)r^rrrr:r:r;rCrcCt||j|dS)N)r^rrrr:r:r;rCrcCr)N)r^rrrr:r:r;rCrcCr)N)r^rrrr:r:r;rCrcCr)N)r^r4rrr:r:r;rCrzh %s( %s { %s } %s { 'super(' datavaluedPropertyID ')'} ['Functional'] { domain( %s ) } { range( %s ) } )c s2eZdZdZddZddejddddddddddf fdd Zdd Zd*d d Z d d Z e e e Z ddZ ddZddZeejddZe eeeZddZddZeejddZe eeeZddZddZeejd d!Ze eeeZd"d#Zd$d%Zeejd&d'Ze eeeZd(d)Z Z!S)+r&a axiom ::= 'DatatypeProperty(' datavaluedPropertyID ['Deprecated'] { annotation } { 'super(' datavaluedPropertyID ')'} ['Functional'] { 'domain(' description ')' } { 'range(' dataRange ')' } ')' | 'ObjectProperty(' individualvaluedPropertyID ['Deprecated'] { annotation } { 'super(' individualvaluedPropertyID ')' } [ 'inverseOf(' individualvaluedPropertyID ')' ] [ 'Symmetric' ] [ 'Functional' | 'InverseFunctional' | 'Functional' 'InverseFunctional' | 'Transitive' ] { 'domain(' description ')' } { 'range(' description ')' } ') cCsxt|tr |\}}}n|}|}|}|r|j||fg|j_|r+|j||fg|j_|r:|j||fg|j_dSdS)a OWL properties map to ACE transitive verbs (TV) There are 6 morphological categories that determine the surface form of an IRI: singular form of a transitive verb (e.g. mans) plural form of a transitive verb (e.g. man) past participle form a transitive verb (e.g. manned) http://attempto.ifi.uzh.ch/ace_lexicon#TV_sg http://attempto.ifi.uzh.ch/ace_lexicon#TV_pl http://attempto.ifi.uzh.ch/ace_lexicon#TV_vbg N)rbrWrcrrrr r )r9verb_annotationsrr tv_vbgr:r:r;setupVerbAnnotations s  zProperty.setupVerbAnnotationsNFcstt|||| | | r|| t|jtrJ|dur+tt|j|j dj |_ n|jt j |f|j vr@|j |jt j |f||_ ||_||_||_||_| durXg|_dS| |_dS)Nr)rr&r<rrbrcr rr r^r _baseTyperr subPropertyOf inverseOfdomainrr )r9rcr^rrrrr otherTypeequivalentPropertyr verbAnnotationsrrrr:r;r<0s zProperty.__init__cCsp|j|jddfD]}||q t|j|jD]}||qt|j |j D] }t ||j|q*dSr6) r^rrcrrrrrrrrr)r9r^rrrtr:r:r;rRs  zProperty.serializeccs2|dur|jp |d|jdfD]}|VqdSr6)r^rrc)r9r^rr:r:r;r^Zs  zProperty._get_extentcCs.|sdS|D]\}}|j||j|fqdSr6)r^rrc)r9rBsubjobjr:r:r;r``s  zProperty._set_extentcsg}tjjvrv|djtjrtjpdftjrPttjj}|r8|jjkr8tjj}nt tj}|d|tj jvrKdpLdfj jt jtjtjtjgfD]\}}}|t|ttdqan+|djtjrtjpdfj jt jtjfD] \}}}|dqdd |d fd d jD|d fd d jD|d fdd jDddd |D}|d7}|S)Nz!ObjectProperty( %s annotation(%s)rz inverseOf( %s )%sz SymmetricrMzDatatypeProperty( %s %sz FunctionalcSsVt|}t|tr |S|trt|St||tj tj gdfr&t |St|j Sr6) r)rbr r8rrprrrrrrlr)rgnormalized_namer:r:r; canonicalNames   z(Property.__repr__..canonicalNamervcg|] }d|jqS)z super( %s )r)risuper_propertyrr9r:r;rmz%Property.__repr__..cr)z domain( %s )r)rirrr:r;rmrcr)z range( %s )r)rirrr:r;rmrr}cSsg|]}|r|qSr:r:)riexprr:r:r;rmruz ))rr-rrrrr rrcrlr(r^rrr)r*r+rprNrr]rrr)r9rttwo_link_inverse inversereprrr/roletyper:rr;rLhs        zProperty.__repr__cc2|jj|jtjdD] }t||jddVq dSNrwr')r^rrcrrr&rvr:r:r;_get_subpropertyofryzProperty._get_subpropertyofcCrzr6)r^rrcrrr))r9rB subpropertyr:r:r;_set_subpropertyofrzProperty._set_subpropertyofcCrr6r:rr:r:r;_del_subpropertyofrzProperty._del_subpropertyofccrr)r^rrcrrr&rvr:r:r;_get_inverseofszProperty._get_inverseofcCrr6)r^rrcrrr)rFr:r:r;_set_inverseofrzProperty._set_inverseofcCrr6r:rr:r:r;_del_inverseofrzProperty._del_inverseofccrr)r^rrcrrr)r9domr:r:r; _get_domainzProperty._get_domaincC\|sdSt|ttfr|j|jtjt|fdS|D]}|j|jtjt|fqdSr6) rbr r r^rrcrrr))r9rBr"r:r:r; _set_domainzProperty._set_domaincCrr6r:rr:r:r; _del_domainrzProperty._del_domainccrr)r^rrcrrr)r9ranr:r:r; _get_ranger$zProperty._get_rangecCr%r6) rbr r r^rrcrrr))r9rangesrr:r:r; _set_ranger'zProperty._set_rangecCrr6r:rr:r:r; _del_range rzProperty._del_rangecCs@|jD]\}}}|j|t||fq|jd|jdfdSr6)rr^rr2rrc)r9rBrr/rr:r:r;r szProperty.replacer6)"rQrRrSrrrr-r<rr^r`rrrLrrrrrrrr rr!r#r&rr(r*r,rr-rrr:r:rr;r&sZ%"  U       r&cCsl|durin|}t|}|dt|dt|dtt|D] \}}|j||ddq$||_dS)zI Takes a graph and binds the common namespaces (rdf,rdfs, & owl) NrVrUrWFr)r rrrrrXitemsnamespace_manager)r^ additionalNS additional_nsr/r`r_r:r:r;r s    rrr6)Qrrloggingrdflib.collectionr rdflib.graphrrdflib.namespacerrrrrr rdflib.termr r r r r rdflib.utilr getLoggerrQlogger__all__r!r0r,r*r)r2r-rrr rrr%rrrr  differencerrrrrrr!backwardCompatibleWithincompatibleWithrrrrrrrr"r#rrr$rBooleanPredicatesrrrrr(r3r1r.r/r+r4r'r&rr:r:r:r;ss      .   h D .C "1G Bs 2