Re: ACTION-93 (Full semantics): Short report about current state

Michael,

thanks.

I was just wondering... maybe it would be helpful to add a more explicit 
RDF syntax into the document. It may help the reader.

As an example, I looked at the sub property chain[1]; I guess what you 
describe there as a possible syntax can be translated into RDF/XML and 
turtle as:

<rdf:Description>
   <owl11:subObjectPropertyChain rdf:parseType="Collection">
     <rdf:Description rdf:about="#p1"/>
     <rdf:Description rdf:about="#p2"/>
     ...
     <rdf:Description rdf:about="#pn"/>
   </owl11:subObjectPropertyChain>
   <rdfs:subPropertyOf rdf:resource="#q"/>
</rdf:Description>

[
   owl:subObjectPropertyChain (<#p1> <#p2> ... <#p3>);
   rdfs:subPropertyOf <#q>
].

which looks pretty intuitive to me syntax-wise...

By the way, on the very same page, you raise the possibility for an 
alternative syntax, namely:

q owl11:subObjectPropertyChain ( p_1 ... p_n )

ie, in Turtle:

<#q> owl11:subObjectPropertyChain (<#p1> <#p2> ... <#pn>) .

At first glance this looks more compact but it might be 
counter-intuitive. Indeed, we already have, from RDFS

<#a> rdfs:subPropertyOf <#b>

In the latter, <#a> is the 'sub' and <#b> is the 'super'. On the other 
hand, in the syntax above, <#q> is the 'super' and, well, the chain is 
the 'sub':-( This may lead to errors...

Ivan

[1] http://www.w3.org/2007/OWL/wiki/FullSemanticsSubPropertyChains

Michael Schneider wrote:
> Hi WG!
> 
> My ACTION-93 is to initiate the creation of semantics for OWL-1.1-Full. 
> 
> Since last week, the sub-Wiki for the Full development was further enhanced.
> You can find its entry page at
> 
>   <http://www.w3.org/2007/OWL/wiki/Full>
> 
> In the meanwhile, four categories of the new language features in OWL-1.1
> have been finished, which means that they are, in principle, ready for
> review by the WG. For a large fraction of the remaining categories work has
> started this week. I hope to finish a few of them until the end of the week.
> 
> Cheers,
> Michael
> 
> --
> Dipl.-Inform. Michael Schneider
> FZI Forschungszentrum Informatik Karlsruhe
> Abtl. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: Michael.Schneider@fzi.de
> Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555
> 
> FZI Forschungszentrum Informatik an der Universität Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts
> Az: 14-0563.1 Regierungspräsidium Karlsruhe
> Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf