(has-owl-restriction g context acc queue)
<context> may contain a :seek parameter, so we apply it to last traversal. NOTE equivalent of SPARQL property path 'a/rdfs:subClassOf*/owl:subClassOf+'
<context> may contain a :seek parameter, so we apply it to last traversal. NOTE equivalent of SPARQL property path 'a/rdfs:subClassOf*/owl:subClassOf+'
Args: [<head-kwi> & args]. Returns a canonical kwi. Where <head-kwi> initiates the KWI (typically the name of an existing class in some model). <args> := [<property> <value>, ...], .s.t. the named value is uniquely distinguished. E.g: The default method simply joins arguments on _ as follows: (mint-kwi :myNs/MyClass :myNs/prop1 'foo' :myNs/prop2 'bar) -> :myNs/MyClass_prop1_foo_prop2_bar, but overriding methods will be dispatched on <head> Compiled arguments are rendered as their hashes.
Args: [<head-kwi> & args]. Returns a canonical kwi. Where <head-kwi> initiates the KWI (typically the name of an existing class in some model). <args> := [<property> <value>, ...], .s.t. the named value is uniquely distinguished. E.g: The default method simply joins arguments on _ as follows: (mint-kwi :myNs/MyClass :myNs/prop1 'foo' :myNs/prop2 'bar) -> :myNs/MyClass_prop1_foo_prop2_bar, but overriding methods will be dispatched on <head> Compiled arguments are rendered as their hashes.
(rdfs-subsumed-by g context acc queue)
Returns [context acc' #{}] for g
context
acc
queue
Where
<g> implements igraph
<context> is a traversal context, which will be returned unchanged.
If there is a :seek function supplied, the traversal will stop early.
<acc'> := #{<class> ...}
<class> is a superclass of the type associated with some <target>
<queue> := [<target>, ...]
<target> is a subject in <g>, and member of <queue>
SEE ALSO the docs for igraph traversal
NOTE equivalent of SPARQL property path 'a/rdfs:subClassOf*'
Returns [context acc' #{}] for `g` `context` `acc` `queue` Where <g> implements igraph <context> is a traversal context, which will be returned unchanged. If there is a :seek function supplied, the traversal will stop early. <acc'> := #{<class> ...} <class> is a superclass of the type associated with some <target> <queue> := [<target>, ...] <target> is a subject in <g>, and member of <queue> SEE ALSO the docs for igraph traversal NOTE equivalent of SPARQL property path 'a/rdfs:subClassOf*'
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close