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

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

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

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

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

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

投稿咨詢 文秘咨詢

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

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

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

我們提供的服務

服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
主站蜘蛛池模板: 国产成人啪精品视频免费软件| 99re热免费精品视频观看| 狠狠躁夜夜躁人人爽天天不卡| 4hu四虎永久在线观看| 国产亚洲精品yxsp| 97av麻豆蜜桃一区二区| 久久天天躁夜夜躁狠狠85麻豆| 精品人妻无码专区在线无广告视频| 免费看成人啪啪| 激情射精爆插热吻无码视频| 中国内地毛片免费高清| 国产成人a亚洲精v品无码| 2018av无码视频在线播放| 国产精品无码久久一线| 国产成人精品午夜二三区波多野| 十八禁视频网站在线观看| 国产内射老熟女aaaa∵| 骚片av蜜桃精品一区| 日韩欧美成人免费观看| 西欧free性满足hd老熟妇| 日日躁夜夜躁狠狠久久av| 老鸭窝视频在线观看| 青娱国产区在线| 欧乱色国产精品兔费视频| 久久大香香蕉国产拍国| 国产精品自产拍在线观看55| 国产免费牲交视频| 精品国产三级| .一区二区三区在线 | 欧洲| 亚洲精品乱码久久久久久蜜桃欧美| 国产高清在线精品一区免费| 久久这里只有精品18| 大肉大捧一进一出视频出来呀| 亚洲午夜理论电影在线观看| 亚洲中文字幕不卡无码| 国产av午夜精品一区二区三| 亚洲大成色www永久网站注册| 亚洲欧美中文日韩v在线97| 国内揄拍国内精品人妻| 亚洲欧美人成网站aaa| 亚洲国产成人片在线观看|