Move OneOf to Owl Full (carried over from telecon)

WOWGers:
  On yesterday's telecon, near the end, I cut off discussion of the 
issue of the computational/reasoning issues w/respect to OWL DL so we 
could close the hasValue issue.  Someone brought up the following 
suggestion, but I must apologize - due to my bad phone connection I 
couldn't hear who it was:

The suggestion was that if we moved oneOf (and hasValue I guess) to 
OWL Full, then OWL DL would not only be decidable, but there would be 
a known implementation of a decision procedure that was sound, 
complete and reasonably efficient.

I am not arguing either for or against the above - just carrying the 
discussion to the mailing list as I said I would
  -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 Friday, 13 December 2002 09:25:10 UTC