Язык проектирования семантических приложений

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

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

Мотивация

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

Как

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

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

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

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

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

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

Источники

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

Ссылки

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

[1]