Re: Conservative Extension of OWL 2

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.

Received on Monday, 10 August 2015 21:51:24 UTC