Hi Paul, as you will probably know, incremental inferencing is a non-trivial problem in semantic web languages. It is easier to just add triples than to retract previous triples and redo inferences. The TopSPIN engine has some very basic support for this only - it will re-evaluate all rules attached to the types of a resource that has undergone changes, and it will pre-bind the variable ?this with the changed resource(s) for local re-execution. In the case of OWL RL, all rules are attached to owl:Thing and do not mention ?this - which makes it impossible to just execute selected rules.
Regards, Holger On Sep 30, 2010, at 4:48 PM, PaulZH wrote: > Environment: TBC ME 3.4.0.v20100922-0230A > Ontology with ontology profile: OWL 2 RL, RDFS Plus, SKOS Constraints > > I have following model (part of) > > :Person > rdf:type owl:Class ; > rdfs:label "Persoon"^^xsd:string ; > rdfs:subClassOf :Klant ; > owl:equivalentClass > [ rdf:type owl:Class ; > owl:intersectionOf ([ rdf:type owl:Restriction ; > owl:cardinality > "1"^^xsd:nonNegativeInteger ; > owl:onProperty :werkloos > ] [ rdf:type owl:Restriction ; > owl:cardinality > "1"^^xsd:nonNegativeInteger ; > owl:onProperty :werkzoekend > ]) > ] . > > [] rdf:type owl:Class ; > rdfs:label "NWLWZ"^^xsd:string ; > rdfs:subClassOf :Person ; > rdfs:subClassOf > [ rdf:type owl:Restriction ; > owl:allValuesFrom > [ rdf:type owl:Class ; > rdfs:label "PNWLWZ"^^xsd:string ; > owl:oneOf (:A :B) > ] ; > owl:onProperty :kanBeroepDoenOp > ] ; > owl:equivalentClass > [ rdf:type owl:Class ; > owl:intersectionOf ([ rdf:type owl:Restriction ; > owl:hasValue "false"^^xsd:boolean ; > owl:onProperty :werkloos > ] [ rdf:type owl:Restriction ; > owl:hasValue "true"^^xsd:boolean ; > owl:onProperty :werkzoekend > ]) > ] . > > # 4 of those for covering all possible value combinations of :werkloos > and :werkzoekend > > :Persoon_1 > rdf:type :Person ; > rdfs:label "Persoon 1"^^xsd:string ; > :kanBeroepDoenOp :B ; > :werkloos "false"^^xsd:boolean ; > :werkzoekend "true"^^xsd:boolean . > > When "Run inferencing" explicitly :Persoon1 becomes instance of the > Class with label 'NWLWZ' and hence the value of > property :kanBeroepDoenOp needs to be :A or :B. This enumerated choice > also appears GUI wise. > But this works only if I run the inferencing explicitly. > > Having configured the TopSPIN inferencing to incremental and iterative > does not have the same and wished effect. > > Is there a way I can enforce this, since otherwise this type of > modeling doesn't make much sense from a data entry point of view? > > -- > You received this message because you are subscribed to the Google > Group "TopBraid Suite Users", the topics of which include TopBraid Composer, > TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. > 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-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. 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-users?hl=en
