W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

TEST: inconsistency testcases for maxCardinality feature

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
Message-ID: <OF5D631769.B1B2545E-ONC1256C40.004FC8B8-C1256C40.0050DD06@agfa.be>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT