Re: ISSUE-111 Proposal to Resolve

On Aug 12, 2008, at 8:02 AM, Rinke Hoekstra wrote:

> Hi Jim,
> During the call, our assumption was that this case would be  
> extremely rare, and thus doesn't warrant adding a new intendedUse/ 
> intendedProfile ontology property. And regarding your point 1), we  
> expected the only people who wanted to use this to be DL-ies who  
> specifically wanted to signal the Fullness of the ontology. As you  
> say, someone more Full-minded will usually not consider the DL  
> case, and we neither intend to bother *all* Full users nor *all* DL  
> users. Just the crossover where someone who *cares* can signal  
> Fullness.

In particular, it was for corner cases where the graph has detectably  
different semantics under Full but is syntactically legal OWL DL. A  
boring example is owl:Thing subClassOf [oneOf a] (i.e., a finite OWL  

> On 8 aug 2008, at 18:33, Jim Hendler wrote:
[snip...see Rinke's reply]

>> 2 - by this decision, if a user accidently does something to make  
>> their ontology OWL Full, they will be signaling they only want to  
>> be in Full (since it says "should include a triple that takes the  
>> ontology out of OWL DL") -- if the meaning is that we want users  
>> to use only this specific triple, then it seems to me we should do  
>> something more obvious, like putting in some semantics free  
>> definition that expresses intent -- i.e. instead of "sameAs sameAs  
>> sameAs" wouldn't it be a lot smarter for the document to include  
>> "[] intendedUse OWL-Full"?

We went down this path (started by me) but it was very problematic  
and confusing (e.g., what do you do when there are "conflicting"  
intendedUse triples).

The trivial triple solution fits in with current techniques for  
distinguishing fragments (i.e., by syntactic analysis). So covers  
this (minor) case in a clean way.

(Some people, like Sandro, consider it a serious bug that there can  
be a single graph with divergent entailments...this gives them a way,  
without opening any cans of worms, to do that.)


Received on Tuesday, 12 August 2008 07:42:03 UTC