Langage de conception d'application sémantique - Semantic Application Design Language

Semantic Application Design Language (SADL), est un langage open source de type anglais pour la construction de modèles formels composés d'une ontologie OWL , de règles exprimées en termes de concepts ontologiques , de requêtes pour récupérer des informations du modèle et de tests pour valider et récupérer valider le contenu et les implications du modèle (implications).

Le SADL-IDE est un environnement de développement intégré (IDE) basé sur Eclipse qui facilite la création et la maintenance de modèles exprimés en langage SADL.

Motivation

La pile de la technologie sémantique offre un potentiel significatif pour la capture et l'utilisation des connaissances dans de nombreux domaines. Cependant, les représentations natives (OWL, SWRL , Jena Rules, SPARQL ) sont hostiles aux experts du domaine qui ne sont pas des informaticiens et ne connaissent pas les subtilités de l' intelligence artificielle et de la logique formelle . De plus, de l'avis du créateur, les outils disponibles pour construire, tester, maintenir et appliquer des bases de connaissances (modèles) tout au long de leur cycle de vie sont inadéquats. SADL tente de combler ces lacunes.

Comment

La SADL tente de répondre aux besoins identifiés ci-dessus de plusieurs manières.

La grammaire SADL essaie d'utiliser des mots courants pour exprimer des relations de modèle formelles. Ces mots et phrases clés sont mappés sans ambiguïté dans les formalismes de OWL, SWRL ou Jena Rules et SPARQL.

SADL permet des combinaisons d'instructions pour des regroupements plus concis et compréhensibles. Les exemples incluent la liste des propriétés qui "décrivent" une classe dans le cadre de la définition de classe, l'identification de plusieurs sous-classes dans une seule instruction, l'enchaînement de modèles triples dans les règles et les requêtes pour éliminer les variables et rendre le modèle global plus lisible, la liste des attributs et des relations de une instance avec un seul sujet et éventuellement des instances nommées.

Le SADL-IDE fournit des modèles, une assistance au contenu, des correctifs rapides, une hyperlien des concepts à leurs définitions, un pliage et d'autres aides pour faciliter la visualisation et la compréhension, la création et la maintenance des modèles par les experts du domaine.

L'intégration étroite d'Eclipse avec des systèmes de contrôle de code source tels que CVS , SVN ou GIT permet aux modèles SADL d'être versionnés et plus facilement gérés tout au long de leur cycle de vie. La nature séquentielle du langage rend les différences entre les versions de modèles faciles à calculer et à visualiser. Un ensemble de modèles peut être facilement étiqueté comme une version particulière et récupéré en tant qu'ensemble concurrent à tout moment.

L'intégration de raisonneurs / moteurs de règles avec SADL-IDE permet au développeur de modèles d'exercer le modèle, d'interroger les résultats et de créer des cas de test pour la validation et les tests de régression.

Les références

  1. ^ Crapo, Andrew; Moitra, Abha (2013). "Vers une représentation unifiée de type anglais des modèles sémantiques, des données et des modèles de graphes pour les experts en la matière". Journal international de l'informatique sémantique . 07 (3): 215-236. doi : 10.1142 / S1793351X13500025 .