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

Re: Again on All humans love (all) cats

From: Marco Colombetti <colombet@elet.polimi.it>
Date: Wed, 13 Oct 2010 18:55:39 +0200
To: Jie Bao <baojie@gmail.com>
Cc: public-owl-dev@w3.org
Message-ID: <web-30103268@elet.polimi.it>
Thank you, this clarifies the matter a lot.

Best,

Marco

On Wed, 13 Oct 2010 11:34:46 -0400
  Jie Bao <baojie@gmail.com> wrote:
> Marco
> 
> The wording of OWL 2 DL global restrictions on axioms 
>[1], for my
> understanding, does not require the "top property" to be 
>the top in
> the partial order of object properties. If we add 
> ObjectProperty:
> pHuman  SubPropertyOf: owl:topObjectProperty, which 
>itself is an
> tautology (or as you do by defining the property 
>"identity"), would
> lead to an OWL 2 Full ontology as it violates the 
>restriction on the
> property hierarchy.
> 
> Whether this is a bug in OWL 2 DL is debatable. I found 
>that, in the
> SROIQ paper [2], the regularity requirement is also 
>defined on axioms
> (thus, syntax specifications), not on inferred role 
>inclusions.
> 
> [1] 
>http://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL
> [2] 
>http://www.cs.man.ac.uk/~sattler/publications/sroiq-TR.pdf
> 
> Cheers
> Jie
> 
> On Wed, Oct 13, 2010 at 04:06, Marco Colombetti 
><colombet@elet.polimi.it> wrote:
>> I may have missed some message in this thread, but I 
>>still do not understand
>> whether
>>
>>  pHuman o topObjectProperty o pCat SubPropertyOf loves
>>
>> is acceptable in OWL 2 DL, or it isn't because it brings 
>>in a circular
>> dependency between loves and topObjectProperty.
>>
>> I made a few experiments with existing reasoners: the 
>>chain subproperty
>> axiom works fine with HermiT (I mean it infers all 
>>assertions of form
>> loves(human,cat)), does not work with Pellet (no 
>>assertion of form
>> loves(human,cat) is inferred), and it makes my Fact++ 
>>crash.
>>
>> Best,
>>
>> Marco
>>
>> PS. Here is my ontology:
>>
>> Class: Human
>>    EquivalentTo: pHuman some owl:Thing
>> Class: Cat
>>    EquivalentTo: pCat some owl:Thing
>> ObjectProperty: identity
>>    SubPropertyOf: owl:topObjectProperty
>>    Characteristics: Functional, Reflexive
>> ObjectProperty: pHuman
>>    SubPropertyOf: identity
>> ObjectProperty: pCat
>>    SubPropertyOf: identity
>> ObjectProperty: loves
>>    SubPropertyOf: owl:topObjectProperty
>>    SubPropertyChain: pHuman o owl:topObjectProperty o 
>>pCat
>>    Domain: Human
>>    Range: Cat
>>
>>
>>
Received on Wednesday, 13 October 2010 16:56:21 GMT

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