El lenguaje de reglas de la web semántica ( SWRL ) es un lenguaje propuesto para la web semántica que se puede utilizar para expresar reglas y lógica, combinando OWL DL o OWL Lite con un subconjunto del lenguaje de marcado de reglas (en sí mismo un subconjunto de Datalog ). [1]
La especificación fue enviada en mayo de 2004 al W3C por el Consejo Nacional de Investigación de Canadá , Network Inference (ya adquirido por webMethods ) y la Universidad de Stanford en asociación con el Comité de Lenguaje de Marcado de Agentes Ad hoc conjunto de EE. UU./ UE. La especificación se basó en una propuesta anterior para un lenguaje de reglas OWL. [2] [3]
SWRL tiene todo el poder de OWL DL, pero al precio de la decisión y las implementaciones prácticas. [4] Sin embargo, la decidibilidad puede recuperarse restringiendo la forma de las reglas admisibles, generalmente imponiendo una condición de seguridad adecuada. [5]
Las reglas tienen la forma de una implicación entre un antecedente (cuerpo) y un consecuente (cabeza). El significado pretendido puede leerse como: siempre que las condiciones especificadas en el antecedente se mantengan, entonces las condiciones especificadas en el consecuente también deben cumplirse.
Ejemplo
Sintaxis legible por humanos
tienePadre (? x1,? x2) ∧ tieneHermano (? x2,? x3) ⇒ tieneTío (? x1,? x3)
Sintaxis concreta XML
La sintaxis concreta de XML es una combinación de la sintaxis de presentación XML del lenguaje de ontología web OWL con la sintaxis XML de RuleML .
ruleml: href = "# example1" /> swrlx: property = "hasParent" > x1 x2 swrlx: property = "hasBrother" > x2 x3 swrlx: property = "hasUncle" > x1 x3 < / ruleml: var>
Sintaxis concreta RDF
Es sencillo proporcionar una sintaxis concreta RDF para las reglas, pero la presencia de variables en las reglas va más allá de la semántica RDF. [6] La traducción de la sintaxis concreta de XML a RDF / XML podría lograrse fácilmente ampliando la transformación XSLT para la sintaxis de presentación XML de OWL.
Implementaciones
Advertencia: los razonadores no apoyan la especificación completa porque el razonamiento se vuelve indecidible. Puede haber tres tipos de enfoque:
- traducir SWRL en lógica de primer orden (Hoolet) y demostrar tareas de razonamiento con un demostrador de teoremas;
- traducir OWL-DL en reglas y dar las reglas a un motor de encadenamiento directo (Bossam) (este enfoque no puede cubrir la expresividad completa de OWL-DL debido a muchas incompatibilidades entre los formalismos de la lógica de descripción y la regla de Horn)
- expandir un razonador OWL-DL existente basado en el algoritmo tableaux (Pellet).
- Protégé 4.2 incluye una vista de Reglas en sus Vistas de Ontología que admite reglas SWRL.
- Para versiones anteriores de Protégé, SWRLTab es una extensión que admite la edición y ejecución de reglas SWRL. [1]
- R2ML (REWERSE Rule Markup Language) es compatible con SWRL. [2]
- Bossam , un motor de reglas de encadenamiento directo es compatible con SWRL. [3]
- Hoolet , una implementación de un razonador OWL-DL que utiliza un probador de primer orden, es compatible con SWRL. [4]
- Pellet , un razonador Java OWL DL de código abierto tiene soporte SWRL. [5]
- KAON2 es una infraestructura para administrar ontologías OWL-DL, SWRL y F-Logic. [6]
- RacerPro , admite el procesamiento de reglas en una sintaxis basada en SWRL al traducirlas en reglas nRQL [7]
- RDFox es un motor de razonamiento de registro de datos altamente escalable y de memoria principal que admite SWRL. Desarrollado por Oxford Semantic Technologies. [8]
- Stardog es una base de datos RDF o tienda triple que reescribe consultas para responder preguntas usando inferencias SWRL. [9]
Bossam | Hoolet | Bolita | |
---|---|---|---|
Analizador SWRL / OWLX | sí | ? | ? |
Analizador SWRL / RDF | sí | ? | sí |
Funciones de matemáticas | Parcial | ? | sí |
Cuerdas incorporadas | Parcial | ? | sí |
Comparación de dispositivos integrados | ? | ? | sí |
Integrados booleanos | ? | ? | sí |
Fecha, hora y duración incorporados | ? | ? | No |
Integrados de URI | ? | ? | sí |
Listas integradas | ? | ? | No |
Licencia | Libre / fuente cerrada | Gratis / de código abierto | Gratis / de código abierto |
Comparación con programas de lógica descriptiva
Los programas de lógica de descripción (DLP) son otra propuesta para integrar reglas y OWL. [7] En comparación con los programas de lógica descriptiva, SWRL adopta un enfoque de integración diametralmente opuesto. DLP es la intersección de la lógica de Horn y OWL, mientras que SWRL es (aproximadamente) la unión de ellos. [4] En DLP, el lenguaje resultante es una lógica descriptiva de aspecto muy peculiar y un lenguaje bastante inexpresivo en general. [4]
Ver también
- Descripción Lógica
- Lenguaje de ontología web - "OWL"
- Registro de datos (lenguaje de consultas y reglas)
- Web semántica
- Cuadrícula semántica
- Ontología (informática)
- Inteligencia empresarial 2.0 (BI 2.0)
- Wiki semántica
Referencias
- ^ "SWRL: un lenguaje de reglas de Web semántica que combina OWL y RuleML" . w3.org . Consultado el 21 de diciembre de 2017 .
- ^ Ian Horrocks; Peter F. Patel-Schneider (2004). "Una propuesta para un lenguaje de reglas OWL" (PDF) . Proc. de la Decimotercera Conferencia Internacional World Wide Web (WWW 2004) . ACM. págs. 723–731 . Consultado el 22 de mayo de 2014 .
- ^ Ian Horrocks; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (2005). "Reglas OWL: una propuesta y una implementación de prototipos" (PDF) . Revista de semántica web . Elsevier. 3 (1): 23–40 . Consultado el 22 de mayo de 2014 .
- ^ a b c Bijan Parsia; et al. (2005). "Acercándose cautelosamente a SWRL" (PDF) . Consultado el 29 de julio de 2006 . Cite journal requiere
|journal=
( ayuda ) - ^ Boris Motik; Ulrike Sattler; Rudi Studer (2005). "Respuesta a consultas para OWL-DL con reglas" (PDF) . Revista de semántica web . Elsevier. 3 (1): 41–60 . Consultado el 22 de mayo de 2014 .
- ^ Mei, Jing; Harold Boley (2006). "Interpretación de reglas SWRL en gráficos RDF" (PDF) . Notas electrónicas en informática teórica . Elsevier (151): 53–69 . Consultado el 29 de julio de 2006 .
- ^ Benjamin N. Grosof; Ian Horrocks; Raphael Volz; Stefan Decker (2003). "Programas de lógica descriptiva: combinación de programas lógicos con lógica descriptiva" (PDF) . Proc. de la Duodécima Conferencia Internacional World Wide Web (WWW 2003) . ACM. págs. 48–57 . Consultado el 22 de mayo de 2014 .
enlaces externos
- SWRL: Un lenguaje de reglas de web semántica que combina OWL y RuleML , presentación de miembro de W3C 21 de mayo de 2004
- Una propuesta para una extensión de SWRL hacia la lógica de primer orden , presentación de los miembros del W3C el 11 de abril de 2005
- OWL Web Ontology Language XML Presentation Syntax , W3C Note 11 de junio de 2003