Yes, I was just forwarding an interesting and relevant morsel from another
list. Potentially interesting to OOR. (01)
Thanks,
Leo
--------------------------
Dr. Leo Obrst, MITRE, Information Semantics, lobrst@xxxxxxxxx, 703-983-6770 (02)
----- Original Message -----
From: peter.yim@xxxxxxxxx <peter.yim@xxxxxxxxx>
To: John F. Sowa <sowa@xxxxxxxxxxx>; Obrst, Leo J.; Pan, Dr Jeff Z.
<jeff.z.pan@xxxxxxxxxx>; Elisa Kendall <ekendall@xxxxxxxxxxxx>
Cc: Edward Barkmeyer <edbark@xxxxxxxx>; OpenOntologyRepository-discussion
<oor-forum@xxxxxxxxxxxxxxxx>
Sent: Wed Jun 09 20:39:39 2010
Subject: Re: [oor-forum] FW: [Fwd: BioPortal 2.5 Released] (03)
John ... I don't believe Jeff Pan, Elisa Kendall (or Ed Barkmeyer) are
subscribed to the [oor-forum] list. I'm including them now. (04)
All: please note that John was responding to Leo's message:
http://ontolog.cim3.net/forum/oor-forum/2010-06/msg00003.html (05)
Regards. =ppy
-- (06)
On Wed, Jun 9, 2010 at 5:27 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> Leo, Jeff, and Elisa,
>
> I went to the TrOWL web site ( http://trowl.eu/ ) and found some
> very strange comments:
>
> > TrOWL utilises a semantic approximation to transform OWL2-DL
> > ontologies into OWL2-QL for conjunctive query answering and
> > a syntactic approximation from OWL2-DL to OWL2-EL for TBox
> > and ABox reasoning.
>
> Why does that word 'approximation' pop up twice in a single
> sentence? If you have a well-defined semantic foundation,
> all the permissible transformations are exact.
>
> Are you claiming that DL, QL, and EL have different semantics?
>
> I can understand the idea of having different levels of
> expressive power for different subsets. But then the
> mappings between versions are just subset/superset.
>
> Why do these systems require approximations? What is the
> point of multiple notations with a common name (OWL), but
> incompatible semantics?
>
> John Sowa
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/oor-forum/
> Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx
> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/
> Shared Files: http://ontolog.cim3.net/file/work/OOR/
> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository
> (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/oor-forum/
Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/
Shared Files: http://ontolog.cim3.net/file/work/OOR/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository (08)
|