期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种改进的形式化本体模型研究
被引量：
1
1
作者
杨德仁
《深圳大学学报（理工版）》
EI
CAS
北大核心
2007年第4期393-398,共6页
基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约...
基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.
展开更多
关键词
形式化本体
三角形模型
分类学
Isa关系
在线阅读
下载PDF
职称材料
基于范畴论的形式化本体研究
被引量：
2
2
作者
章远
李师贤
《计算机科学》
CSCD
北大核心
2006年第9期1-3,117,共4页
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体...
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。
展开更多
关键词
形式化本体
范畴论
略图
图逻辑
在线阅读
下载PDF
职称材料
题名
一种改进的形式化本体模型研究
被引量：
1
1
作者
杨德仁
机构
华东师范大学计算机应用研究所
出处
《深圳大学学报（理工版）》
EI
CAS
北大核心
2007年第4期393-398,共6页
基金
上海市科学技术发展基金资助项目(055115001)
文摘
基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.
关键词
形式化本体
三角形模型
分类学
Isa关系
Keywords
formal ontology
triangle model
taxonomy
Isa relation
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于范畴论的形式化本体研究
被引量：
2
2
作者
章远
李师贤
机构
中山大学计算机系
出处
《计算机科学》
CSCD
北大核心
2006年第9期1-3,117,共4页
基金
广东省科技计划工业攻关项目(2003A1030403)资助。
文摘
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。
关键词
形式化本体
范畴论
略图
图逻辑
Keywords
Formal ontology, Category theory, Sketch, Graph based logic
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种改进的形式化本体模型研究
杨德仁
《深圳大学学报（理工版）》
EI
CAS
北大核心
2007
1
在线阅读
下载PDF
职称材料
2
基于范畴论的形式化本体研究
章远
李师贤
《计算机科学》
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
