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
