W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2008

The "n-ary hook" in the RDF-Based Semantics

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 5 Nov 2008 21:05:16 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0E061F1@judith.fzi.de>
To: "W3C OWL Working Group" <public-owl-wg@w3.org>, "Ivan Herman" <ivan@w3.org>
Hi!

I was privately asked by Ivan about what the n-ary hook is in the RDF-Based Semantics. The answer that I propose is perhaps interesting for a few other people, too, so I post it to the public list. Whatever the resolution of ISSUE-127 will be, it will probably also affect the RDF-Based Semantics. For example, I would need to add an "At Risk" note there, too, if adding such would be our resolution.

For the RDF-Based Semantics, I understand the n-ary hook to be every part of the document that would have to be removed or changed if support for n-aries would be removed from OWL 2. These parts are (excluding current EdNotes concerned with n-ary datatypes):

* in Table 2.1 ("OWL 2 Full Vocabulary") 
  the URI "owl:onProperties"

* in Table 4.4 ("Semantic Conditions for Properties") 
  the entry for "owl:onProperties"

* in Table 4.7 ("Semantic Conditions for Restrictions") 
  the two entries that combine 
  "owl:allValuesFrom" and "owl:someValuesFrom"
  with "owl:onProperties"

* in Table 6.4 ("Comprehension Principles for Restrictions")
  the two entries that combine 
  "owl:allValuesFrom" and "owl:someValuesFrom"
  with "owl:onProperties"

I believe that is all, but if anyone finds something else or has a question, please reply.

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


Received on Wednesday, 5 November 2008 20:06:01 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC