| 866c9aa341bbd88aa6747188b03f86fd324c1e43 |
|
11-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add generated axioms model and create instances
When proving, usually a logic translation is applied. Such a translation
can introduce sentences as axioms that were not part of the original
ontology/specification/theory. Those generated axioms need to be
distinguished from the original sentences. |