Consistency, decidability, etc (was Re: SEM: 5.1 literal/data values was RE: ADMIN: Minutes of telecon 11th July 2002)

<Chair neutrality off>

Ian -
  I must finally confess that I've reached the point where I'm finding 
your own stances inconsistent and I'm simply unable to guess where 
the motivation is.
When you talk about OWL-Lite you continually say that people will 
define the subsets they need for what they want to do, but when you 
talk about full OWL you keep saying we cannot have any language 
features that break consistent reasoners and the like.
  These seem inconsistent to me.  Why can't you live with your 
FACT-based, consistent reasoner only working on a proper subset of 
whatever we publish -- and let us have other features for what we 
need or want.  Why is it right for me to have to say "My RIC tool 
supports the following OWL features:" but you insist that your 
reasoners have to be able to support every feature or the language is 
somehow broken.
  I could live very happily with a solution that says "My Fact tool 
supports the following features: " and then defines a subset on which 
you could be consistent and decidable and efficient.  I could then 
decide for my application if I want to be in your representational

  So frankly I could see you be a strong advocate for a carefully 
designed named subset for the sake of interoperability, or defending 
certain language features because they are useful in your FACT-based 
work, but I cannot understand why you insist on trying to disallow 
anything in the full language that you cannot handle.

  I think we would have much more success in reaching consensus if 
people would worry more abotu making sure what they need is included, 
and a little less about keeping out things that other people want.

   -Jim H,

<chair neutrality on>
Professor James Hendler
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 Thursday, 18 July 2002 12:20:43 UTC