Re: Regarding DAML

This seems rather pointless as OWL has completely superseded DAML,  
but if you really want to do it you can find in [1] the translation  
from DAML+OIL into DL, and in numerous places the trivial  
correspondence between DL and FOL (e.g., in the DL Handbook).

Ian

[1] http://www.cs.man.ac.uk/~horrocks/Publications/download/2002/ 
AAAI02IHorrocks.pdf

On 13 May 2007, at 03:11, ramesh ramalingam wrote:

> Hi all,
>
>        I just want to convert DAML sentences into First Order Logic  
> sentences (FOL). So first i want to translate DAML to RDF  
> statements and RDF to FOL. I want to know the translation rules so  
> that i can write a parser for that conversion rules. Otherwise if  
> there is any translator let me know about it because i want to  
> implement this in Squeak (smalltalk) environment. So please answer  
> this question as soon as possible. I dont know how to subscribe  
> into the public general technical discussions board.
>
> Awaiting for ur reply
>
> Thanks & Regards
> Ram
>
> Here’s a new way to find what you're looking for - Yahoo! Answers

Received on Sunday, 13 May 2007 17:19:25 UTC