[DL] dl systems with concrete domain

[Louis.Chevallier]

Sorry for the naive question, but it is buzzing me for so long time:

Is there any real DL systems currently available that  implement concrete domain together with reasonnably expressive logics and that allow "attribute chains".

I am thinking about seemingly simple need like the need of stating that any father is older than his son(s) A statement that would involve a hasAge real attribute.

Racer does propose real attribute but it seems that some mysterious difficulties prevent me from entering such constraints

Any clue?

Thanks

louis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20030423/d594432a/attachment.htm>