- 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
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 UTC