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

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

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

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

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

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

投稿咨詢 文秘咨詢

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

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

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

我們提供的服務

服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
主站蜘蛛池模板: 男人靠女人免费视频网站| 国产精品麻豆欧美日韩ww| 免费极品av一视觉盛宴 | 大地资源在线观看官网第三页| 亚洲国产美国国产综合一区| 黄桃av无码免费一区二区三区 | 97se亚洲国产综合自在线| 高清国产精品人妻一区二区 | 国产精品香港三级国产av| 成人区人妻精品一区二区不卡视频 | 午夜成人性刺激免费视频| 无码人妻h动漫网站| 产后漂亮奶水人妻无码| 日韩乱码人妻无码系列中文字幕| 宝宝好涨水快流出来免费视频| 精品久久人人爽天天玩人人妻 | 99久久九九免费观看| 东京热人妻无码人av| 在线精品无码字幕无码av| 欧美日韩午夜群交多人轮换| 熟女人妇 成熟妇女系列视频| 18禁美女裸体无遮挡网站| 777天堂麻豆爱综合视频| 97久久香蕉国产线看观看| 欧美人与性囗牲恔配| 国产精品香港三级国产av| 国产乱人伦中文无无码视频试看| 国产av无码专区亚洲a∨毛片| 新狼窝色av性久久久久久| 亚洲成a人v欧美综合天堂| 亚洲の无码国产の无码步美| 成人免费视频一区二区三区| 国产成人精品无码片区在线观看| 国产成人久久综合777777麻豆| 精品亚洲一区二区三区在线观看| 精品免费国产一区二区| 久久精品女同亚洲女同| 精品无码久久久久国产| 成人性生交大片免费看中文| 日韩一本之道一区中文字幕| 国产午夜精品一区二区三区四区|