<div dir="ltr"><div>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.<br>
<br>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.<br>
<br></div>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.<br><br>
peter<br><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Aug 13, 2013 at 4:18 PM, Olivier Austina <span dir="ltr"><<a href="mailto:olivier.austina@gmail.com" target="_blank">olivier.austina@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi All,<br><br></div>Is there a guideline to define new constructors (extension) in DL for specific domain? Any suggestion is welcome. Thanks.<br>
<div><br clear="all"><div><div><div dir="ltr">Regards<span class="HOEnZb"><font color="#888888"><br>
Olivier<br><br></font></span></div></div>
</div></div></div>
<br>---<br>
**  You received this mail via the description logic mailing list; for more  **<br>
**  information, visit the description logic homepage at <a href="http://dl.kr.org/" target="_blank">http://dl.kr.org/</a>.  **<br>
<br></blockquote></div><br></div>