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

Re: incorrect ontology - QCR?

From: Marco Colombetti <colombet@elet.polimi.it>
Date: Mon, 20 Dec 2010 23:10:20 +0100
To: "Nadja Lederer" <nadja_lederer@gmx.at>,public-owl-dev@w3.org
Message-ID: <web-31063005@elet.polimi.it>
There is a problem with Hermit, as Birte kindly explained 
to me some time ago. It cannot handle "large" 
cardinalities (which means above 3 or 4) because of the 
way they are represented internally. No problem with other 
reasoners, like Pellet.

Marco

On Mon, 20 Dec 2010 14:46:33 +0100
  "Nadja Lederer" <nadja_lederer@gmx.at> wrote:
> Hello all,
> 
> I'm stuck with a problem concerning Qualified 
>Cardinality Restrictions in OWL ontology modelling and I 
>really hope you could give some hints ;-)
> 
> I established an object property and made a class 
>restriction like
> "Game hasPositions exactly 22 Position".
> Unfortunately the ontology doesn't seem to be able to 
>handle a restriction like that. The result is, that in 
>the course of classifying the reasoner (HermiT-Reasoner) 
>within protege never comes out of the initialization 
>process. It only starts to reason our ontology by using
> "Game hasPositions some Position", which is not what we 
>wanted to model.
> 
> Do you have any suggestions how to overcome a problem 
>like this? Is this a problem with the ontology?
> 
> thank you very much,
> cheers,
> 
> nadja
> 
> -- 
> GMX DSL Doppel-Flat ab 19,99 Euro/mtl.! Jetzt auch mit 
> gratis Notebook-Flat! http://portal.gmx.net/de/go/dsl
> 
> 
Received on Monday, 20 December 2010 22:11:00 GMT

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