|
James, I
noticed that your original definition had a string value for :hasValue
in :myDocument. I've attached an ontology that does the inference I
think you are looking for. -- Scott jlapalme wrote: 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 -~----------~----~----~----~------~----~------~--~--- |
# Saved by TopBraid on Thu Oct 23 12:46:37 CDT 2008 # baseURI: http://aTopBraidTraining.org/unnamed0 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix : <http://aTopBraidTraining.org/unnamed0#> . <http://aTopBraidTraining.org/unnamed0> a owl:Ontology ; owl:versionInfo "Created with TopBraid Composer"^^xsd:string . :Domain a owl:Class ; rdfs:label "Domain"^^xsd:string ; rdfs:subClassOf owl:Thing ; owl:oneOf (:valueA) . :aValueDocument a owl:Class ; rdfs:label "a value document"^^xsd:string ; rdfs:subClassOf owl:Thing ; owl:equivalentClass [ a owl:Restriction ; owl:hasValue :valueA ; owl:onProperty :hasValue ] . :hasValue a owl:ObjectProperty ; rdfs:label "has value"^^xsd:string . :myDocument a rdfs:Resource ; :hasValue :valueA . :valueA a :Domain ; rdfs:label "value a"^^xsd:string .
