Debugging EvoOnt
1 view
Skip to first unread message
Matthias Samwald
Oct 16, 2008, 7:04:08 AM10/16/08
to baetle
Henry wrote:
"It looks like you have some contradiction in your ontology here as
Issue and Defect are shown, once pellet is started, as being
subclasses of the empty set."
The inconsistencies in the lastest version of EvoOnt have a simple
cause: the invalid class is a subclass of two other classes which are
declared disjoint. A class that is the subclass of two disjoint
classes cannot have instances.
"It looks like you have some contradiction in your ontology here as
Issue and Defect are shown, once pellet is started, as being
subclasses of the empty set."
The inconsistencies in the lastest version of EvoOnt have a simple
cause: the invalid class is a subclass of two other classes which are
declared disjoint. A class that is the subclass of two disjoint
classes cannot have instances.
Reply all
Reply to author
Forward
0 new messages