[DL] Guideline to define new constructors in Description Logics

[Peter Patel-Schneider]

Well, there are quite a few defined description logics whose constructors
are not in the mainstream DLs.  This includes modals, time, space, and
fuzzy.  If you are interested in anything along these lines you should look
in the DL literature.

If you mean some specific construct for a particular domain (like, perhaps,
you want to define a family all at once), then you are probably looking at
a macro.   Macros have usability issues but don't impact the underlying
logic.

Otherwise you probably need to say more about just want you want.  Just
remember that any new expressive power needs new reasoning power, and could
easily impact the complexity or decidability of the DL.

peter



On Tue, Aug 13, 2013 at 4:18 PM, Olivier Austina
<olivier.austina at gmail.com>wrote:

> Hi All,
>
> Is there a guideline to define new constructors (extension) in DL for
> specific domain? Any suggestion is welcome. Thanks.
>
> Regards
> Olivier
>
>
> ---
> **  You received this mail via the description logic mailing list; for
> more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.
>  **
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20130817/ab7149c3/attachment.htm>