Inference of parthood

[hdietze]

Original issue 25 created by hdietze on 2013-03-02T02:04:28.000Z:

Example:

https://sourceforge.net/tracker/index.php?func=detail&aid=3606431&group_id=36855&atid=440764

One way to support this is to add a GCI for each generated class

standard EC axiom:

1. HD = D and results_in_development_of some H

additional GCI:

1. (results_in_developmental_progression_of some H) SubClassOf (part_of some HD)

Still not ideal as reasoners won't return class expressions as results of superclasses. to be discussed further...