Реклассификация экземпляров, заявленных с помощью SWRLJessTab Protege
Я использую Protege 3.4, и я построил свою онтологию и расширил ее с помощью правил SWRL, используя встроенные модули SWRL и sqwrl. Правила классифицируют экземпляры класса онтологии; RHS является утверждением класса экземпляра. Он успешно работает, но когда я изменяю значения причин в LHS, переклассификация не выполняется, экземпляр утверждается в тот же класс
Почему это происходит? Как реклассифицировать экземпляры?
Например: правила SWRL: 1. Сообщение (?m) hasInterest(?m,?i) имеет категорию (?m,?c) sqwrl:makeset(?s1,?i) sqwrl:makeset(?s2,?c) sqwrl: пересечение (?s3,?s1,?s2) sqwrl: размер (?n,?s3) swrlb:greatThan(?n,0) -> Ham(?m)
- Сообщение (? M) hasInterest (? M,? I) имеет категорию (? M,? C) sqwrl: makeset (? S1,? I) sqwrl: makeset (? S2,? C) sqwrl: разность (? S3,? S1,? s2) sqwrl: размер (? n,? s3) swrlb: moreThan (? n, 0) -> Спам (? m)
Поэтому, когда экземпляр сообщения классифицируется, например, как ham, всякий раз, когда я изменяю значения i или c, это всегда будет ham .