Hispanopedia WikiSemantic Application Design Language (SADL) es un lenguaje de código abierto similar al inglés para construir modelos formales compuestos por una ontología OWL , reglas expresadas en términos de conceptos ontológicos , consultas para recuperar información del modelo y pruebas para validar y revalidar el contenido y las implicaciones del modelo .
SADL-IDE es un entorno de desarrollo integrado (IDE) basado en Eclipse que facilita la creación y el mantenimiento de modelos expresados en el lenguaje SADL.
Motivación
La pila de tecnología semántica ofrece un potencial significativo para la captura y el uso de conocimientos en muchos dominios. Sin embargo, las representaciones nativas (OWL, SWRL , Jena Rules, SPARQL ) son hostiles para los expertos en el dominio que no son científicos informáticos y no conocen las complejidades de la inteligencia artificial y la lógica formal . Además, en opinión del creador, las herramientas disponibles para construir, probar, mantener y aplicar bases de conocimiento (modelos) a lo largo de su ciclo de vida son inadecuadas. SADL intenta salvar estas brechas. [1] [ cita requerida ]
Cómo
SADL intenta satisfacer las necesidades identificadas anteriormente de varias maneras.
La gramática SADL intenta utilizar palabras comunes para expresar relaciones formales entre modelos. Estas palabras y frases clave se asignan de forma inequívoca a los formalismos de OWL, SWRL o Jena Rules y SPARQL.
SADL permite combinaciones de declaraciones para agrupaciones más concisas y comprensibles. Algunos ejemplos incluyen la lista de propiedades que "describen" una clase como parte de la definición de clase, la identificación de múltiples subclases en una sola declaración, el encadenamiento de patrones triples en reglas y consultas para eliminar variables y hacer que el patrón general sea más legible, la lista de los atributos y relaciones de una instancia junto con un solo sujeto y, opcionalmente, instancias con nombre.
SADL-IDE proporciona plantillas, asistencia de contenido, soluciones rápidas, hipervínculos de conceptos a sus definiciones, plegado y otras ayudas para que a los expertos en el dominio les resulte más fácil ver, comprender, crear y mantener modelos.
La estrecha integración de Eclipse con sistemas de control de código fuente como CVS , SVN o GIT permite que los modelos SADL se puedan versionar y gestionar más fácilmente a lo largo de su ciclo de vida. La naturaleza secuencial del lenguaje hace que las diferencias entre las versiones de los modelos sean fáciles de calcular y visualizar. Un conjunto de modelos se puede etiquetar fácilmente como una versión particular y recuperar como un conjunto completo en cualquier momento.
La integración de motores de reglas/razonadores con SADL-IDE permite al desarrollador del modelo ejercitar el modelo, consultar resultados y crear casos de prueba para pruebas de validación y regresión.
Fuentes
Referencias
- SADL en SourceForge
- HACIA UNA REPRESENTACIÓN UNIFICADA, SIMILAR AL INGLÉS, DE MODELOS SEMÁNTICOS, DATOS Y PATRONES GRÁFICOS PARA EXPERTOS EN LA MATERIA