13. An arrangement according to claim 2 , wherein the first and second modelling means are adapted to use a modelling language supporting formal ontologies, based on Description Logics (DL), and/or Frame Logics (FL), or based on DL and FL using WSML to provide the formal ontologies.
13. An arrangement according to claim 2 , wherein the first and second modelling means are adapted to use a modelling language supporting formal ontologies, based on Description Logics (DL), and/or Frame Logics (FL), or based on DL and FL using WSML to provide the formal ontologies. 14. An arrangement according to claim 13 , wherein the annotating means are adapted to perform the annotation using semantics provided by the formal ontologies of the implemented ontology modelling language comprising one or more of sub-classes, sub-properties and inference rules, at least some of the annotations being generic.