[DL] dl systems with concrete domain

Louis.Chevallier louis-c at ifrance.com
Wed Apr 23 00:40:43 CEST 2003


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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20030423/d594432a/attachment.html>


More information about the dl mailing list