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

Re: TEST: inconsistency testcases for maxCardinality feature

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 26 Sep 2002 17:19:29 +0200
To: pfps@research.bell-labs.com
Cc: www-webont-wg@w3.org
Message-ID: <OFE6397543.C2732BFE-ONC1256C40.00535184-C1256C40.00542EB6@agfa.be>


[...was expecting worse]

>> 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
>
>No, this is consistent.  Remember, there is no unique names assumption.

OK, would it be OK to add that :ob1, :ob2 and :ob3 are pairwise
owl:differentFrom each other?
is there another way?

>> -------------------------------------------------------------------
>>
>> 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
>
>Similarly, also consistent.
>
>> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>
>Further, neither of the above is RDF.  In proposing a test, I think that
>the actual test needs to be given out.

OK, just dereference the given URI's and you get the RDF/XML
I just extracted the comments into my message

>peter

>PS: I get an error when accessing the
>http://www.w3.org/2002/03owlt/maxCardinality/ directory.  Is this the
>desired behaviour?

I have no clue as to how I could change that, DanC?
(directories somehow seem to be special)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 26 September 2002 11:20:04 GMT

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