推理オントロジー
フクロウ身体言語：
- ほとんどの標準（W3C）、最も厳しい（論理記述）、最も強い発現は、言語知識グラフを（一階述語論理の部分集合を決定することができます）
- RDF構文、構造的基盤の意味理解と文書のように外に基づいて
- 均一な用語集の使用、豊かなセマンティック語彙の定義を推進
- 論理的な推論を許可します
構文：RDF文法、即ちSOP三重
記述論理は、第一階述語論理は、基本コンポーネントのサブセットを決定してもよいです
- 最も基本的な要素：概念、関係、および個々の
- TBOX用語集（公理コンセプト用語）
- ABOx型アサーション（個人のアサーションコレクション）セット
- TBOXとABOx型の推論
手法やツールを推論
実践：イエナ
