o mi @sdZddlmZddlmZmZmZddlmZm Z m Z m Z m Z ddl mZddlmZmZddlmZddlmZerBdd lmZGd d d eZe jeje jeje jejiZd!ddZ d"ddZ! d#d$dd Z"dS)%zA Utilities for interacting with SHACL Shapes Graphs more easily. ) annotations) TYPE_CHECKINGOptionalUnion)BNodeGraphLiteralURIRefpaths) Collection)RDFSH)Path)Node)IdentifiedNodec@s eZdZdS)SHACLPathErrorN)__name__ __module__ __qualname__rrM/home/kim/smarthome/.venv/lib/python3.10/site-packages/rdflib/extras/shacl.pyrsr shapes_graphrpath_identifierrreturnUnion[URIRef, Path]c sd}t|tr tdt|tr|tjkrtd|}|S|tjdurEt |}t |dkr7tdt j fdd|D}|S|tj}rXt t|}|S|tj}rt |}t |dkrrtdt jfd d|D}|S|tj}rt t|d }|S|tj}rt t|d }|S|tj} rt t| d }|S|durtd t|d|S)a Parse a valid SHACL path (e.g. the object of a triple with predicate sh:path) from a [`Graph`][rdflib.graph.Graph] as a [`URIRef`][rdflib.term.URIRef] if the path is simply a predicate or a [`Path`][rdflib.paths.Path] otherwise. Args: shapes_graph: A [`Graph`][rdflib.graph.Graph] containing the path to be parsed path_identifier: A [`Node`][rdflib.term.Node] of the path Returns: A [`URIRef`][rdflib.term.URIRef] or a [`Path`][rdflib.paths.Path] Nz$Literals are not a valid SHACL path.z;A list of SHACL Paths must contain at least two path items.DA list of SHACL Sequence Paths must contain at least two path items.c3|]}t|VqdSNparse_shacl_path).0pathrrr Gsz#parse_shacl_path..@List of SHACL alternate paths must have at least two path items.c3rrr)r! alternativer#rrr$Vs  *+?z Cannot parse z as a SHACL Path.) isinstancer TypeErrorr r nilrvaluefirstlistitemslenr SequencePathr inversePathInvPathr alternativePathAlternativePathzeroOrMorePathMulPath oneOrMorePath zeroOrOnePathrepr) rrr"sequenceZ inverse_pathZalternative_pathZ alternativesZzero_or_more_pathZone_or_more_pathZzero_or_one_pathrr#rr !s^   / &    r graphpath_component URIRef | PathrcsJt|ttfstdt|ddt|tr|St}t|tjr>t|j dkr.t dt |fdd|j D|St|tj rS |tjt|jf|St|tjrt|j dkrdt dt tfd d|j D} |tj|jf|St|tjrt|j}|d urt d |j ||t|jf|S) a Helper method that implements the recursive component of SHACL path triple construction. Args: graph: A [`Graph`][rdflib.graph.Graph] into which to insert triples graph_component: A [`URIRef`][rdflib.term.URIRef] or [`Path`][rdflib.paths.Path] that is part of a path expression Returns: The [`IdentifiedNode`][rdflib.term.IdentifiedNode] of the resource in the graph that corresponds to the provided path_component zObjects of type z are not valid zcomponents of a SHACL path.rrcg|]}t|qSr_build_path_componentr!argr=rr z)_build_path_component..r%cr@rrArCrErrrFrGNzUnknown path modifier )r*r rr+typerr r2r1argsrr r4addr r3rBrDr6r5urir8_PATH_MOD_TO_PREDgetmodr")r=r>ZbnodeZcollpredrrErrBosV  $   rBNr" target_graph Graph | None#tuple[IdentifiedNode, Graph | None]cCs.t|tr |dfS|durt}t|||fS)a Build the SHACL Path triples for a path given by a [`URIRef`][rdflib.term.URIRef] for simple paths or a [`Path`][rdflib.paths.Path] for complex paths. Returns an [`IdentifiedNode`][rdflib.term.IdentifiedNode] for the path (which should be the object of a triple with predicate `sh:path`) and the graph into which any new triples were added. Args: path: A [`URIRef`][rdflib.term.URIRef] or a [`Path`][rdflib.paths.Path] target_graph: Optionally, a [`Graph`][rdflib.graph.Graph] into which to put constructed triples. If not provided, a new graph will be created Returns: A (path_identifier, graph) tuple where: - path_identifier: If path is a [`URIRef`][rdflib.term.URIRef], this is simply the provided path. If path is a [`Path`][rdflib.paths.Path], this is the [`BNode`][rdflib.term.BNode] corresponding to the root of the SHACL path expression added to the graph. - graph: None if path is a [`URIRef`][rdflib.term.URIRef] (as no new triples are constructed). If path is a [`Path`][rdflib.paths.Path], this is either the target_graph provided or a new graph into which the path triples were added. N)r*r rrB)r"rPrrrbuild_shacl_paths rS)rrrrrr)r=rr>r?rrr)r"r?rPrQrrR)#__doc__ __future__rtypingrrrZrdflibrrrr r Zrdflib.collectionr Zrdflib.namespacer r Z rdflib.pathsrZ rdflib.termrr ExceptionrZ ZeroOrMorer7Z OneOrMorer9Z ZeroOrOner:rLr rBrSrrrrs&      NL