(Object|Data)Property axioms missing in semantics document

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 UTC

OSZAR »