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