Re: ISSUE-16 (entity annotations): A proposal for closing this issue without action

On Jul 10, 2008, at 5:49 PM, Ian Horrocks wrote:

> On 8 Jul 2008, at 16:00, Bijan Parsia wrote:
>> On 7 Jul 2008, at 13:49, Ian Horrocks wrote:
> The cost of Boris's proposal is the need to embed axioms within  
> axioms and issues related to determining if the embedded axiom is  
> asserted in the ontology or not. This could be particularly  
> problematical in the RDF serialisation where, as we know, there is  
> no mechanism for grouping triples, and where it might be difficult  
> to distinguish such an embedded axiom from a "bare" axiom.

Is this a problem if we restrict the syntax so that the only axioms  
that can be embedded in others are annotation axioms? In that case it  
doesn't matter if the annotation is "asserted in the ontology or  
not", since the assertion is without logical consequence.

> The cost of Peter's proposal is that we would need arbitrarily  
> nested reification. This seems undesirable given that "simple"  
> reification is already controversial/problematical

It seems to me that it is problematical only in that it is  

> -- although Peter doesn't seem to see any problem with this  
> (apparently taking the view that if we solve the basic problem,  
> then nesting shouldn't introduce any additional difficulty).
This is my view as well.
> After discussing both proposals on the teleconf the prevailing  
> opinion was that the added complexity of the RDF mapping wouldn't  
> be justified -- Boris withdrew his proposal -- but no firm decision  
> was taken: we should give Peter a chance to say why he thinks his  
> solution is OK and others to make a case as to why is annotations  
> on annotations is an important feature.

Note that I have pointed out the SKOS uses cases for annotations on  
annotations in a previous email. So if supporting SKOS is important,  
then we can say that annotations on annotations is an important feature.


> Ian
>> Cheers,
>> Bijan.

Received on Friday, 11 July 2008 00:44:55 UTC