Hi People,
I am creating a Metamodel as one single model and I am importing this
metamodel to design another model.
In order to do this I need to create classes and restrictions in the
model based on the imported metamodel that contain the rule below.
CONSTRUCT {
?Class a owl:Class .
?Class rdfs:subClassOf pmda:StateClass .
?Class owl:equivalentClass _:b0 .
_:b0 a owl:Restriction .
_:b0 owl:onProperty ?cProperty .
_:b0 ?cFunc ?cValue .
}
WHERE {
?Crit a pmda:StateCriterion .
?Class pmda:hasCriterion ?Crit .
?Crit pmda:criterionProperty ?cProperty .
?Crit pmda:criterionOperator ?cOpe .
?cOpe pmda:operatorFunction ?cFunc .
?Crit pmda:criterionValue ?cValue .
}
The classes creation are working perfectly, however when I create a
restriction via a SPIN Rule and I hit the inference button the
application executes thousands of iterations and it seams to enter in
a loop because I always stoped before it ends.
When this happen my inference configuration is TopSPIN (incremental,
iteratively) and then Jena Built in Reasoner
If I set up for TopSPIN (non-incremental, single-pass) and then Jena
Built in Reasoner it doesn’t work, however if I add another TopSPIN
engine configuring the inferences to be TopSPIN (non-incremental,
single-pass) then TopSPIN (non-incremental, single-pass) again and
then Jena Built in Reasoner. In this way it works but it creates two
restrictions for each time I run the inference.
My questions are:
Does TBC support the creation of restrictions via Rule? In case of
yes, what am I doing wrong?
I realise also that the part of my statement that is generating the
loop is the part below. If I delete the code below it works fine.
?Class owl:equivalentClass _:b0 .
_:b0 a owl:Restriction .
_:b0 owl:onProperty ?cProperty .
_:b0 ?cFunc ?cValue .
I tried the code below also but the result is the same
?Class a owl:Class .
?Class rdfs:subClassOf pmda:StateClass .
?x a _:b0 .
_:b0 a owl:Restriction .
_:b0 owl:onProperty ?cProperty .
_:b0 ?cFunc ?cValue .
?Class owl:equivalentClass ?x .
Thanks in advance,
Guil
--
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
