文献

J-GLOBAL ID：201102263337863982   整理番号：11A1201506

記述論理に基づく可能性モデルを検査する方法

Method of checking capability model based on description logic

著者 (4件)： DONG Qing-chao (Inst.of Command Automation, Univ. of Sci. and Technol. of the PLA, Jiangsu, Nanjing) ,  WANG Zhi-xue (Inst.of Command Automation, Univ. of Sci. and Technol. of the PLA, Jiangsu, Nanjing) ,  CHEN Jian (Inst.of Command Automation, Univ. of Sci. and Technol. of the PLA, Jiangsu, Nanjing) ,  ZHANG Yi (Inst.of Command Automation, Univ. of Sci. and Technol. of the PLA, Jiangsu, Nanjing)
資料名： Xitong Gongcheng yu Dianzi Jishu  (Xitong Gongcheng yu Dianzi Jishu)
巻： 32  号： 3  ページ： 533-539  発行年： 2010年 
JST資料番号： C2068A  ISSN： 1001-506X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 可能性モデルを検査する方法を提案した。それは,オントロジー記述言語(OWL DL)を用いる可能性要件のメタコンセプトモデルと応用コンセプトモデルを記述して,次に,いくつかのモデル検査規則を,記号推論システムを用いてモデルインテグリティとコンシステンシー検査を有効にするように,モデルに関して追加した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *述語論理 ,  モデル ,  可能性 ,  検査 ,  コンシステンシー【計算機】 ,  インテグリティ ,  オントロジー ,  概念 ,  モデル検査
準シソーラス用語： *記述論理 ,  コンセプト

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 記述論理 ,  可能性 ,  モデル ,  検査