Functions that normalize ontology classes
Functions that normalize ontology classes
(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)
(negate c)
same as not, but doesn't make double negations
same as not, but doesn't make double negations
(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
(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.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close