tawny.emacs — uk.org.russet/tawny-owl 2.3.0

Support functions for tawny-mode.el

check-namespace clj

(check-namespace namespace)

Test namespace for error condition.

Returns error message or namespace if everything is fine.

get-inferred-subclasses clj

(get-inferred-subclasses namespace class)

Returns a string of inferred subclasses.

get-inferred-superclasses clj

(get-inferred-superclasses namespace class)

Returns a string of inferred superclasses.

get-unsatisfiable clj

(get-unsatisfiable namespace)

Returns a string about unsatisfiable classes.

identitas clj

(identitas id)

Return a random prolong ID from the identitas library.

is-coherent clj

(is-coherent namespace)

Returns a message about the coherency of NAMESPACE

is-consistent clj

(is-consistent namespace)

Returns a message about the consistency of NAMESPACE

list-classes clj

(list-classes classes)

Given a set of classes, returns a string representation.

save-namespace-ontology clj

(save-namespace-ontology namespace)

Save ontology in the given namespace.

set-reasoner clj

(set-reasoner reasoner)

Sets the reasoner factory.