Re: OWL2: Is it possible put Annotation on an ObjectIntersectionOf?

The problem is that annotation properties do not participate in inference.

On Tue, Jun 30, 2015 at 1:38 PM, Diogo FC Patrao <djogopatrao@gmail.com>
wrote:

> Hello,
>
> (crossposted this question at stackoverflow, link below[1])
>
>
> I know I can put annotations on a SubClassOf relation:
>
> SubClassOf(
>     Annotation(rdfs:comment "This annotation is valid")
>     ObjectIntersectionOf(
>         ObjectHasValue(:prop1 :instance1)
>         ObjectHasValue(:prop2 :instance2)
>     )
>     ObjectHasValue(:prop3 :instance3)
> )
>
> However, what I really wanted to do is this:
>
> SubClassOf(
>     ObjectIntersectionOf(
>         Annotation(rdfs:comment "This annotation is invalid")
>         ObjectHasValue(:prop1 :instance1)
>         ObjectHasValue(:prop2 :instance2)
>     )
>     ObjectHasValue(:prop3 :instance3)
> )
>
> What I want is to create an annotation meaningful to all objects with the
> relations :prop1 :instance1 and :prop2 :instance, and not to the subclass
> relation.
>
> I don't want to create a class for the ObjectIntersectionOf, as I will
> have thousands of such classes on my real example.
>
> Running pellet 2.3.1 on the file below yields the following error:
>
> ...
>
> --------------------------------------------------------------------------------
> Parser: OWLFunctionalSyntaxOWLParser
> Encountered "" at line 8, column 9.
> Was expecting one of:
>      (Line 7)
>
> ...
>
> draft2.owl
>
> Prefix(rdfs:=http://www.w3.org/2000/01/rdf-schema#)
>
> Prefix(:=http://cipe.accamargo.org.br/ontologias/tnm.owl#)
>
> Ontology(<http://cipe.accamargo.org.br/ontologias/tnm.owl>
>
> SubClassOf(
>     ObjectIntersectionOf(
>         Annotation(rdfs:comment "This annotation is invalid")
>         ObjectHasValue(:prop1 :instance1)
>         ObjectHasValue(:prop2 :instance2)
>     )
>     ObjectHasValue(:prop3 :instance3)
> )
>
>
>
> 1:
> http://stackoverflow.com/questions/31142329/owl2-is-it-possible-put-annotation-on-an-objectintersectionof
>
>
> --
> diogo patrão
>
>
>


-- 

Michael Uschold
   Senior Ontology Consultant, Semantic Arts
   http://www.semanticarts.com
   LinkedIn: www.linkedin.com/in/michaeluschold
   Skype, Twitter: UscholdM