-
题名本体中继承关系的形式化表示及其应用
被引量：3
- 1
-
-
作者
赵波
冯洁
-
机构
云南师范大学计算机科学系
北京理工大学国家颜色科学与工程实验室
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第1期154-156,共3页
-
基金
云南省自然科学基金重点项目(2004F00062)
云南省教育厅自然科学基金重点项目(6Z0035D)
+1 种基金
云南省重点实验室开放基金项目(2004K12)
省院省校合作基金项目(2004YX42)
-
文摘
本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。
-
关键词
本体
继承关系
类
形式化
判定规则
-
Keywords
ontology
inheritance relation
class
formalization
decision rule
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名面向对象程序设计语言的类型系统
被引量：1
- 2
-
-
作者
李晓燕
李斌
-
机构
华中师范大学计算机科学系
武汉铁路运输学校
-
出处
《小型微型计算机系统》
EI
CSCD
北大核心
2000年第6期650-652,共3页
-
文摘
本文引入了面向对象程序设计语言的类的概念 ,对类及其继承性给出了一种严格的形式化描述 .这种形式化描述显然是建立面向对象模型的基础 .
-
关键词
面向对象
程序设计语言
类型系统
类
继承性
-
Keywords
class
inheritance
formalization
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名关于面向对象的类的形式化研究
- 3
-
-
作者
李晓燕
林云
蔡霞
-
机构
华中师范大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
1999年第11期55-56,共2页
-
文摘
在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。
-
关键词
面向对象
程序设计语言
类
形式化
-
Keywords
atom class,composite class,inheritance,formalization
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名新的构件复用方法
- 4
-
-
作者
贺建立
陈榕
顾伟楠
-
机构
同济大学基础软件工程中心
-
出处
《计算机应用》
CSCD
北大核心
2009年第12期3394-3397,共4页
-
文摘
构件对象模型(COM)所支持的构件包容和聚合两种复用模式都是基于构件消费者的立场,不利于构件自身的演化和关注点分离。提出了一种新的构件复用方法:为了便于构件自身的演化,派生类直接复用基类中的接口和事件,重载基类虚接口中的方法,在此基础上定义新的接口和事件;将终端用户可见的领域特征分离出来封装为良定义的构件,以便编译或运行时被绑定到其他的构件对象中。给出了在中间件平台上的设计和实现方法。手机软件项目实践表明新方法提高了软件产品质量和开发效率。
-
关键词
构件复用
构件对象模型
构件类继承
特征合成
-
Keywords
component reuse
Component Object Model （COM）
component class-level inheritance
feature composition
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
