[DL] DL Reasoner

[Cássio Santos]

Ralf:

-In this paper
http://www.springerlink.com/content/d67111525125n631/fulltext.pdf , Braga
and Hæusler, define how to translate a SecureUML Model, (which is a UML
profile). At section 3 - *Model-driven security and description logic, *they
define how to express OCL invariants in DL.
At 3.1 - *Default role invariant, *they mention ALCQI+ID as the DL used to
represent that in the The "Role" concept, there can be only one individual,
related to the concept A, by the relationship "isdefault", where A is a
concept with a single individual.

Fernando Naufel do Amaral:

-The "+" in ALCQI+ID don't denote the transitive closure operator.


2011/2/10 Ralf Moeller <r.f.moeller at tu-harburg.de>

>
> On Jan 29, 2011, at 4:48 PM, Cássio Santos wrote:
>
> > There are DL reasoners that supports ALCQI+ID?
> > Where the ID means that we can represent the unitary cardinality of a
> concept, like a concept can have just one individual.
>
> For what purpose do you need the cardinality constraints?
>
> Best regards,
>
> Ralf Möller
>
>
>
>
> -------------------------------------------------------
> Prof. Dr. Ralf Möller
> Hamburg University of Technology
> Schwarzenbergstraße 95
> 21073 Hamburg
> Germany
> Tel.: 040 42878 3462
> Email: r.f.moeller at tu-harburg.de
> http://www.sts.tu-harburg.de/~r.f.moeller
>
>


-- 
*Cássio Fernando,*
*λSE - Language-oriented Software Engineering research group*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20110210/cb3dca4f/attachment.htm>