文献

J-GLOBAL ID：202002292040370590   整理番号：20A2216949

形式的概念解析の方法を用いた記述論理オントロジーの構築および拡張【JST・京大機械翻訳】

Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis A Dissertation Summary

著者 (1件)： Kriegel Francesco (Institute of Theoretical Computer Science, Technische Universitaet Dresden, Dresden, Germany)
資料名： KI - Kuenstliche Intelligenz  (KI - Kuenstliche Intelligenz)
巻： 34  号： 3  ページ： 399-403  発行年： 2020年 
JST資料番号： W4679A  ISSN： 0933-1875  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 論文では,記述論理オントロジーの構築および拡張のために,形式的概念解析からの方法がどのように使用できるかを述べた。特に,概念包有物が,記述論理[数式:原文を参照],[数式:原文を参照]-[数式:原文を参照],および[数式:原文を参照]におけるデータから,どのようにアキシマイズされるかを示した。すべての提案方法は,音だけでなく,完全であり,すなわち,結果は,有効な概念包含物から成るだけでなく,各有効な概念包含も伴う。さらに,記述論理[数式:原文を参照]に関する格子理論的見解を提供した。例えば,[数式:原文を参照]概念記述の上下近傍が計算され,さらに,[数式:原文を参照]概念記述の集合が,非要素ランク関数を持つ傾斜格子を形成することを証明した。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 包有物 ,  音響 ,  *オントロジー
準シソーラス用語： 形式的概念解析 ,  *記述論理 , 【Automatic Indexing@JST】

著者キーワード (4件)： 記述論理 ,  形式的概念解析 ,  公理化 ,  概念包含

分類 (3件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 形式的概念解析 ,  記述論理 ,  オントロジー ,  構築 ,  拡張