meta-ontology reasoning

Hello,

I want to develop an application-specific ontology that must be  
conform to a domain ontology which includes some domain-specific  
axioms (the meta-ontology) . In UML terms my domain ontology could be  
considered as a metamodel and my application is an instantiation of  
this domain meta-model (the model). My question now is how should I  
implement this in OWL or OWL 2 and what consequence will a specific  
approach have on the ability of the reasoner to take into account the  
domain-specific axioms?

Am I right that there are two possible approaches?
- use OWL annotations
- use OWL metamodelling (=> punning?)

Thanks,
Frederik


  

Received on Thursday, 1 October 2009 16:24:44 UTC