- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Thu, 13 Mar 2008 01:47:41 -0400
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: public-owl-wg@w3.org
Hi Peter,
I suppose this is a consequence of punning, but I notice now that
ontologies consisting solely of "annotationProperty(:foo)" would not
generate any triple. (actually this seems to be the same for
otherwise unused object and datatype properties too).
Also, can an RDF graph with only the triple: x rdf:Type (Annotation|
Datatype|Object)Property be translated into an OWL1.1 ontology?
-Alan
On Mar 12, 2008, at 2:52 PM, Peter F. Patel-Schneider wrote:
> 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 Thursday, 13 March 2008 05:48:34 UTC