Closed tgoprince closed 3 years ago
List of bugs and shortcomings of the ontouml2gufo transformation:
Missing support for prefix definition
Bad name normalization for URIs: «roleMixin» CorporateCustomer becomes :Corporatecustomer
«roleMixin» CorporateCustomer
:Corporatecustomer
Missing support for some ontological natures (e.g. extrinsic mode, abstract). These natures were recently introduced in the language.
Disjoint generalization sets involving antirigid and semirigid types should not generate disjointness constraints in OWL, which look like:
[ rdf:type owl:AllDisjointClasses ] owl:members (:Adult :Child) .
Instead, the disjointness should become a rule concerning TemporaryInstantiationSituations referring to those classes (which cannot be done in OWL, but maybe in SWRL?)
List of bugs and shortcomings of the ontouml2gufo transformation:
Missing support for prefix definition
Bad name normalization for URIs:
«roleMixin» CorporateCustomer
becomes:Corporatecustomer
Missing support for some ontological natures (e.g. extrinsic mode, abstract). These natures were recently introduced in the language.
Disjoint generalization sets involving antirigid and semirigid types should not generate disjointness constraints in OWL, which look like:
Instead, the disjointness should become a rule concerning TemporaryInstantiationSituations referring to those classes (which cannot be done in OWL, but maybe in SWRL?)