W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2011

Using cardinality restrictions

From: <Soeren.Kemmann@iese.fraunhofer.de>
Date: Tue, 12 Jul 2011 11:27:56 +0200
Message-ID: <AAEECBB86B185F468D8134DE603C20D4021569BD@hermes.iese.fhg.de>
To: <public-owl-dev@w3.org>
Cc: <Soeren.Kemmann@iese.fraunhofer.de>
Hi there,

 

I’m trying to model (with Protégé 3.4.6 with Pellet Reasoner … just in case
it matters) that a class A has two subclasses B and C, where B and C are
disjoint.

The distinction I want to make is that every instance of A is either of
subclass B or of C dependent on the cardinality of a property p.

The “test” is whether the instance has values assigned to property p ( p min
1). This kind of works … the instances are interfered to be of that type.

But the other class does not work. If tried (p max 0), (p exactly 0), (p
exactly 0 RangeClass), but nothing works.

 

I’m using OWL-DL and as far as I understood 0/1 cardinalities are ok for
OWL-DL, right?

 

Thanks a lot!

Cheers,

Sören

 

 

Dipl. Inf. Soeren Kemmann
Fraunhofer IESE
Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany
Tel.: +49 (0) 631 / 6800 - 2218
Fax.: +49 (0) 631 / 6800 - 9 2218
 <mailto:soeren.kemmann@iese.fraunhofer.de>
mailto:soeren.kemmann@iese.fraunhofer.de





Received on Tuesday, 12 July 2011 10:00:21 GMT

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