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 -~----------~----~----~----~------~----~------~--~---
