Michael Schneider wrote:
> After understanding now that the OWL-Full semantics are (largely) defined by
> a set of semantic conditions on the URIs of the OWL/RDF vocabulary, another
> thing comes to my mind. There is a lot of new vocabulary in OWL-1.1 (e.g.
> "owl11:SelfRestriction", "owl11:onClass"). And there are new combinations of
> RDF triples, which, while not making use of any new vocabulary, have at
> least to be seen as "special" constructs in comparison to OWL-1.0, like for
> instance the RDF mapping of sub property chains. See table 2 in
>
> http://www.webont.org/owl/1.1/rdf_mapping.html
>
> Shouldn't there be new and/or adjusted OWL-Full semantic conditions for
> this, too? I have not seen them in any of the draft documents? And wouldn't
> the addition of such new semantic conditions enlarge the danger of getting
> inconsistencies in OWL-Full(-1.1)?
>
Yes - the OWL WG Charter acknowledges these points to my satisfaction, see:
http://www.w3.org/2007/06/OWLCharter.html
[[
All new features should have a clear syntax, and a clear semantics both
in terms of OWL DL and OWL Full. The existing compatibility between OWL
DL and OWL Full should be preserved, and should be extended to new
features wherever possible.
]]
I am hoping to post something to the OWL WG list on sub property chains,
real soon now.
Jeremy