- From: Michael Schneider <schneid@fzi.de>
- Date: Sat, 8 Sep 2007 16:12:48 +0200
- To: "Ian Horrocks" <horrocks@cs.man.ac.uk>
- Cc: <public-owl-dev@w3.org>, <EZolin@cs.man.ac.uk>
Thanks, Ian, this is really good news (not only to my uncle ;-)). Cheers, Michael Ian Horrocks wrote on September 08, 2007 3:46 PM: >Yes, you get your uncle -- in later versions of our work on complex >role inclusion axioms (on which this aspect of OWL 1.1 is based) we >were able to relax the restrictions that ensure decidability. It has >recently been shown that even further relaxation of these >restrictions is possible [1]. > >Ian > >[1] Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin. How many legs do I >have? Non-simple roles in number restrictions revisited. In Proc. of >the 14th Int. Conf. on Logic for Programming, Artificial >Intelligence, and Reasoning (LPAR'2007). http://www.cs.man.ac.uk/ >~ezolin/pub/zolin_2007_LPAR.pdf > >On 8 Sep 2007, at 13:53, Michael Schneider wrote: > >> >> Hi, list! >> >> I wonder if it will be possible in OWL-1.1 to express (the one >> direction of) >> the "uncle" relation >> >> (?x hasParent ?y), (?y hasBrother ?z) -> (?x hasUncle ?z) >> >> or not? -- 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 Saturday, 8 September 2007 14:13:05 UTC