Re: meta-ontology reasoning

Thanks Adrian, but I am not sure that this  is what I am looking for.

In fact I want to do something similar than what is done by the people  
of OntoClean in Protégé (http://protege.stanford.edu/ontologies/ontoClean/ontoCleanOntology.html 
). I was wondering that new languages (OWL2, SWRL, ...) , new and  
improved reasoners could improve this approach. OntoClean uses PAL  
constraints and to be honest I have never heard of this before.

Frederik


On 1 Oct 2009, at 19:39, Adrian Walker wrote:

> Frederik --
>
> It's not OWL, but you may be interested in the author friendly  
> system and examples online at the site below.
>
> In particular:
>
>   www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent
>
> The system can be used from Java:
>
>    www.reengineeringllc.com/iblClient1.java
>
>
> Apologies if you have seen this before, and thanks for comments.
>
>                                                     -- Adrian
>
>
> Internet Business Logic
> A Wiki and SOA Endpoint for Executable Open Vocabulary English over  
> SQL and RDF
> nline at www.reengineeringllc.com    Shared use is free
>
> Adrian Walker
> Reengineering
>
>
> On Thu, Oct 1, 2009 at 10:56 AM, Frederik Gailly <Frederik.Gailly@ugent.be 
> > wrote:
> 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
>
>
>
>
>