Liking cljdoc? Tell your friends :D
tawny.core
No vars found in this namespace.
tawny.emacs
Support functions for tawny-mode.el
Support functions for tawny-mode.el
tawny.english
Shorter aliases for tawny.owl classes with an owl- disambiguation
Shorter aliases for tawny.owl classes with an owl- disambiguation
tawny.lookup
Facilities to find the var of an OWL object.
Facilities to find the var of an OWL object.
tawny.memorise
Save IRI to Clojure identifier mappers between invocations
Save IRI to Clojure identifier mappers between invocations
tawny.obo
Support for numeric, incrementing identifiers, OBO style.
Support for numeric, incrementing identifiers, OBO style.
tawny.owl
Build ontologies in OWL.
Build ontologies in OWL.
- !
- &&
- add-a-simple-annotation
- add-an-ontology-annotation
- add-annotation
- add-axiom
- add-characteristics
- add-class
- add-comment
- add-data-characteristics
- add-data-disjoint
- add-data-domain
- add-data-equivalent
- add-data-range
- add-data-subproperty
- add-data-superproperty
- add-datatype-equivalent
- add-different
- add-disjoint
- add-disjoint-property
- add-disjoint-union
- add-domain
- add-equivalent
- add-equivalent-property
- add-fact
- add-has-key
- add-inverse
- add-label
- add-range
- add-same
- add-subchain
- add-subclass
- add-subproperty
- add-super-annotation
- add-superclass
- add-superproperty
- add-type
- annotate
- annotation
- annotation-property
- annotation-property-explicit
- annotator
- anonymous-individual
- as-disjoint
- as-disjoint-subclasses
- as-equivalent
- as-inverse
- as-iriable
- as-subclasses
- at-least
- at-most
- backward-compatible-with
- backward-compatible-with-property
- broadcast-ontology
- broadcast-ontology-full
- broadcast-ontology-maybe
- data-and
- data-at-least
- data-at-most
- data-exactly
- data-get-fact
- data-get-fact-not
- data-has-value
- data-not
- data-oneof
- data-only
- data-or
- data-some
- datatype
- datatype-explicit
- datatype-property
- datatype-property-explicit
- declare-classes
- defaproperty
- default-ontology
- default-ontology-hook
- default-ontology-maybe
- defbdontfn
- defbmontfn
- defclass
- defclassn
- defcopy
- defdatatype
- defdontfn
- defdproperty
- defentity
- defindividual
- defmontfn
- defnwithfn
- defontology
- defoproperty
- defrefine
- deprecated
- deprecated-add-data-superproperty
- deprecated-add-sub-annotation
- deprecated-add-subclass
- deprecated-add-subpropertychain
- deprecated-add-superproperty
- deprecated-property
- direct-instances
- direct-subclasses
- direct-subproperties
- direct-superclasses
- direct-superproperties
- disjoint-classes
- disjoint-data-properties
- disjoint-properties
- disjoint?
- entity-for-iri
- entity-for-string
- equivalent-classes
- equivalent-data-properties
- equivalent-properties
- equivalent?
- exactly
- fact
- fact-not
- get-current-ontology
- get-current-ontology-maybe
- get-fact
- get-fact-not
- get-prefix
- guess-individual-literal
- guess-type
- guess-type-error
- has-self
- has-value
- incompatible-with
- incompatible-with-property
- individual
- individual-explicit
- intern-owl
- intern-owl-entity-hook
- intern-owl-string
- inverse
- inverse?
- iri
- iri-for-name
- iriable?
- is
- is-defined-by
- is-defined-by-property
- label
- label-property
- literal
- max-inc
- min-inc
- min-max
- min-max-inc
- object-and
- object-at-least
- object-at-most
- object-exactly
- object-get-fact
- object-get-fact-not
- object-has-value
- object-not
- object-oneof
- object-only
- object-or
- object-property
- object-property-explicit
- object-some
- object-some-only
- oneof
- only
- ontology
- ontology-explicit
- ontology-for-namespace
- ontology-options
- ontology-options-atom
- ontology-to-namespace
- owl-and
- owl-class
- owl-class-explicit
- owl-comment
- owl-comment-property
- owl-data-factory
- owl-import
- owl-max
- owl-min
- owl-not
- owl-nothing
- owl-only
- owl-ontology-manager
- owl-or
- owl-some
- owl-thing
- owl2datatypes
- re-annotate
- refine
- remove-axiom
- remove-entity
- remove-ontology-hook
- remove-ontology-maybe
- run-intern-hook
- save-ontology
- see-also
- see-also-property
- some-only
- span
- subclass?
- subclasses
- subproperties
- subproperty?
- superclass?
- superclasses
- superproperties
- superproperty?
- version-info
- version-info-property
- with-optional-class
- with-prefix
- with-probe-axioms
- with-probe-entities
- with-suffix
- ||
tawny.polyglot
Support for multi-lingual ontologies
Support for multi-lingual ontologies
tawny.profile
Check profile of OWL ontologies
Check profile of OWL ontologies
tawny.read
Read external OWL files and use them in tawny
Read external OWL files and use them in tawny
tawny.reasoner
Interaction with external reasoners
Interaction with external reasoners
- *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-silent
- unsatisfiable
tawny.render
Renders OWL Entities into tawny.owl forms
Renders OWL Entities into tawny.owl forms
tawny.repl
Repl and documentation functions for OWL objects
Repl and documentation functions for OWL objects
tawny.type
Type based predicates for OWL.
Type based predicates for OWL.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close