- From: Michael Schneider <schneid@fzi.de>
- Date: Thu, 18 Oct 2007 11:04:44 +0200
- 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 UTC