Interface: Owl2UnsatisfiableClass
@kortexya/reasoninglayer / Owl2UnsatisfiableClass
Interface: Owl2UnsatisfiableClass
Section titled “Interface: Owl2UnsatisfiableClass”Defined in: src/types/ontology.ts:150
A sort that the declared disjointness axioms make unsatisfiable.
Properties
Section titled “Properties”class:
string
Defined in: src/types/ontology.ts:152
Name of the sort derived unsatisfiable (wire class).
disjointPair
Section titled “disjointPair”disjointPair: [
string,string]
Defined in: src/types/ontology.ts:154
The disjoint pair (canonically ordered) that forced the contradiction.