国产综合久久久久-狠狠色噜噜狠狠狠狠av-国产女人乱人伦精品一区二区-亚洲a∨国产av综合av下载-爱做久久久久久

首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 世界文學 > 貴州工程應用技術學院學報 > 描述邏輯FL0循環術語集的保守擴充 【正文】

描述邏輯FL0循環術語集的保守擴充

聶登國; 王勇紅 貴州工程應用技術學院理學院; 貴州畢節551700; 江西師范高等專科學校數學學院; 江西鷹潭335000
  • 保守擴充
  • 描述邏輯
  • 本體
  • 包含推理

摘要:本體的保守擴充是本體構建、本體重構的核心理論與工具。本體把領域知識形式化,實現人機之間的知識共享及知識重用。基于描述邏輯的本體保守擴充是目前研究者們所關注的焦點。盧茨(Lutz)等提出的典范模型(CanonicalModel)方法解決了非循環描述邏輯EL的保守擴充問題。研究了描述邏輯FL0的術語集的保守擴充問題,給出描述邏輯FL0循環術語集在最大不動點模型下的保守擴充算法。

注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

投稿咨詢 文秘咨詢

貴州工程應用技術學院學報

  • 預計1個月內 預計審稿周期
  • 0.23 影響因子
  • 教育 快捷分類
  • 雙月刊 出版周期

主管單位:貴州工程應用技術學院;主辦單位:貴州工程應用技術學院

我們提供的服務

服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
主站蜘蛛池模板: 午夜免费无码福利视频麻豆| 国产精品丝袜黑色高跟鞋| 东京热无码av一区二区| 无码人妻h动漫网站| 国产欧美精品aaaaaa片| 亚洲一区综合图区| 97久久精品人人澡人人爽| 国产精品后入内射日本在线观看 | 午夜伦4480yy私人影院| 人妻丰满熟妇av无码区hd| 人人妻人人爽日日人人| 亚洲人成色777777精品音频| 久久亚洲精品综合国产仙踪林| 国产95在线 | 欧美| 中文字幕无码无码专区| 国产精品无码一区二区在线a片| 国产精品任我爽爆在线播放| 色妺妺视频网| 精品人妻大屁股白浆无码| 一区二区高清国产在线视频 | 亚洲精品久久久久avwww潮水| 国产精品亚洲а∨无码播放不卡| 国产在线观看码高清视频| 狠狠综合久久av一区二区| 成人精品一区二区三区电影| 免费国产在线一区二区| 成全世界免费高清观看| 人妻无码一区二区三区四区 | 亚洲人成人网站在线观看| 污污内射在线观看一区二区少妇 | 三上悠亚网站在线观看一区二区 | 欧洲精品久久久av无码电影| 国产欧美国日产在线播放| 男人的天堂av网站| 亚欧色一区w666天堂| 麻豆妓女爽爽一区二区三| 天天做天天添av国产亚洲| 日本丰满熟妇bbxbbxhd| 亚洲最大的成人网站| 国产精品女同一区二区| 国产精品国产三级国产av主播|