Реклассификация экземпляров, подтвержденных с помощью SWRLJessTab Protege

Я использую Protege 3.4, и я построил свою онтологию и расширил ее с помощью правил SWRL, используя встроенные модули SWRL и sqwrl. Правила классифицируют экземпляры класса онтологии; RHS - это утверждение класса экземпляра. Он успешно работает, но когда я меняю значения причин в LHS, реклассификация не выполняется, экземпляр утверждается в том же классе

Почему это происходит? Как переклассифицировать экземпляры?

пример: правила SWRL: 1. Сообщение (?m) hasInterest(?m,?i) hasCategory(?m,?c) sqwrl:makeset(?s1,?i) sqwrl:makeset(?s2,?c) sqwrl: пересечение (?s3,?s1,?s2) sqwrl:размер(?n,?s3) swrlb:больше чем(?n,0) -> ветчина(?m)

  1. Сообщение(?m) hasInterest(?m,?i) hasCategory(?m,?c) sqwrl:makeset(?s1,?i) sqwrl:makeset(?s2,?c) sqwrl:difference(?s3,?s1 ,?s2) sqwrl:size(?n,?s3) swrlb:greaterThan(?n,0) -> Спам(?m)

Итак, как только экземпляр сообщения классифицируется, например, как ветчина, всякий раз, когда я изменяю значения i или c, он всегда будет ветчиной.


ontology owl protege swrl
person user3379762    schedule 10.05.2017    source источник
comment
Как только вы измените данные, вы должны принудительно выполнить повторную классификацию. В противном случае было бы слишком дорого запускать его автоматически каждый раз, когда пользователь что-то меняет.   -  person UninformedUser    schedule 11.05.2017
comment
Кстати, почему вы не пользуетесь Protege 5.x? Он также поддерживает SWRL   -  person UninformedUser    schedule 11.05.2017
comment
Что значит заставить? Я отредактирую свой вопрос для получения более подробной информации и относительно протеже 5, потому что я также использую правила swrl с функциями sqwrl, а протеже 5 использует drools, которые не поддерживают это, а гранула также не поддерживает функции sqwrl, как я узнал после поиска   -  person user3379762    schedule 12.05.2017
comment
Первоначально это был мой вопрос, я использовал протеже 5, но для решения этой проблемы я нашел функции sqwrl, которые я добавил в вопросы. stackoverflow.com/questions/43543913/   -  person user3379762    schedule 12.05.2017
comment
Я не знал, что вы используете Protege 5. В своем вопросе вы сказали, что используете Protege 3.4. Какую версию Protege вы используете сейчас? Если вы используете Protege 5, вы используете вкладку SWRL для изменения правил и SQWRL для запросов через правила SWRL?   -  person UninformedUser    schedule 12.05.2017
comment
Первоначально я использовал Protege 5, но мне пришлось переключиться на Protege 3.4, чтобы утвердить класс сообщения, ветчины или спама, используя приведенные выше правила swrl и встроенные модули sqwrl, используя вкладку SWRLJess, поскольку вкладка Drools в Protege 5 не поддерживает утверждения фактов с использованием правил swrl и сборки sqwrl. входы   -  person user3379762    schedule 13.05.2017