The inferred ontology produced with FaCT++ includes some redundant isA (isSubclassOf) relations that would be nice to get rid of.
Examples of such redundant relations:
Matter isA Physical (redundant because Matter isA Physicalistic isA Perspective isA Physical)
Field isA Physical (redundant because Field isA Physicalistic isA Perspective isA Physical)
Process isA Physical (redundant because Process isA Holistic isA Perspective isA Physical)
Participant isA Physical (redundant because Participant isA Holistic isA Perspective isA Physical)
Since the reasoner does not add all isA relations to all possible ancestors, tools using the ontology must anyway check the list of ancestors. To avoid double-counting because of these redudant isA relations, the tools must add additional tests complicating their implementation.
This would require that we add an additional tool.
The inferred ontology produced with FaCT++ includes some redundant isA (isSubclassOf) relations that would be nice to get rid of.
Examples of such redundant relations:
Since the reasoner does not add all
isA
relations to all possible ancestors, tools using the ontology must anyway check the list of ancestors. To avoid double-counting because of these redudant isA relations, the tools must add additional tests complicating their implementation.This would require that we add an additional tool.