Re: completeness

I personally have no problem with saying "if you mess with the OWL  
vocabulary, you are on your own" (or whatever polite way we say Don't)  
-- I think in OWL 1.0 we wasted a lot of time worrying about border  
cases of this kind, and in practice it is rarely done - most people  
understand that if you mess with the reserved vocabularies in most  
languages you get screwed, and I haven't seen anyone demanding the  
ability to do - it is great fun to come up with cases that do all  
sorts of neat things and this is no different for the fragment than  
for the whole language - for example owl:Thing owl:sameAs owl:Nothing  
made for some neat results in (previous versions of) Pellet.


On Feb 28, 2008, at 2:58 PM, Alan Ruttenberg wrote:

> On Feb 28, 2008, at 6:10 AM, Peter F. Patel-Schneider wrote:
>> Note: I have not thought much about the pD* treatment of owl:sameAs  
>> as
>> it relates to messing with the OWL vocabulary.
>
> We have some choices in defining this fragment. OWLPrime advocates:  
> Do you really want to be able to mess with the OWL vocabulary,  
> considering that it opens up all sorts of possibilities for trouble?
>
> -Alan
>

"If we knew what we were doing, it wouldn't be called research, would  
it?." - Albert Einstein

Prof James Hendler				http://www.cs.rpi.edu/~hendler
Tetherless World Constellation Chair
Computer Science Dept
Rensselaer Polytechnic Institute, Troy NY 12180