Re: incorrect ontology - QCR?

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 UTC