- 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
[...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 UTC