Ontology transformation

Selection between different transformation strategies:

conservative - neither axioms nor entities removing progressive (default one) - only axioms removing radical - both axioms and entities removing

It enables selection between different radical variants of transformation strategies (the appropriate form3 has been updated). This reflects treatment of additional axioms as external axioms touching the pattern by reffering to one of its entities:

radical-keep - entities are kept and additional axioms are annotated (annotation:remove_warning_by, annotation:remove_warning_for) radical-neutral - entities are replaced either equivalently (e.g. Author equivalentTo Person and (writes some Paper)) or similarly (domain/range example in the case of writes object property, see form) using TP in future radical-remove - entities are removed and additional axioms are annotated but...

ondrej 2013-05-10