- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 26 Sep 2002 16:43:14 +0200
- To: www-webont-wg@w3.org
I'm feeling weak when it comes to cardinalities but not too weak
to risk 2 inconsistency testcases for the maxCardinality feature
-------------------------------------------------------------------
if
:sb1 :prop :ob1 .
:sb1 :prop :ob2 .
:sb1 :prop :ob3 .
and
:sb1 a [ a owl:Restriction;
owl:onProperty :prop;
owl:maxCardinality "2" ] .
then
this is inconsistent
-- http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001.rdf
-------------------------------------------------------------------
if
:sb1 :prop :ob1 .
:sb1 :prop :ob2 .
:sb1 :otherprop :ob3 .
and
:sb1 a [ a owl:Restriction;
owl:onProperty :prop;
owl:maxCardinality "2" ] .
:otherprop rdfs:subPropertyOf :prop .
then
this is inconsistent
-- http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002.rdf
-------------------------------------------------------------------
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 26 September 2002 10:43:50 UTC