Liking cljdoc? Tell your friends :D

tawny.reasoner

Interaction with external reasoners

Interaction with external reasoners
raw docstring

*reasoner-progress-monitor*clj

The current progress monitor to use.

The current progress monitor to use.
raw docstring

coherent?clj

(coherent? ontology)

Returns true if the ontology is coherent

Returns true if the ontology is coherent
raw docstring

consistent?clj

(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
raw docstring

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.
raw docstring

entitiesclj

(entities nodeset)

Return all entities for a nodeset.

Return all entities for a nodeset.
raw docstring

iequivalent-class?clj

(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.
raw docstring

iequivalent-classesclj

(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.
raw docstring

instancesclj

(instances ontology class)

Returns all instances of class in ontology.

Returns all instances of class in ontology.
raw docstring

isubclass?clj

(isubclass? ontology name subclass)

Returns true if name has subclass as a strict subclass

Returns true if name has subclass as a strict subclass
raw docstring

isubclassesclj

(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.
raw docstring

isuperclass?clj

(isuperclass? ontology name superclass)

Returns true if name has superclass as a strict superclass.

Returns true if name has superclass as a strict superclass.
raw docstring

isuperclassesclj

(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.
raw docstring

no-top-bottomclj

(no-top-bottom coll)

Delete top and bottom from a collection.

Delete top and bottom from a collection.
raw docstring

reasonerclj

(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.
raw docstring

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.
raw docstring

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.
raw docstring

reasoner-progress-monitor-guiclj

(reasoner-progress-monitor-gui)

Return a new graphical progress monitor.

Return a new graphical progress monitor.
raw docstring

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.
raw docstring

reasoner-progress-monitor-silentclj

(reasoner-progress-monitor-silent)

Returns a new progress monitor which is silent.

Returns a new progress monitor which is silent.
raw docstring

reasoner-progress-monitor-textclj

(reasoner-progress-monitor-text)

Return a new text based progress monitor.

Return a new text based progress monitor.
raw docstring

reasoner-silentclj

(reasoner-silent)

Shut the reasoner up

Shut the reasoner up
raw docstring

unsatisfiableclj

(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
raw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close