- From: Birte Glimm <b.glimm@googlemail.com>
- Date: Wed, 24 Nov 2010 15:41:44 +0000
- To: public-owl-dev@w3.org, Sebastian Rudolph <sebastian.rudolph@aifb.uni-karlsruhe.de>, Bijan Parsia <bparsia@cs.man.ac.uk>
On 23 November 2010 12:52, Sebastian Rudolph <sebastian.rudolph@aifb.uni-karlsruhe.de> wrote: > Hi, > > Am 23.11.2010 um 12:45 schrieb Bijan Parsia: > >> On 23 Nov 2010, at 10:39, Sebastian Rudolph wrote: >> >>> Hi Bijan, >>> >>> I resend this to you personally, as my mail to the list didn't get through for some reason. Feel free to share... >> >> Will do. >> >>> Best, >>> Sebastian >> [snip] >>>> Let me step in for Birte here (as I co-authored the paper). Yes, and actually I should mention that I mainly did the implementation and the encoding is due to Sebastian. >> Yep! Sorry for not making that clearer. I forgot you were on the list. > > Never mind. >> >>>> In fact, Theorem 1 just states that if you just rewrite the KB in the presented way, the consequences on the original vocabulary do not change. However, if you additionally postulate axioms on the extended (reified) vocabulary this will change things. In particular if you assert o_houseMouse same as o_fieldMouse, this will have exactly the effect that Bijan assumed, namely extensional equivalence of the two classes. Feel free to check with any OWL-compliant reasoner. >> >> Ok, that's pretty cool. I didn't think you could implement Hilog semantics with a preprocessing step. > > It's a bit "hacky" but it works. But only for classes, it fails for roles. > >> >> Oh, but the main difference is the stratification (maybe)? Hmm. >> >> Is the translator available or do I have to write it byhand? Yes, see: http://www.hermit-reasoner.com/2010/metamodeling/metamodeling.zip The zip file contains all things needed to re-perform the experiments and part for that is a class that takes an ontology and performs the required preprocessing, see also the readme in the zip. Birte > Birte (in cc) has some code. > >> >> Cheers, >> Bijan. >> > > > Best, > Sebastian > > > _________________________________________________ > Dr. Sebastian Rudolph > senior researcher & project leader at AIFB > Karlsruhe Institute of Technology (KIT) > rudolph@kit.edu phone +49 721 608 - 7362 > www.sebastian-rudolph.de fax +49 721 608 - 5998 > > > > > -- Dr. Birte Glimm, Room 309 Computing Laboratory Parks Road Oxford OX1 3QD United Kingdom +44 (0)1865 283520
Received on Wednesday, 24 November 2010 15:42:21 UTC