资源描述：
《领域本体的形式分析.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、摘要摘要本体论(Ontology)是哲学中的一个分支学科，是研究实体存在性和实体存在的本质等方面的理论.近年来，关于本体论方法的研究正在计算机科学界广泛开展起来通过把现实世界中某个领域抽象或概括成一组概念及概念间的关系，构造出这个领域的本体，会使计算机对该领域信息的处理大为方便.伴随本体论方法的广泛应用，对本体进行数学处理的研究也逐渐深人.本文采用形式概念分析(FormalConceptAnalysis)的方法，为领域本体建立了一个数学模型，形式概念分析理论把概念形式化为一对相互对应的集合—对象集和性质集，分别代表形式概念(formalconcept)的外延
2、和内涵，并用映射(·)‘来反映两者之间互相决定，一一对应的关系.在本体中，类的内涵是用属性和关系来描述的，因此，本文首先定义一种适于表示类的内涵的结构—框架，并详细分析其性质.然后，采用形式概念分析的方法对本体中的类作了分析研究.最后证明类，类的外延，类的内涵，它们在各自偏序集中的关系是等价的.关键词:领域本体，框架，形式概念分析，等价AbstractAbstractFormalAnalysisofDomain-SpecificOntologiesGaoYing(FundamentalMathematics)DirectedbySuiYuefeiOntolo
3、gyisoneofthebranchesofPhilosop场.Itisthetheorywhichdealswiththenatureandessenceofbeing.Recent玩theresearchaboutOntologyisdevelopedwidelyincomputerscience.Itwillbeadvantageoustomanagetheinformationofadomain,ifweconstructadomain-specificontology饰abstractingorgeneralizingthisdomaintoase
4、tofconceptsandtheirinter-relations.Withontologicalmethodsbeingusedwidely,researchaboutmathematizationofontologieshasbeendevelopeddeeply.Inthisthesis,weadoptmethodsofFormalConceptAnalysisandsetupamathematicalmodelfordomain-specificontologies.InFormalConceptAnalysis,aconceptisformali
5、zedtoapairofsets,asetofobjectsandasetofattributes,whicharecorrespondingeachother.Thesetwosetsdenotetheextensionandintensionofaformalconceptrespectively.Andthemap-ping(〕，isdefinedtoreflectthedeterminingandcorrespondingrelationsbetweenthesetwosets.Inontologies,intensionsofcategoriesa
6、redefinedbyattributesandrelations.Hence,atfirst,wegivethedefinitionofastructure一--frames,whichisproperfortherepresentationofintensionsofcategories.Also,weanalyzethepropertiesofthisstructuredetailedly.ThenwestudythecategoriesinontologiesbymeansofFormalConceptAnalysis.Atlast,weprovet
7、heequivalenceofrelationsofcategories,theirintensionsandextensionsinthethreeseparatepartialordersetsdomain-specificontologies,frames,FormalConceptAnalysis,equivalence11第一章引言第一章引言1.1.知识工程中的本体论研究本体论(Ontology)原为一个哲学概念.在20世纪的分析哲学中，本体论是研究实体存在性和实体存在的本质等方面的一般理论.计算机知识工程领域与哲学领域对本体论的研究在本质上有千丝
8、万缕的联系.知识工程的研究目标是挖掘和抽取人类知识，
