James, Works for me with Pellet, OWLIM and Jena.
I am attaching example. It shoes two options - one with datatype property, another with object property. Both work. You should try to track down Pellet error to see why it is complaining. When I looked at your example, it seems that you are using literal "valueA" when you create :myDocument: > :myDocument > a rdfs:Resource ; > :hasValue "valueA" . But resource :valueA for the restriction when you define the class > :aValueDocument > a owl:Class ; > rdfs:subClassOf owl:Thing ; > rdfs:subClassOf > [ a owl:Restriction ; > owl:hasValue :valueA ; > owl:onProperty :hasValue This would not result in any rdf:type (classification) inferences, since they are two different things. Regards, Irene Polikoff Executive Partner, TopQuadrant tel: 914-777-0888/ cell: 914-329-8576 www.topquadrant.com -----Original Message----- From: [email protected] [mailto:[EMAIL PROTECTED] On Behalf Of jlapalme Sent: Thursday, October 23, 2008 1:34 PM To: TopBraid Composer Users Subject: [tbc-users] Re: Inferencing Issue I have tried and it does not work. I get an error with Pellet and nothing interesting with Jena. On Oct 23, 11:10 am, "Irene Polikoff" <[EMAIL PROTECTED]> wrote: > James, > > :aValueDocument > a owl:Class ; > rdfs:subClassOf owl:Thing ; > rdfs:subClassOf > [ a owl:Restriction ; > owl:hasValue :valueA ; > owl:onProperty :hasValue > ] ; > > Means that every member of aValueDocument class should have > hasProperty valueA > > It does not mean that any resource that hasProperty valueA (in other > words, is a subject of a triple with hasProperty and valueA as > predicate and > object) is necessarily a member of aValueDocument class. > > To get the inference you want, change the restriction from > rdfs:subClassOf to owl:equivalentClass. > > Regards, > > Irene Polikoff > Executive Partner, TopQuadrant > tel: 914-777-0888/ cell: 914-329-8576www.topquadrant.com > > > > -----Original Message----- > From: [email protected] > > [mailto:[EMAIL PROTECTED] On Behalf Of > jlapalme > Sent: Thursday, October 23, 2008 10:56 AM > To: TopBraid Composer Users > Subject: [tbc-users] Inferencing Issue > > I have created a simple model to test some inferencing scenarios but I > don't get the expected results. Here is my model. > > :myDocument > a rdfs:Resource ; > :hasValue "valueA" . > > :aValueDocument > a owl:Class ; > rdfs:subClassOf owl:Thing ; > rdfs:subClassOf > [ a owl:Restriction ; > owl:hasValue :valueA ; > owl:onProperty :hasValue > ] ; > owl:disjointWith :Domain . > > :Domain > a owl:Class ; > rdfs:subClassOf owl:Thing ; > owl:disjointWith aValueDocument ; > owl:oneOf (:valueA) . > > when I run the inference engin I expect to ge the foloowing triple: > > :myDocument a :aValueDocument > > but I don't, I have tried with multiple engins. > > Cheers, > > James- Hide quoted text - > > - Show quoted text - --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
hasValue-example.n3
Description: Binary data
