重囗另类BBWSeⅹHD,av狼论坛,精品一卡2卡三卡4卡乱码理论,体育生gv老师浪小辉3p警察

基于擴展描述邏輯的Ontology形式化

時間:2023-05-02 20:42:43 航空航天論文 我要投稿
  • 相關推薦

基于擴展描述邏輯的Ontology形式化

語義Web解決的問題是機哭對Web上知識的理解,使計算機能夠理解web上的知識,便于計算機處理,而在語義web的層次結構中,Ontology屢占重要的地位.本文在描述邏輯的基礎之上,引入模態邏輯和時態邏輯,用于表達語義web上的模態語義,從而實現豐富web上的語義信息.

作 者: 賈延明 高崢   作者單位: 賈延明(河南商丘科技職業學院)

高崢(河南新鄉學院現代教育技術中心) 

刊 名: 管理學家  英文刊名: GUANGLI XUEJIA  年,卷(期): 2009 ""(5)  分類號:   關鍵詞: 語義web   Ontology   描述邏輯   模態邏輯   時態邏輯  

【基于擴展描述邏輯的Ontology形式化】相關文章:

基于描述邏輯的地圖語義模型初步研究04-27

邏輯演算與形式化方法04-30

關于辯證邏輯形式化問題04-28

資源描述框架的形式化表示問題研究04-30

Ontology格義04-27

基于模糊邏輯的組合導引律04-28

基于極小擴展原理的表現外延及其性質04-26

帶空洞的復雜面域間拓撲關系的形式化描述04-29

帶空洞的復雜面域間拓撲關系的形式化描述04-28

基于模糊邏輯的高性能融合制導研究04-30

主站蜘蛛池模板: 永吉县| 公主岭市| 临湘市| 龙泉市| 波密县| 柘城县| 青河县| 鄂州市| 旬邑县| 聂拉木县| 深州市| 平定县| 磴口县| 介休市| 平遥县| 长治县| 都兰县| 东阳市| 石城县| 滁州市| 方山县| 秦皇岛市| 黄骅市| 眉山市| 内黄县| 枝江市| 云梦县| 井陉县| 盐津县| 淮阳县| 乐东| 镇原县| 赤水市| 伊川县| 宝丰县| 武宁县| 铜梁县| 新昌县| 鹰潭市| 哈巴河县| 望江县|