Семантический язык разработки приложений - Semantic Application Design Language

Семантический язык разработки приложений (SADL), англоязычный Открытый исходный код язык для построения формальных моделей, состоящих из Онтология OWL, правила, выраженные в терминах онтологический концепции, запросы для получения информации из модели и тесты для проверки и повторной проверки содержимого модели и последствия (подразумеваемое).

SADL-IDE - это Затмение -основан интегрированная среда развития (IDE), которая упрощает создание и сопровождение моделей, выраженных на языке SADL.

Мотивация

Стек семантических технологий предлагает значительный потенциал для сбора и использования знаний во многих областях. Однако нативные представления (OWL, SWRL, Йена Правила, SPARQL ) недружелюбно относятся к экспертам в предметной области, которые не компьютерные ученые и не разбирающийся в тонкостях искусственный интеллект и формальная логика. Более того, по мнению создателя, доступные инструменты для создания, тестирования, поддержки и применения баз знаний (моделей) в течение их жизненного цикла неадекватны. SADL пытается восполнить эти пробелы.[1][нужна цитата ]

Как

SADL пытается удовлетворить указанные выше потребности несколькими способами.

Грамматика SADL пытается использовать общие слова для выражения формальных модельных отношений. Эти ключевые слова и фразы однозначно отображаются в формализмах OWL, SWRL или Jena Rules и SPARQL.

SADL позволяет комбинировать инструкции для более лаконичного и понятного группирования. Примеры включают перечисление свойств, которые «описывают» класс как часть определения класса, определение нескольких подклассов в одном операторе, объединение тройных шаблонов в правилах и запросах для исключения переменных и повышения читабельности общего шаблона с перечислением атрибутов и взаимосвязей между экземпляр вместе с одним субъектом и, возможно, именованные экземпляры.

SADL-IDE предоставляет шаблоны, помощь по содержанию, быстрые исправления, гиперссылки концепций на их определения, сворачивание и другие средства, облегчающие экспертам в предметной области просмотр и понимание, создание и обслуживание моделей.

Тесная интеграция Eclipse с системы контроля исходного кода Такие как CVS, SVN или GIT позволяют управлять версиями моделей SADL и упростить управление ими в течение их жизненного цикла. Последовательный характер языка позволяет легко вычислять и просматривать различия между версиями моделей. Набор моделей может быть легко помечен как конкретный выпуск и извлечен как полный набор в любое время.

Интеграция механизмов рассуждений / правил с SADL-IDE позволяет разработчику модели проверять модель, запрашивать результаты и создавать контрольные примеры для проверки и регрессионного тестирования.

Рекомендации

  1. ^ Крапо, Андрей; Моитра, Абха (2013). «На пути к единому англоязычному представлению семантических моделей, данных и графических паттернов для экспертов в предметной области». Международный журнал семантических вычислений. 07 (3): 215–236. Дои:10.1142 / S1793351X13500025.