W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

(Object|Data)Property axioms missing in semantics document

From: Michael Schneider <schneid@fzi.de>
Date: Thu, 18 Oct 2007 11:04:44 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A04A84CE@judith.fzi.de>
To: "Owl Dev" <public-owl-dev@w3.org>

Hi!

The "Structural Specification and Functional-Style Syntax" document 

  <http://www.webont.org/owl/1.1/owl_specification.html#4.1>

defines the functional syntax for the axioms

  * ObjectProperty(P)
  * DataProperty(U)

But in the "Model-Theoretic Semantics" document

  <http://www.webont.org/owl/1.1/semantics.html>

the different "functional syntax --> semantics" tables do not contain
explicit entries for these two axioms.

Is there a reason for this omission? I don't really know, but perhaps, such
entries would be redundant, because the semantics of object properties and
data properties are already discussed in chapter 2 ("Model-Theoretic
Semantics") of the same document, although without mentioning the respective
functional style expressions.

>From a practical point of view I would appreciate to have the two additional
entries in one of the tables, because I generally use the tables in this
"semantics" document whenever I am uncertain about the correct way to write
the different axioms. Yes, I know, this is not the intended usage of this
document. :-) But otherwise I would have to go to the "syntax" document and
follow the grammar rules there, what I regard to be pretty inconvenient in
certain cases!

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
Received on Thursday, 18 October 2007 09:04:57 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT