- From: Michael Schneider <schneid@fzi.de>
- Date: Mon, 5 Nov 2007 21:29:44 +0100
- To: "Uli Sattler" <sattler@cs.man.ac.uk>
- Cc: "Owl Dev" <public-owl-dev@w3.org>
(Ah, finally an answer, after 5 weeks of waiting. :)) Hi, Uli! >-----Original Message----- >From: Uli Sattler [mailto:sattler@cs.man.ac.uk] >Sent: Monday, November 05, 2007 4:13 PM >To: Michael Schneider >Cc: Owl Dev >Subject: Re: What about sub property chains for datatype >properties? (ISSUE-8) > >Hi Michael, > >there are reasons why these sub-property chains are only made up of >object properties: decidability in OWL (DL and 1.1) relies on the >fact that "datatype consistency" can be checked for each object >separately, without referring to other objects and the values of >their datatype properties. If we would need to do this, we would more >likely be in trouble, and would need to > >- be much more careful about what datatypes and datatype predicates >to allow without loosing decidability and >- use more complex reasoning mechanisms that have, to the best of my >knowledge, only been described on paper and never been implemented or >tested. > >So, I can see your use case, but I don't think we know enough about >this yet. Ok! Good to hear that there is at least some ongoing research on this topic. So then I leave it to you to close this issue (I can't anyway :)), or perhaps better mark it as "postponed", so the next WG (working on OWL-1.2 or whatever) will have an opportunity to look at this issue in a few years again. >If you want to know more, check out > >Carsten Lutz and Maja Milicic. A Tableau Algorithm for Description >Logics with Concrete Domains and General TBoxes. Journal of Automated >Reasoning. To appear. >http://lat.inf.tu-dresden.de/~clu/papers/archive/jar06.pdf > >Carsten Lutz. Description Logics with Concrete Domains - A Survey. In >Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, and Michael >Zakharyaschev, editors, Advances in Modal Logics Volume 4. King's >College Publications, 2003. >http://lat.inf.tu-dresden.de/~clu/papers/archive/aiml4.ps.gz Thanks for this! > >Cheers, Uli Cheers, Michael >On 2 Oct 2007, at 13:26, Michael Schneider wrote: > >> >> Hi! >> >> It just stroke me that there seem to be only Sub/Object/ >> PropertyChains in >> the current OWL-1.1 draft [1]. Does anyone know if there is a >> problem with >> also having sub property chains of the form >> >> SubDataPropertyOf( >> SubDataPropertyChain(R1 ... Rn-1 Dn) >> D ) >> >> where Dn and D are DataPropertyS (having compatible >datatypes as their >> ranges), while R1 ... Rn-1 are ObjectPropertyS? >> >> With such a SubDataPropertyChain, one could for instance translate >> rules >> like: >> >> ?x hasFather ?y AND ?y hasFamilyName ?fn >> ==> ?x hasFamilyName ?fn >> >> with ?fn being an xsd:string, into an equivalent OWL axiom >> >> SubDataPropertyOf( >> SubDataPropertyChain(hasFather hasFamilyName) >> hasFamilyName ) >> >> In this case, the super property whould equal the final chain >> property (both >> 'hasFamilyName'). >> >> An example for a more general rule type (the analogon of the >> 'uncle' rule) >> would be: >> >> ?g containsUser ?u AND ?u hasUserID ?i >> ==> ?g containsUserWithID ?i >> >> where ?g would stand for some user group. Here, the DataPropertyS >> 'hasUserID' and 'containsUserWithID' differ from each other, >> because they >> are intended to have a different meaning. >> >> Any ideas, if this feature has a chance to enter the family of >> OWL-1.1 (or >> 1.2 :)) axioms? Or did I overlook some fundamental issue here? >> >> Cheers, >> Michael >> >> [1] OWL-1.1 Semantics >> http://www.webont.org/owl/1.1/semantics.html#2 >> -- 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 Monday, 5 November 2007 20:30:08 UTC