Leo, Jeff, and Elisa, (01)
I went to the TrOWL web site ( http://trowl.eu/ ) and found some
very strange comments: (02)
> 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. (03)
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. (04)
Are you claiming that DL, QL, and EL have different semantics? (05)
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. (06)
Why do these systems require approximations? What is the
point of multiple notations with a common name (OWL), but
incompatible semantics? (07)
John Sowa (08)
_________________________________________________________________
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 (09)
|