Grammar-ontology interoperability

The OWL-to-GF mapping may not be adequate for all uses of OWL. We may have to rule out some legacy uses of OWL from the scope of the tool; as a further support for this, the manual of the tool will specify the best practices to guarantee that ontologies interoperate with GF.

Verification: Dual way interoperability between GF grammar and ontologies in the semantic repository: grammars generated from ontology and ontology from grammars, described in D4.3.