W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

RE: Expressivity of sub property chains

From: Michael Schneider <schneid@fzi.de>
Date: Sat, 8 Sep 2007 16:12:48 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0409AAE@judith.fzi.de>
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 ;-)).


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].
>[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/ 
>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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:15 UTC