W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

typing triples in RL rules for negative property assertions

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 15 Apr 2009 21:05:29 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A00125F987@judith.fzi.de>
To: "OWL 1.1" <public-owl-wg@w3.org>

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 


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.


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

Received on Wednesday, 15 April 2009 19:06:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:58 UTC