- From: Bill Andersen <andersen@ontologyworks.com>
- Date: Tue, 28 Sep 2004 10:58:04 -0400
- To: Graham Klyne <GK@ninebynine.org>
- Cc: Harry Halpin <hhalpin@ibiblio.org>, Peter <meancity@gmail.com>, www-rdf-interest@w3.org, <www-rdf-logic@w3.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 UTC