proposal to close ISSUE-102

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Wed, 12 Mar 2008 14:52:01 -0400 (EDT)
• To: public-owl-wg@w3.org
• Message-Id: <20080312.145201.252377828.pfps@research.bell-labs.com>

As I mentioned in the teleconference today, I propose to close ISSUE-102
by allowing annotation properties as entities.  This allows annotations
on them (via entity annotations) with no other change.  It also allows
declaration of annotation properties (but I see very little use for
this).  It would also not preclude any further improvements in the
annotation situation.

The changes would be:

1/ In Syntax:

entity := datatype | owlClass | objectProperty | dataProperty | annotationProperty | individual
annotationProperty := 'annotationProperty' '(' annotationPropertyURI ')'

2/ In Semantics:

no change

3/ In RDF Mapping:

 mapping

 EntityAnnotation(AnnotationProperty(aID) Annotation(apID1 ct1) ... Annotation(apIDn ctn))  
  T(aID) T(apIDi) T(cti) 1 ≤ i ≤ n
 Declaration(AnnotationProperty(iID))   
  T(iID) owl11:declaredAs owl:AnnotationProperty

 reverse mapping

 !x !yi cti for 1 ≤ i ≤ n { owl:AnnotationProperty ∈ Type(x) and OnlyAP(yi) = true for 1 ≤ i ≤ }  
  EntityAnnotation( AnnotationProperty(x) Annotation( y1 ct1 ) ... Annotation( yn ctn ) )
 T(iID) owl11:declaredAs owl:AnnotationProperty
  Declaration(AnnotationProperty(iID))   



Peter F. Patel-Schneider
Bell Labs Research

Received on Wednesday, 12 March 2008 18:55:10 UTC