You can just enter the string into the form (Add empty row...)
-- Scott
On Oct 23, 2:31 pm, jlapalme <[EMAIL PROTECTED]> wrote:
> 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
-~----------~----~----~----~------~----~------~--~---
