W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Re: class and inviduals

From: Birte Glimm <b.glimm@googlemail.com>
Date: Wed, 24 Nov 2010 15:41:44 +0000
Message-ID: <AANLkTimssNRLevEcOfVy3=BqMLEe_TY-YCQNmdNFKXAg@mail.gmail.com>
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT