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

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