W3C home > Mailing lists > Public > semantic-web@w3.org > October 2006

Translating from FOPL to DL

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Tue, 31 Oct 2006 13:07:33 +0000
Message-ID: <45474A95.5060801@cancer.org.uk>
To: Semantic Web <semantic-web@w3.org>, Pellet <pellet-users@lists.mindswap.org>, jena-dev@yahoogroups.com

Dear All,

I have seen the translation (pi) from DL to FOPL (e.g. in DL Handbook). 
I am trying to work out how to do the reverse for a very limited subset 
of FOPL (just terms with constants and variables). I'm having a few 
problems with handling the variables in properties. E.g:

A(x) => A

is ok, but:

R(x,y) => \exists R.

seems to wrong.

Has anyone seen/ done anything like this already?



P.S. Apologies for cross-posting - not sure of the most appropriate 
forum for this.
+44 (0)7834 899570
Received on Tuesday, 31 October 2006 13:08:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:18 UTC