Язык правил семантической паутины
-
Обзор языка правил семантической паутины (SWRL)
- SWRL — это язык для выражения правил и логики, объединяющий OWL DL или OWL Lite с RuleML.
- Спецификация была представлена в мае 2004 года и основана на предложении по языку правил OWL.
- SWRL обладает всеми возможностями OWL DL, но отличается удобочитаемостью и практической реализацией.
-
Синтаксис и реализация
- Правила имеют форму импликации между предшествующим и последующим элементами.
- Конкретный синтаксис XML представляет собой комбинацию OWL XML и RuleML XML.
- Конкретный синтаксис RDF обеспечивает простой перевод в RDF/XML, но переменные в правилах выходят за рамки семантики RDF.
-
Реализации и предостережения
- Существуют три типа подходов к реализации SWRL: перевод на язык логики первого порядка, преобразование OWL-DL в правила и расширение существующих инструментов OWL DL.
- Protégé 4.2 поддерживает представление правил в своих онтологиях, а SWRLTab — расширение для редактирования и выполнения правил.
-
Сравнение с описательными логическими программами (DLP)
- SWRL использует противоположный подход к интеграции правил и OWL по сравнению с DLP.
- DLP — это пересечение логики Horn и OWL, в то время как SWRL объединяет их.
-
Дополнительная информация
- В статье также упоминаются другие связанные темы, такие как семантическая паутина, семантическая сетка, онтология и бизнес-аналитика 2.0.