セマンティックアプリケーション設計言語

セマンティック アプリケーション設計言語(SADL) は、OWLオントロジー、オントロジー概念で表現されたルール、モデルから情報を取得するためのクエリ、およびモデルの内容と含意(含意) を検証および再検証するためのテストで構成される正式なモデルを構築するための英語に似たオープン ソース言語です。

SADL-IDE は、SADL 言語で表現されたモデルの作成と保守を容易にする Eclipseベースの統合開発環境(IDE) です。

セマンティック テクノロジー スタックは、多くのドメインで知識をキャプチャして使用するための大きな可能性を提供します。ただし、ネイティブ表現 (OWL、SWRL、Jena Rules、SPARQL ) は、コンピューター サイエンティストではなく、人工知能と形式論理の複雑さに精通していないドメイン エキスパートには不向きです。さらに、作成者の意見では、知識ベース (モデル) をライフサイクルにわたって構築、テスト、維持、適用するために利用できるツールは不十分です。SA​​DL は、これらのギャップを埋めようとします。^{[1] [引用が必要]}

SADL は、いくつかの方法で上記のニーズを満たそうとします。

SADL 文法では、一般的な単語を使用して正式なモデル関係を表現しようとします。これらのキーワードとフレーズは、OWL、SWRL または Jena Rules、および SPARQL の形式に明確にマッピングされます。

SADL では、ステートメントの組み合わせにより、より簡潔でわかりやすいグループ化が可能になります。例としては、クラス定義の一部としてクラスを「記述する」プロパティをリストすること、単一のステートメントで複数のサブクラスを識別すること、ルールとクエリで 3 つのパターンを連鎖させて変数を排除し、パターン全体をより読みやすくすること、インスタンスの属性と関係を単一のサブジェクトと共にリストすること、およびオプションでインスタンスに名前を付けることなどが挙げられます。

SADL-IDE は、テンプレート、コンテンツ アシスタンス、クイック フィックス、概念とその定義のハイパーリンク、折りたたみ、およびその他の支援機能を提供し、ドメイン エキスパートがモデルを表示、理解、作成、および保守しやすくします。

Eclipse とCVS 、SVN、GITなどのソース コード管理システムとの緊密な統合により、SADL モデルをバージョン管理し、ライフサイクル全体にわたってより簡単に管理できます。言語の連続性により、モデル バージョン間の違いを簡単に計算して表示できます。モデル セットは、特定のリリースとして簡単にタグ付けでき、いつでも完全なセットとして取得できます。

推論エンジン/ルール エンジンを SADL-IDE に統合すると、モデル開発者はモデルを実行し、結果を照会し、検証および回帰テスト用のテスト ケースを作成できます。

• SourceForge 上の SADL
• 専門家のための意味モデル、データ、グラフパターンの統一された英語のような表現に向けて