Wanted to ask u why I have a problem with SWRL?
Here is my example:
I just wanted to describe the processes between two nodes:Bank and
BankClient.
Let's say:
1st process: InitialNode - Bank;
RecipientNode- Supplier;
Instrument- Cash;
2nd process: InitialNode - Supplier;
RecipientNode- Bank;
Instrument- Good;
In other words, Bank buys some good from Supplier- this is what I want
to model.
And wanted to make a rule which says if a contract satisfies 1,2
processes it is of a certain type.
So, under spin:body ->(?contract hasProcess ?p1) (?p1 hasInitiator ?
i1) Bank(?i1) (?p1 hasRecipient ?r1) Supplier(?r1) (?p1 hasInstrument ?
fi1) Cash(?fi1) (?p1 followedBy ?p2) Process(?p2) (?contract
hasProcess ?p2) (?p2 hasInitiator ?i2) Supplier(?i2) (?p2
hasRecipient ?r2) Bank(?r2) (?p2 hasInstrument ?fi2) Good(?fi2)
under swrl:head -> ContractA(?c)
So, I thought that modelling rule enables to solving a complience
issue.
When i run inference one of my contracts had been recognized as a type
of ContractA.
But when I wanted to check my rule for correctness and changed a Good
for Cash(which is wrong) it still was ab;e to recognize a contract and
referred it to the type of ContractA. Why? Where is my error? Maybe u
Can suggest me how to write this rule in SPIN? Because I have a number
of contracts with the same structure with a number of processes.
Would be very grateful to you , Aziza
--
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
