W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2015

Re: Conservative Extension of OWL 2

From: Simon Spero <sesuncedu@gmail.com>
Date: Tue, 11 Aug 2015 13:45:51 -0400
Message-ID: <CADE8KM4j5HYRTQzVv3wD7FzF4YE0tkjBy3h1yHRRG_oFSZv0tg@mail.gmail.com>
To: Ignazio Palmisano <ipalmisano.mailings@gmail.com>
Cc: Owl Dev <public-owl-dev@w3.org>
A conservative extension to an ontology is an extension that commits to
holding a referendum on whether a set of axioms is consistent only after an
extended attempt to renegotiate the applicable rules of inference.

Some other views:

Gruninger, M., & Aameri, B. (2014). Preservation of Modules. In *WoMO@*

GrĂ¼ninger, M., Hahmann, T., Hashemi, A., Ong, D., & Ozgovde, A. (2012).
Modular first-order ontologies via repositories. *Applied Ontology*, *7*(2),

Veloso, P. A., & Veloso, S. R. (1991). On conservative and expansive
extensions.*O** que** no** faz** pensar**:** Cadernos** de**
Filosofia*, *4*(87),

Incidentally,  Common Logic,  which is first-order (modulo sequences) with
quantification over known predicates, caused problems for definitional
extensions,  if the newly defined predicates are visible to quantifiers in
the ontology being extended.  That this took years to spot shows how tricky
this all gets.

On Aug 10, 2015 5:53 PM, "Ignazio Palmisano" <ipalmisano.mailings@gmail.com>

> 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 Tuesday, 11 August 2015 17:46:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 11 August 2015 17:46:20 UTC