Need a test -- inverse and oneOf

To be able to close some of our LC comments, there must be a test in 
our test suite that includes both inverse and oneOf.  In an earlier 
message I outlined a simple one, but perhaps someone in the WG can 
come up with a better one.  It is my opinion that without such a test 
we will have trouble convincing some people that OWL DL is 
implementable (cf the comments from Jena and HP).  Can we please get 
such a test at least proposed??
  thanks
  JH



-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Wednesday, 11 June 2003 07:32:09 UTC