W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Move OneOf to Owl Full (carried over from telecon)

From: Jim Hendler <hendler@cs.umd.edu>
Date: Fri, 13 Dec 2002 09:25:06 -0500
Message-Id: <p05111728ba1f9d15c22e@[]>
To: webont <www-webont-wg@w3.org>

  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

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)
Received on Friday, 13 December 2002 09:25:10 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:49 UTC