Liking cljdoc? Tell your friends :D

ontology.normalize

Functions that normalize ontology classes

Functions that normalize ontology classes
raw docstring

getNNFclj

(getNNF thing)

Gets the NNF of anything. (non-fowl objects and fowl objects without classes return themselves)

Gets the NNF of anything. (non-fowl objects and fowl objects without classes return themselves)
sourceraw docstring

negateclj

(negate c)

same as not, but doesn't make double negations

same as not, but doesn't make double negations
sourceraw docstring

toClassImplicationsclj

(toClassImplications axiom)

Converts a class axiom to an equivalent axiom or set of axioms that are class implications

Converts a class axiom to an equivalent axiom or set of axioms that are class implications
sourceraw docstring

toSyntacticEquivalentclj

(toSyntacticEquivalent axiom)

Converts an axiom to an equivalent axiom or set of axioms that are class, role, or dataRole implications if such an equivalence exists. Corresponds to the expanded definitions of syntactic shortcuts in the OWL 2 Specification.

Converts an axiom to an equivalent axiom or set of axioms that are class, role, or dataRole implications if such an equivalence exists. Corresponds to the expanded definitions of syntactic shortcuts in the OWL 2 Specification.
sourceraw docstring

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

× close