Thank you, its works. On another note, when using TBC has an rdf editor, what is the syntax for a string value for a property which is declared as an rdf:property. I have tried "astring", "astring"^^xsd:string... nothing works. The way I have found is to edit the source code directly, then TBC understands it as a typed literal.
Thank you, james On Oct 23, 2:02 pm, "Irene Polikoff" <[EMAIL PROTECTED]> wrote: > 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-8576www.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 - > > > > hasValue-example.n3 > 1KViewDownload- 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 -~----------~----~----~----~------~----~------~--~---
