tawny.query
Enable querying over ontologies.
Enable querying over ontologies.
ann-propsclj
(ann-props h)Return annotation properties in h as a set.
Return annotation properties in `h` as a set.
anonymousclj
(anonymous h)Return anonymous individuals of h as a set.
Return anonymous individuals of `h` as a set.
classesclj
(classes h)Return classes in h as a set.
Return classes in `h` as a set.
data-propsclj
(data-props h)Return data properties in h as a set.
Return data properties in `h` as a set.
data-typesclj
(data-types h)Return data types in h as a set.
Return data types in `h` as a set.
direct-importsclj
(direct-imports h)Return direct imports in h as a set.
Return direct imports in `h` as a set.
frameoclj
(frameo entity query frame)Searches a specific frame in a rendered OWL entity to see if query matches partially. So, for example, we might search the :type frames to see if it contains at least the list [type] where type is specific or a logic var. Normally, matcher would be used in preference.
Searches a specific frame in a rendered OWL entity to see if query matches partially. So, for example, we might search the :type frames to see if it contains at least the list [type] where type is specific or a logic var. Normally, matcher would be used in preference.
imports-closureclj
(imports-closure h)Return the whole import closure for h as a set.
Return the whole import closure for `h` as a set.
individualsclj
(individuals h)Return individuals in h as a set.
Return individuals in `h` as a set.
into-mapclj
(into-map owlobject)(into-map owlobject terminal)Translates an owl object into a clojure map.
The map is similar to the form used to define an entity. Keys are the keywords
used by tawny.owl (:subclass, :domain, etc). Value are sets. Each element of
the set is either an OWL object, or, if it is a restriction, similar to that
used to define a restriction but with OWLObjects instead of clojure symbols.
In addition a :type key is added which describes the type of the object. It
is also possible to render to OWL API objects using :object as the
resolve argument.
Translates an owl object into a clojure map. The map is similar to the form used to define an entity. Keys are the keywords used by tawny.owl (:subclass, :domain, etc). Value are sets. Each element of the set is either an OWL object, or, if it is a restriction, similar to that used to define a restriction but with OWLObjects instead of clojure symbols. In addition a :type key is added which describes the type of the object. It is also possible to render to OWL API objects using `:object` as the `resolve` argument.
into-map-withclj
(into-map-with f entity)As into-map but merges result from other entities retrieved by (f entity). For example (into-map-with superclasses A) will retrieve all data for A and its superclasses. No attempt is made to ensure that the semantics of this data makes sense; for instance, while object restrictions which apply to a superclass also apply to the subclass, annotations do not; both will be present in the final map, however.
As into-map but merges result from other entities retrieved by (f entity). For example (into-map-with superclasses A) will retrieve all data for A and its superclasses. No attempt is made to ensure that the semantics of this data makes sense; for instance, while object restrictions which apply to a superclass also apply to the subclass, annotations do not; both will be present in the final map, however.
map-importsclj
(map-imports f h)Map f over the imports closure of h and return a set of results.
Map `f` over the imports closure of `h` and return a set of results.
matcherclj
(matcher entity query)Returns a goal which matches a rendered OWL entity against the query. Matchs happen if the entity contains AT LEAST one entity in frame values (which are themselves lists) to match ALL frames in the query. The keys of the query cannot be logic vars but everything else can.
Returns a goal which matches a rendered OWL entity against the query. Matchs happen if the entity contains AT LEAST one entity in frame values (which are themselves lists) to match ALL frames in the query. The keys of the query cannot be logic vars but everything else can.
obj-propsclj
(obj-props h)Return object properties in h as a set.
Return object properties in `h` as a set.
signatureclj
(signature h)Return the signature of h as a set.
Return the signature of `h` as a set.
superoclj
(supero entity super)Returns a goal which matches entity superclasses.
Returns a goal which matches entity superclasses.
typeoclj
(typeo entity type)Returns a goal which matches entity on type.
Returns a goal which matches entity on type.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close