技術總結
本發(fā)明提供一種基于信息系統(tǒng)的知識驗證方法及系統(tǒng)，通過構建知識視圖元模型，以及確定所述知識視圖元模型的語義框架和概念，確定所述知識視圖元模型概念之間的關系，得到擴展后的知識視圖模型，然后根據(jù)所述擴展后的知識視圖模型，建立知識表示系統(tǒng)；并判斷所述知識表示系統(tǒng)中的全部關系節(jié)點x是否具備合法關系，從而檢驗知識表示系統(tǒng)的完整性和正確性，實現(xiàn)了用一種信息系統(tǒng)能夠將現(xiàn)有知識規(guī)范的、完整的、有邏輯的表示出來并檢驗所述知識表示系統(tǒng)的完整性和正確性，提高知識復用率。

技術研發(fā)人員：董慶超;陳青華;喬勇軍;楊林
受保護的技術使用者：中國人民解放軍海軍航空工程學院
文檔號碼：201611128494
技術研發(fā)日：2016.12.09
技術公布日：2017.05.31