inference and punning

I am just a beginner about punning. 

I added all dc elements as annotation properties (owl 1.0). I know  I can
not do any inference on annotation properties in OWL 1.0.

If I use punning, can I do some inference with annotation properties?

for example:
I defined the dc:subject as a annotationproerty in OWL 1.0

 <owl:AnnotationProperty 
rdf:about="http://purl.org/dc/elements/1.1/subject">
    <rdfs:isDefinedBy rdf:resource="http://purl.org/dc/elements/1.1/"/>
 </owl:AnnotationProperty>

Then, I created an individual of a class 'resource', which has a subject :
plant.

<resource1>
  <dc:subject> plant </dc:subject> 
</resource1> 
 
I would like to create another class which is a set of individuals that has
dc:subject= plant. 
Class(a:resource_about_plant complete intersectionOf(a:resource
  restriction(a:dc:subject someValuesFrom (a:plant))))


Is it possible to create this class using punning, even though dc:subject is
an annotation property?

Best Regards,
Soonho Kim

-- 
View this message in context: http://www.nabble.com/inference-and-punning-tf2700198.html#a7529374
Sent from the w3.org - public-owl-dev mailing list archive at Nabble.com.

Received on Friday, 24 November 2006 17:32:54 UTC