W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

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)
Message-Id: <20080312.145201.252377828.pfps@research.bell-labs.com>
To: public-owl-wg@w3.org
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 12 March 2008 18:55:10 GMT