[OWL] Annotations on subclass axioms etc.

[Holger Knublauch]

Alan Rector wrote:
> Peter
> 
>>
>> Well, such annotations would cause difficulties when computing  
>> inference.
>> Remember that these annotations are "facts" and thus have semantic  
>> import.
>>
> 
> I thought the whole point of annotations was that they were ignored  by 
> classifiers and did not have semantic import within the domain of  
> discourse.  That they were about the representation not what was  being 
> represented.

Peter,

I fully agree with Alan and also don't understand why adding annotations 
into a restriction would have any impact on the semantics.  Perhaps I am 
missing something fundamental, but tools like Protege simply ignore 
annotation property values during the extraction of the DIG stream on 
its way to the reasoner.  I guess other tools could and should do the 
same.  Why is there a problem?

Holger