[DL] Monotonicity and Conservative extension Of OWL 2 DL

[Dr. Cyrus F Nourani]

​Hi Leila, you can glance on what I published on conservative extension
on data types over two decades on, e.g. Programming Symposium Paris,  or
EATCS.  Or the paper on Equational Intensity and Reasoning in AI,
ECAI 1983.  What Owl intends with that I do not know. The has to fix a
model before.

On Wed, Aug 19, 2015 at 2:41 PM, Leila Bayoudhi <bayoudhileila at yahoo.fr>
wrote:

> Hi,
> Since OWL 2 is based on description Logics, let me know please more about
> the two notions
>
>    - Conservative extension: this concept means that we should not infere
>    axioms that where were not entailed before an information addition? Is it
>    true what I am saying?
>    - Monotonicity: additional information to an ontology should not make
>    loose old entailments. Is it true?
>    m I saying true things? Can you correct for me the two concepts in the
>    context of adding knowldge to an an OWL 2 DL ontology? Does this addition
>    should respect these two principles? Are they related in a some way to
>    ontology consistency?
>    Thks.
>
>
> **  You received this mail via the description logic mailing list; for
> more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.
> **
> **  SUBSCRIBE or UNSUBSCRIBE:
>   **
> **
> https://mailman.informatik.uni-bremen.de/mailman/listinfo/dl **
>
>


-- 
CyrusFN
Akdmkrd.tripod.com
Projektakdmkrd.tripod.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20150820/735ad78b/attachment.htm>