John ... I don't believe Jeff Pan, Elisa Kendall (or Ed Barkmeyer) are
subscribed to the [oor-forum] list. I'm including them now. (01)
All: please note that John was responding to Leo's message:
http://ontolog.cim3.net/forum/oor-forum/2010-06/msg00003.html (02)
Regards. =ppy
-- (03)
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
> (04)
_________________________________________________________________
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 (05)
|