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

incorrect ontology - QCR?

From: Nadja Lederer <nadja_lederer@gmx.at>
Date: Mon, 20 Dec 2010 14:46:33 +0100
Message-ID: <20101220134633.323420@gmx.net>
To: public-owl-dev@w3.org
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 21:46:54 GMT

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