On Thu, 2002-03-21 at 14:15, Peter F. Patel-Schneider wrote: [...] > Indicative Inferences, Queries, and Expressiveness These are a great way to cut to the chase; I'm trying to turn these into test cases... > Inference 1-intersection/ > Premises: John is an instance of Student > John is an instance of Employee > Conclusion: John is an instance of the intersection of Student and Employee I got that one transcribed and working with no problem (I'll release it presently...), but... > Inference 2-restrictions/ > Premises: John is an instance of Student with no children > Conclusion: John is an instance of the restriction that requires no children I don't understand how to say the premise and the conclusion of this argument differently in DAML+OIL. I can make a test of the form "does P imply P?" but it's not very interesting; I don't think I understand the point of this one. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Thursday, 28 March 2002 11:28:27 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:29 GMT