UML在本体开发中的应用

分析了将UML运用于本体开发的原因，介绍了一种将OWL本体通过UML类图向面向对象语言转换的方法，讨论了OMG与W3C标准转换存在的问题，提出了改进的方向。     

基于本体的案例表示和CBR系统结构研究

本体作为一种新的知识组织体系,具有良好的概念层次结构和对逻辑推理的支持.在分析了本体的表示方式和推理基础上,将本体理论应用于CBR中,提出了基于本体的案例表示和基于本体推理的CBR系统,以提高CBR系统的性能.     

基于描述逻辑的语义Web本体研究

语义Web出现的目的就是为了解决机器和人对知识的理解的问题,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。首先讨论了传统知识表示方式的缺陷,然后对本体论的逻辑基础———描述逻辑进行了研究。由于OWLDL和描述逻辑的一致关系,因此使用OWLDL来表示本体。介绍了描述逻辑推理系统RACER。最后提出了解决本体层知识表示方法的解决方案。     

基于本体术语学的教育领域多语言本体构建

为解决跨语言信息检索中多语言知识组织问题,根据本体术语学中概念具有独立于语言多样性的稳定性,不同语言或文化背景下的术语可表示同一个概念的核心观点,结合教育领域的需求,依据《教育主题词表》构建出支持多语言检索的标准化本体模型。将对术语的检索提升到概念层面,从而消除由不同语言相互转换所带来的歧义,很好地解决了教育领域跨语言语义信息检索问题。最后,利用Jena API 实现对该本体的查询并构建出跨语种语义检索原型系统,结果证明了所提出的方案的可行性。     

语义网中模糊本体的描述逻辑

为了使用语义网上的表达能力强的模糊知识来表示、推理模糊本体,我们将提出一种新的基于描述逻辑的模糊扩展,称之为带比较表达式的模糊描述逻辑（FCDLs）。FCDLs的语法和语义有标准化的定义,并且,FCDLs的公理和断言也有明确的指定。FCDLs结合模糊描述逻辑（FDLs）的模糊概念和扩展的模糊描述逻辑（EFDLs）的削减概念。因此,FCDLs可以使用语义网上的模糊知识来表示、推理模糊本体。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

数据库逻辑询问语言

介绍数据库逻辑询问语言的基本概念和询问求值的方法，并扼要介绍逻辑询问语言的研究现状和研究方向。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

本体的语义变化表示策略

基于一般本体变化表示方法, 提出一种基于语义的本体变化表示方法. 该方法能清晰表示本体的变化信息, 描述变化的目的, 提高变化表示的可理解性, 减少变化表示中的冗余操作. 阐述了语义变化表示方法的基本形式, 分析了这些基本变化对本体的影响, 并设计了对应的处理策略, 从而使这种方法可以应用到本体演化过程中, 提高演化过程的处理能力.     

基于本体的知识形式化表示

本文在介绍了知识的形式化表示的基础上,分析了本体概念、关系、函数、实例、本体基本关系和概念的形式化表示,探讨了基于本体的知识表示的方法;并且将此运用于协作感知模型的知识库构造中的知识表达.     

自由么半群上的广义前缀关系与极大无关语言

研究了与L-前缀关系无关的语言,把码的完全化构造方法推广为一般L-无关语言的完全化构造方法,并反过来用这种一般构造方法审视码的完全化.由于在码的完全化过程中,所涉及的关系与完全化之后的结果相关,从而必须引入各种技巧,运用L-无关语言完全化的一般构造方法可以阐明这种技巧的切入点,从而对码的各种完全化方法有一个较清晰的认识.     

模式语言的本体学习方法

概括了模式语言的本体映射机制,讨论了如何将模式语言映射成一棵语法树,然后使用映射规则将语法树中的元素翻译为本体中相应的概念和关系,最后给出该方法的应用实例.     

初谈维吾尔语与乌兹别克语元音区别

本文主要从比较语言学的理论和研究方法去研究和比较维吾尔语和乌兹别克语中元音的不同,两种语言元音较突的特点和区别。     

Method of Automatic Ontology Mapping through Machine Learning and Logic Mining

Ontology mapping is the bottleneck ot handhng confilicts among heterogeneous ontologies and of implementing reconfiguration or interoperability of legacy systems. We proposed an ontology mapping method by using machine learning, type constraints and logic mining techniques. This method is able to find concept correspondences through instances and the result is optimized by using an error function; it is able to find attribute correspondence between two equivalent concepts and the mapping accuracy is enhanced by combining together instances learning, type constraints and the logic relations that are imbedded in instances; moreover, it solves the most common kind of categorization conflicts. We thenproposed a merging algorithm to generate the shared ontology and proposed a reconfigurable architecture for interoperation based on multi agents. The legacy systems are encapsulated as information agents to participate in the integration system. Finally we give a simplified case study.     

基于逻辑上的等价关系

该文定义了基于完全剩余格值逻辑上的二元关系，并且在此逻辑框架下，讨论了二元关系的合成，Ｌ－映射，Ｌ－等价关系以及Ｌ－映射与Ｌ－等价关系，Ｌ－划分与Ｌ－等价关系之间的联系。     

论比德观的逻辑支点

"比德说"是春秋战国时期出现的一种自然审美观点,它在先秦时期的文学作品中大量存在,它赖以存在的逻辑支点是审美客体和审美主体的精神品德发生"异质同构"的认同.     

本体定义及本体代数

基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.     

中国少数民族语言活力排序研究

对语言的活力程度进行排序,旨在分清轻重缓急,先抢救处在最濒危状态的语言,并为其提供理论依据。根据中国少数民族语言的实际情况,提出适合中国少数民族语言活力研究的测试的综合指标,并对中国一百多种少数民族语言进行活力排序。     

价值关系的实践基础及其生存论意蕴

价值作为一种实践性事实,是在实践活动中生成并得以发展的一种对象性存在。价值关系虽负载于客体却灌注着人的主观目的,是主观见之客观的现实性的实践关系。价值不是实体之有属性之有,而是关系之有,不能将之归并到主观世界里或客体属性上做直观的理解。相反,应将之归属于人的生存关系并进行实践把握。旧唯物主义和唯心主义者因不能理解实践活动对人的解放的根本意义,故而遮蔽了价值关系的生存本质和人学意涵,不懂得从社会生活的内在本原处敞开人之为人的生存命义。     

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质,给出了P-n-析取辖的定义,得出了P-n-析取辖是稠密语言等结论。