Jazyk návrhu sémantické aplikace - Semantic Application Design Language

Jazyk návrhu sémantické aplikace (SADL), je Angličan otevřený zdroj jazyk pro vytváření formálních modelů složený z Ontologie OWL pravidla vyjádřená v ontologické koncepty, dotazy na načítání informací z modelu a testy k ověření a opětovnému ověření obsahu modelu a obviňování (Dopady).

SADL-IDE je Zatmění -na základě integrované vývojové prostředí (IDE), který usnadňuje vytváření a údržbu modelů vyjádřených v jazyce SADL.

Motivace

Zásobník sémantické technologie nabízí významný potenciál pro sběr a využití znalostí v mnoha doménách. Nativní reprezentace (OWL, SWRL, Jena Pravidla, SPARQL ) jsou nepřátelští vůči odborníkům na doménu, kteří nejsou počítačoví vědci a neznalý složitosti umělá inteligence a formální logika. Kromě toho jsou podle názoru tvůrce nástroje dostupné k vytváření, testování, údržbě a používání znalostních bází (modelů) po dobu jejich životního cyklu nedostatečné. SADL se pokouší tyto mezery překlenout.[1][Citace je zapotřebí ]

Jak

SADL se pokouší uspokojit výše uvedené potřeby několika způsoby.

Gramatika SADL se pokouší používat běžná slova k vyjádření vztahů formálního modelu. Tato klíčová slova a fráze jsou jednoznačně mapována do formalizmů pravidel OWL, SWRL nebo Jena a SPARQL.

SADL umožňuje kombinace příkazů pro stručnější a srozumitelnější seskupení. Mezi příklady patří výpis vlastností, které „popisují“ třídu jako součást definice třídy, identifikace více podtříd v jediném příkazu, zřetězení trojitých vzorů v pravidlech a dotazech, aby se vyloučily proměnné a celková čitelnost celkového vzoru, vypsal seznam atributů a vztahů instance společně s jedním předmětem a volitelně pojmenované instance.

SADL-IDE poskytuje šablony, pomoc s obsahem, rychlé opravy, hyperpropojování konceptů s jejich definicemi, skládání a další pomůcky, které odborníkům na doménu usnadňují prohlížení a porozumění, vytváření a údržbu modelů.

Úzká integrace Eclipse s systémy řízení zdrojového kódu jako CVS, SVN nebo GIT umožňují verzování modelů SADL a snadnější správu během jejich životního cyklu. Díky postupné povaze jazyka lze rozdíly mezi verzemi modelů snadno vypočítat a zobrazit. Sada modelů může být snadno označena jako konkrétní vydání a kdykoli získána jako soutěžní sada.

Integrace motorů argumentů / pravidel s SADL-IDE umožňuje vývojáři modelu cvičit model, dotazovat se na výsledky a vytvářet testovací případy pro ověření a regresní testování.

Reference

  1. ^ Crapo, Andrew; Moitra, Abha (2013). "Směrem k jednotné anglické reprezentaci sémantických modelů, dat a vzorů grafů pro odborníky". International Journal of Semantic Computing. 07 (3): 215–236. doi:10.1142 / S1793351X13500025.