Search Mailing List Archives
[protege-owl] SWRL rule query
joetk at elec.uow.edu.au
Tue Jan 1 22:32:05 PST 2008
I want to be able to express the following rule:
avc:pps(?pps) ^ avc:id(?pps,?spsID)
^ avc:sps(?sps) ^ avc:id(?sps,?spsID)
^ avc:seqNo(?pps,?ppsSeqNo) ^ avc:seqNo(?sps,?spsSeqNo)
^ (?spsSeqNo = MAXIMUM(?spsSeqNo))
That is, I want to infer a relationship between a avc:pps and the avc:sps
with the matching spsID that MOST RECENTLY precedes it. An example might
help. Given the following individuals
I want to infer that
and nothing else. sqwrl has a max function, but I don't think that this
will get me what I am after. I tried using this function in the consequent
along with my inferred property, but it doesn't seem to work; query and
inference seem to have been deliberately separated.
I am not a logic expert; I suspect that this inference is nonmonotonic,
but I'm not certain.
can anyone provide some insight?
More information about the protege-owl