Re: Conservative Extension of OWL 2

HI?Thanks for your answer.I noticed that this notion a a strong relation with "ontology modularization". Has it a relation with ontology evolution?Is it expected to have a conservative extension of the ontology since it relies on logic while evolving an ontology? 


     Le Lundi 10 août 2015 22h53, Ignazio Palmisano <ipalmisano.mailings@gmail.com> a écrit :
   

 On 10 August 2015 at 22:21, Leila Bayoudhi <bayoudhileila@yahoo.fr> wrote:
> Hi,
> I have some questions:
> -What is exactly a " consrvative extension of an ontology"?

In short, A is a conservative extension of B if all entailments of B
are also entailments for A. However, the concept is much more complex
than this. You can start with
http://cgi.csc.liv.ac.uk/~frank/publ/ijcai07.pdf, and move on to the
large body of literature on the topic.

Approximations of conservative extensions are also an important
research area. Many modularisation techniques rely on them. See for
example http://www.cs.man.ac.uk/~sattler/publications/chks07-just.pdf

(These are pointers to some of the oldest literature on the topic.)

> -Does ontology is expected to have conservative extension since it relies on
> logic?

I'm not clear on what you mean here.

> -Does OWL 2 enables this feature?

No. Building conservative extensions is not enabled by OWL 2. It is a
complex task (undecidable for high expressivity ontologies).
Approximations, like modules, can be built without OWL 2 (they predate it).

HTH,
I.

> thx for answering me.