W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2004

Re: mapping FOL -> DL

From: Bill Andersen <andersen@ontologyworks.com>
Date: Tue, 28 Sep 2004 10:58:04 -0400
Message-Id: <CCE9EFC6-115E-11D9-89F4-003065FB6814@ontologyworks.com>
Cc: Harry Halpin <hhalpin@ibiblio.org>, Peter <meancity@gmail.com>, www-rdf-interest@w3.org, <www-rdf-logic@w3.org>
To: Graham Klyne <GK@ninebynine.org>


On Sep 28, 2004, at 5:55 AM, Graham Klyne wrote:

>
> 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

Graham,

Isn't the question here how to take an arbitrary FOL theory and "make 
the best of it" in OWL?  Alex's paper (if memory serves) gave the 
translation from some DL or other *into* FOL, not the other way around.

	.bill

--
Bill Andersen (andersen@ontologyworks.com)
Chief Scientist
Ontology Works, Inc. (www.ontologyworks.com)
1132 Annapolis Road, Suite 104,
Odenton, MD 21113
Office: 410-674-7600
Cell: 443-858-6444
Fax: 410-674-6075
Received on Tuesday, 28 September 2004 14:58:13 GMT

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