- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Tue, 16 Jul 2002 23:06:53 +0200
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: www-webont-wg@w3.org
[...] > > the actual action is > > [[[ > > 23:57:57 [jhendler] > > ACTION: Pat will attempt to take abstract syntax, and Peter's MT > > and the mapping into RDF and will write a model theory in > > the Connolly style (i.e. as an extension to RDF MT) and > > see if he can identify the exact issues. > > ]]] > > -- http://www.w3.org/2002/07/02-webont-irc#T23-57-57 > > which is nice > > 1/ I hope that this is not taken as an excuse to delay any substantive > discussion on the issues until after Pat's model theory is produced (and > debated and debugged), which may not be until well into August. right in the mean time I wanted to beg some help... we now have it that :H owl:oneOf ( :small :medium :tall ) . :K owl:oneOf ( :tall :medium :small ) . :G owl:oneOf ( :medium :small ) . :large rdf:type :H . owl-entails :small rdf:type :H . :K owl:sameClassAs :H . :G rdfs:subClassOf :K . :large eg:inconsistentWith owl:oneOf . ??? so I thought (and tried sucessfully out with http://www.agfa.com/w3c/euler/owl-rules) why not having that :p owl:extension ( ( :s1 :o1 ) ( :s2 :o2 ) ) . :q owl:extension ( ( :s2 :o2 ) ( :s1 :o1 ) ) . :r owl:extension ( ( :s1 :o1 ) ) . :s3 :p :o3 . owl-entails :s1 :p :o1 . :q owl:samePropertyAs :p . :r rdfs:subPropertyOf :q . ( :s3 :o3 ) eg:inconsistentWith owl:extension . as ako explicitly stating the definitive extension of a property and check it's consistencies as well (just like for classes) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 16 July 2002 17:07:30 UTC