typing triples in RL rules for negative property assertions

Hi!

Here's a last minute change request (technical change).

While looking at the two new RL rules for negative property assertions (n.p.a.) at 

  <http://www.w3.org/2007/OWL/wiki/Fragments_Proposal#prp-npa1>

I found that both rules contain the typing triple

  T(?x, rdf:type, owl:NegativePropertyAssertion)

in the antecedent. This is not necessary: the remaining triples in the premises are sufficient to identify an n.p.a., even for distinguishing between object and data n.p.a. Further, the rest of RL usually does not require typing triples, if they are not necessary (exception: owl:All*** axioms). For example, all the rules treating property restrictions miss the typing triple

  T(?x, rdf:type, owl:Restriction).

And the rule for "owl:inverseOf" does not require the two arguments to be typed as properties. And so for many other cases. This practice is also in best accordance with the RDF-Based Semantics (since OWL 1).

So I propose to drop the typing triple from the n.p.a. rules.

Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
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, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================