Search Mailing List Archives
[protege-owl] SWRL rule query
martin.oconnor at stanford.edu
Wed Jan 2 11:47:14 PST 2008
Query and inference are deliberately separated in SQWRL. OWL's open
world assumption will prevent you from inferring the maximum of your
sequence numbers because there may another number out there that is greater.
Joseph Thomas-Kerr wrote:
>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))
> -> rdo:dependsOn(?pps,?sps)}
>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?
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl