Boris Motik wrote on February 19, 2008: >The main feature of the current proposal is that, rather than >using the construct by Peter that is not axiom based, bnodes are >introduced directly into the functional-style syntax. It is >true that Skolem semantics are proposed, but this gives the additional >advantage that arbitrary graphs can be accommodated, so in >this sense it reduces the gap between DL and Full. > >It would be possible to use the same technique with >existential semantics, but this would require a side condition >ruling out non- >tree graphs in order to maintain decidability. Ah, you mean that ObjectPropertyAssertion ( R _:x _:x ) would now be possible with your proposal, right? 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
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 20 February 2008 17:41:09 GMT