# Re: mapping FOL -> DL

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 28 Sep 2004 10:55:52 +0100
Message-Id: <5.1.0.14.2.20040928105103.02596398@127.0.0.1>
To: Harry Halpin <hhalpin@ibiblio.org>, Peter <meancity@gmail.com>


Er, I may just be repeating an obvious reference but, just in case, I'll
mention Alex Borgida's 1996 paper "On the Relative Expressiveness of
Description Logics and Predicate Logics", which makes its point by setting
up a translation:
ftp://ftp.cs.rutgers.edu/pub/borgida/dl-vs-fol.pdf.gz

#g
--

At 15:38 27/09/04 -0400, Harry Halpin wrote:

>While we're on the topic....
>         Is there any way to map from FOL->DL while minimizing expressive
>power lost? While I'm being informal with "minimizing expressive power
>lost", I mean either:
>    a) Given a formula \phi, the translated formula T(\phi) should be
>       logically equivalent to \phi.
>    b) Given a formula \phi, the translated formula T(\phi) should be
>       satisfiable iff the formula \phi is satisfiable.
>
>         Now, clearly this won't work for all of FOL, but it could for
>some statements. And you think there would be ways of going from FOL->DL
>that were sensible.
>         Ian Horrocks had a few simple rules in his FOL vs. DL Reasoner
>paper, but I can't find much else in the literature. Anyone got
>any ideas or references?
>         FOL can be useful, see Pat Hayes's note:
>ttp://www.aifb.uni-karlsruhe.de/~sst/is/WebOntologyLanguage/hayes.htm
>
>                                         -Harry
>
>
>On Mon, 27 Sep 2004, Peter wrote:
>
> >
> > dear all,
> >
> >  given a sentence like this
> > "book has color red"
> >
> > how can i map it into  FOL format
> > subject, object, property and property value
> > which is which. thank u
> > sorry for newbie quesiton.
> >
> > yours
> > peter.
> >
> >

------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact

Received on Tuesday, 28 September 2004 10:00:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:49 GMT