Capability
Classification & Subsumption Reasoning
The ability to compute class hierarchies, concept equivalence, and individual classification from formal semantic definitions.
Capability
The ability to compute class hierarchies, concept equivalence, and individual classification from formal semantic definitions.