RE: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about?

>-----Original Message-----
>From: Ian Horrocks [mailto:ian.horrocks@comlab.ox.ac.uk]
>Sent: Tuesday, August 12, 2008 4:18 PM
>To: Michael Schneider
>Cc: public-owl-wg Group WG; Ivan Herman; Zhe Wu
>Subject: Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R)
>about?
>
>Michael (and Ivan),
>
>I don't have any problem with axiomatic triples in principle.
>However, while they may be (relatively) harmless in principle, I
>worry that they could be extremely damaging from an implementation
>perspective.
>
>Presumably, making axiomatic triples be part of OWL RL (Full) would
>mean extending the rule set so that it would generate such triples.
>There could be a very large (perhaps even infinite) number of such
>triples.

I just had a look: In addition to what exists in RDFS, OWL 2 Full will
(current state) contain 182 OWL specific axiomatic triples. For OWL RL
(Full) it would be a few less, because some vocabulary is missing, but it
would be approximately the same number (too lazy to count them now).
 
>This might be a serious burden on implementations and lead
>to a significant degradation in performance.
>
>I CCed Zhe on this in the hope that we can get a view on this from an
>OWL R implementer.

Yes, let's see what Zhe thinks!

>ian

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