- *reasoner-progress-monitor*
- coherent?
- consistent?
- discard-reasoner
- entities
- iequivalent-class?
- iequivalent-classes
- instances
- isubclass?
- isubclasses
- isuperclass?
- isuperclasses
- no-top-bottom
- reasoner
- reasoner-factory
- reasoner-for-ontology
- reasoner-progress-monitor-gui
- reasoner-progress-monitor-gui-maybe
- reasoner-progress-monitor-silent
- reasoner-progress-monitor-text
- reasoner-progress-monitor-text-debug
- reasoner-silent
- unsatisfiable
tawny.reasoner
Interaction with external reasoners
Interaction with external reasoners
*reasoner-progress-monitor*clj
The current progress monitor to use.
The current progress monitor to use.
coherent?clj
(coherent?)(coherent? ontology)Returns true if the ontology is coherent
Returns true if the ontology is coherent
consistent?clj
(consistent?)(consistent? ontology)Returns true if the ontology is consistent.
This method can throw an InconsistentOntologyException
Returns true if the ontology is consistent. This method can throw an InconsistentOntologyException
discard-reasonerclj
(discard-reasoner ontology)Explicitly discard the reasoner for a given ontology. This should happen automatically.
Explicitly discard the reasoner for a given ontology. This should happen automatically.
entitiesclj
(entities nodeset)Return all entities for a nodeset.
Return all entities for a nodeset.
iequivalent-class?clj
(iequivalent-class? name equiv)(iequivalent-class? ontology name equiv)Returns true if name and equiv are equivalent in ontology.
Returns true if name and equiv are equivalent in ontology.
iequivalent-classesclj
(iequivalent-classes name)(iequivalent-classes ontology name)Returns equivalent classes to name in ontology. Returns a set which may include top or bottom.
Returns equivalent classes to name in ontology. Returns a set which may include top or bottom.
instancesclj
(instances class)(instances ontology class)Returns all instances of class in ontology.
Returns all instances of class in ontology.
isubclass?clj
(isubclass? name subclass)(isubclass? ontology name subclass)Returns true if name has subclass as a strict subclass
Returns true if name has subclass as a strict subclass
isubclassesclj
(isubclasses name)(isubclasses o name)Returns all infered subclasses of name in ontology o. Returns a clojure set, and does not return top or bottom.
Returns all infered subclasses of name in ontology o. Returns a clojure set, and does not return top or bottom.
isuperclass?clj
(isuperclass? name superclass)(isuperclass? ontology name superclass)Returns true if name has superclass as a strict superclass.
Returns true if name has superclass as a strict superclass.
isuperclassesclj
(isuperclasses name)(isuperclasses ontology name)Return all superclasses in ontology for name. Returns a (clojure) set and does not return top or bottom.
Return all superclasses in ontology for name. Returns a (clojure) set and does not return top or bottom.
no-top-bottomclj
(no-top-bottom coll)Delete top and bottom from a collection.
Delete top and bottom from a collection.
reasonerclj
(reasoner)(reasoner ontology)Returns a reasoner for the given ontology, creating a new one if necessary from the current reasoner-factory.
Returns a reasoner for the given ontology, creating a new one if necessary from the current reasoner-factory.
reasoner-factoryclj
(reasoner-factory)(reasoner-factory reasoner-keyword)Return or set the reasoner factory. The reasoner must be either :hermit, :elk or :jfact. It can also be :nil, which will leave no reasoner factory set.
Return or set the reasoner factory. The reasoner must be either :hermit, :elk or :jfact. It can also be :nil, which will leave no reasoner factory set.
reasoner-for-ontologyclj
(reasoner-for-ontology ontology)Return an reasoner for the given ontology if it exists. Normally the reasoner function is better to use.
Return an reasoner for the given ontology if it exists. Normally the reasoner function is better to use.
reasoner-progress-monitor-guiclj
(reasoner-progress-monitor-gui)Return a new graphical progress monitor.
Return a new graphical progress monitor.
reasoner-progress-monitor-gui-maybeclj
(reasoner-progress-monitor-gui-maybe)Return a gui monitor unless we are headless.
Return a gui monitor unless we are headless.
reasoner-progress-monitor-silentclj
(reasoner-progress-monitor-silent)Returns a new progress monitor which is silent.
Returns a new progress monitor which is silent.
reasoner-progress-monitor-textclj
(reasoner-progress-monitor-text)Return a new text based progress monitor.
Return a new text based progress monitor.
reasoner-progress-monitor-text-debugclj
(reasoner-progress-monitor-text-debug)Return a new text based progress monitor.
Return a new text based progress monitor.
unsatisfiableclj
(unsatisfiable)(unsatisfiable ontology)Returns all unsatisfiable classes from the current ontology
Throws an org.semanticweb.owlapi.reasoner.InconsistentOntologyException if the ontology is inconsistent
Returns all unsatisfiable classes from the current ontology Throws an org.semanticweb.owlapi.reasoner.InconsistentOntologyException if the ontology is inconsistent
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close