2023年7月19日发(作者：)

２０１１年第１０期　文章编号：１００６－２４７５（２０１　１）１０－０１５６－０４　计算机与现代化　ＪＩＳＵＡＮＪＩ　ＹＵ　ＸＩＡＮＤＡＩＨＵＡ　总第１９４期　基于本体的海军军械保障元数据构建方法研究　兰天，王文双，程继红　（海军航空工程学院科研部，山东烟台２６４００１）　摘要：将本体与与元数据结合，研究基于本体的海军军械保障元数据模型构建方法，此方法可用于组织、编辑和查询海军　军械保障领域的元数据信息，能够描述海军军械保障领域各相关概念以及概念之间关系的知识，提高海军军械保障数据　资源的发现能力。　关键词：本体；元数据；军械保障　中图分类号：ＴＰ３０１　文献标识码：Ａ　ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００６－２４７５．２０１　１．１０．Ｏ４４　Ｒｅｓｅａｒｃｈ　Ｏｉｌ　Ｎａｖｙ　Ｗｅａｐｏｎｓ　Ｓｅｃｕｒｉｔｙ　Ｍｅｔａｄａｔａ　Ｂｕｉｌｄｉｎｇ　Ｍｅｔｈｏｄ　Ｂａｓｅｄ　ｏｎ　Ｏｎｔｏｌｏｇｙ　ＬＡＮ　Ｔｉａｎ，ＷＡＮＧ　Ｗｅｎ－ｓｈｕａｎｇ，ＣＨＥＮＧ　Ｊｉ—ｈｏｎｇ　（Ｎａｖａｌ　Ａｅｒｏｎａｕｔｉｃａｌ　ａｎｄ　Ａｓｔｒｏｎａｕｔｉｃａｌ　Ｕｎｉｖｅｒｓｉｔｙ，Ｙａｎｔａｉ　２６４００１，Ｃｈｉｎａ）　Ａｂｓｔｒａｃｔ：Ｔｈｉｓ　ａｒｔｉｃｌｅ，ｃｏｍｂｉｎｉｎｇ　ｏｎｔｅｌｏｇｙ　ｗｉｔｈ　ｍｅｔａｄａｔａ，ｒｅｓｅａｒｃｈｅｓ　ｔｈｅ　ｎａｖｙ　ｗｅａｐｏｎｓ　ｓｅｃｕｒｉｔｙ　ｍｅｔａｄａｔａ　ｍｏｄｅｌ　ｂｕｉｌｄｉｎｇ　ｍｅｔｈｏｄ　ｂａｓｅｄ　ｏｎ　ｏｎｔｏｌｏｇｙ，ｔｈｉｓ　ｍｅｔｈｏｄ　ｃａｎ　ｂｅ　ｕｓｅｄ　ｔｏ　ｏｒｇａｎｉｚｅ，ｅｄｉｔ　ａｎｄ　ｉｎｑｕｉｒｅ　ｔｈｅ　ｎａｖａｌ　ｏｒｄｎａｎｃｅ　ｓｅｃｕｒｉｔｙ　ｍｅｔａｄａｔａ　ｆｉｅｌｄｓ　ｉｎｆｏｒｍａｔｉｏｎ，　ｃａｌｌ　ｄｅｓｃｒｉｂｅ　ｔｈｅ　ｒｅｌａｔｅｄ　ｃｏｎｃｅｐｔｓ　ａｎｄ　ｒｅｌａｔｉｏｎｓ　ｂｅｔｗｅｅｎ　ｃｏｎｃｅｐｔｓ　ｋｎｏｗｌｅｄｇｅ　ｏｆ　ｎａｖｙ　ｏｒｄｎａｎｃｅ　ｓａｆｅｇｕａｒｄ　ｆｉｅｌｄ，ｉｍｐｒｏｖｅ　ｔｈｅ　ｄｉｓｃｏｖ・　ｃｒｙ　ａｂｉｌｉｔｙ　ｏｆ　ｎａｖａｌ　ｏｒｄｎａｎｃｅ　ｓｅｃｕｒｉｔｙ　ｄａｔａ　ｒｅｓｏｕｒｅｅ．　Ｋｅｙ　ｗｏｒｄｓ：ｏｎｔｏｌｏｇｙ；ｍｅｔａｄａｔａ；ｗｅａｐｏｎｓ　ｓｅｃｕｒｉｔｙ　０　引　言　目前我军存在着信息系统异构造成的信息识别、　检索和理解上的障碍，如何提高数据资源的全局发现　能力，使其在全局范围内可信、可访问和可理解，成为　我军信息化建设中亟待解决的问题。　元数据被称为元数据标准。本体是特定领域范围的　个概念诠释，它使得该领域的术语形成了一个知识　体系，能表达相应的语义逻辑并可用于推理，而一般　的元数据注重的是资源分类体系和资源本身的信息　一１本体和元数据　元数据是一个抽象概念，在不同的领域、不同的　描述，在表达资源间的相互联系上是通过“联系”来　表示，该表示较弱，没有本体中的关系清楚。元数据　解决了资源的语义描述问题，本体解决了资源集合的　相互关系问题，元数据和本体的关系可以看成是语法　和语义及微观和宏观的关系［９－１２］。　本体和元数据可互为补充，元数据模式的制定是　对一个应用系统相关的实体进行分析并提取属性的　过程，因此，元数据模式本身可以看成是本体的初级　形式，如果在此基础上继续对所涉及的各种实体类型　的关联关系进行详细分析，最终就能导出本体模型。　专家会有不同的理解，所以到目前为止还没有一个统　的概念。一般认为，元数据是“关于数据的数据”，　是关于数据信息的描述　。使用元数据的根本目的　一就是为了实现数据的共享，这种共享是建立在让使用　元数据的所有人都拥有对数据含义和表达的相同理　解的基础之上的。　本体是哲学概念，它是研究存在的本质的哲学问　题。在哲学上的定义为“对世界上客观存在物的系　统的描述，即存在论”，是客观存在的一个系统的解　释或说明，关心的是客观现实的抽象本质　剖。　２海军军械保障元数据构建过程　构建步骤是否合理，不仅影响构建的效率，同时　还会直接关系到所建元数据的准确性和完备性。本　文的构建步骤借鉴了几种典型的领域本体的构建方　法。通过对这些构建方法共性的研究，结合海军军械　保障的特点，得到了适合军械保障领域的构建步骤：　本体和元数据都能用来描述某一范围内的资源，　描述该领域的本体被称为领域本体，而描述该领域的　收稿日期：２０１１－０７—１５　作者简介：兰天（１９８６一），男，山西太原人，海军航空工程学院科研部硕士研究生，研究方向：海军航空，导弹装备综合保障技　术；王文双（１９７７一），男，山东烟台人，讲师，硕士研究生，研究方向：海军航空，导弹装备综合保障技术。　２０１１年第ｌ０期　兰天等：基于本体的海军军械保障元数据构建方法研究　１５７　（１）确定本体的领域和范围；　（２）汇总领域中的重要概念；　（３）分析概念间关系；　（４）确定概念属性；　（５）创建实例；　（６）评价；　（７）文档化。　３．概念关系分析。　确定概念间的等级关系及相关关系，得到该领域概　念的层次关系图。海军军械保障领域概念问关系的确　立主要参考《海军主题词表》。《海军主题词表》是海军　第一部比较完善的、系统的、综合性的大型专业词表，它　为统一海军各级机关的公文标引和文献检索用语，以及　海军军械保障元数据的建立是一个反复迭代、不　断完善的过程，基本流程如图１所示。　明确领域范围　收集和分析领域信息　编制配套的各类专业主题词表起到了标准和规范作用。　词表中主题词的参照系统建有３种词间关系，即用　代关系、属分关系和相关关系。本文在此基础之上添加　一种非交关系。　（１）用代关系，亦称优选关系。是对含义完全相同　或近似而词形不同的同义词、近义词、准同义词以及部　分反义词进行优选，选出其中一个作为正式主题词，其　海军主题词简明词典　海军主题词表　ＧＪＢ，Ｚ　１　３９—２ＯＯ４　概念关系分析　余为非正式主题词。这些在用代关系中含义完全相同　或近似而词形不同的同义词、近义词、准同义词均为等　同关系，用等价符号（　）表示。如Ｄｅｃｏｍｍｉｓｓｉｏｎ（退役）　－概念属性确定　ＲｅｌｅａｓｅｄＦｒｏｍＡｃｔｉｖｅＳｅｒｖｉｃｅ（退出现役）；Ｍｏｔｌ１ｂａｌｌｓ（封　海军军械保障数据名录　存）ＥｎｃｌｏｓｅｄＰｒｅｓｅｒｖｅ（封闭保存）　ＳｅａｌｅｄＰｒｅｓｅｒｖｅ（密　竺竺　ｌ　’　封保存）等。　（２）属分关系，亦称属种关系。它反映正式主题词　检验和评价Ｉ　之间的等级（属种）关系，用符号（　）表示。如Ｏｒｄｎａｎ—　ｃｅＥｑｕｉｐｍｅｎｔ（军械装备）　ＭｉｌｉｔａｒｙＥｑｕｉｐｍｅｎｔ（军事装　元数据模型的　文档化　备）；ＭｉｌｉｔａｒｙＥｑｕｉｐｍｅｎｔ（军事装备）ＣＥｑｕｉｐｍｅｎｔ（装备），　其中隐含着ＯｒｄｎａｎｃｅＥｑｕｉｐｍｅｎｔ（军械装备）　Ｅｑｕｉｐｍｅｎｔ　（装备）。　图１　基于本体的元数据模型构建基本流程图　１．明确领域范围，收集和分析领域信息。　确定本体范围为海军军械保障领域。通过网络、　书籍、资料等渠道收集领域信息，对领域知识进行充　分了解。　２．概念汇总。　（３）相关关系。在用代、属分关系以外，具有密切关　系（如互相渗透的学科概念，矛盾、对立概念，以及从应　用观点认为互相有关）的正式主题词之间建立的一种关　系，用属性术语ｈａｓＲｅｌａｔｉｏｎ表示，如ＡｍｍｕｎｉｔｉｏｎＣｏｎｄｅｍ－　ｎａｔｉｏｎ　ｈａｓＲｅｌａｔｉｏｎ．ＣｏｎｄｅｎｍｅｄＯｒｄｎａｎｃｅＥｑｕｉｐｍｅｎｔｏ　对海军军械保障领域的重要概念进行汇总。主　（４）非交关系。表示两个概念之间不存在共同的实　例，用符号（　－］）表示，如ＭｉｓｓｉｌｅＳｕｐｐｏｒｔＣ＿－－￣ＭｉｎｅＳｕｐｐｏｒｔ。　这４种关系将本来杂乱无章的概念联系起来，形　成层次结构图。海军军械保障领域涉及的概念众多，　并不是任意选取的两个概念之间都存在着较强的关　联关系，这就需要按照相关性的强弱对概念进行分　要参考资源为《海军主题词简明词典》，该词典汇集　了海军各专业中的最新术语，突出了海军特点，内容　具有科学性、实用性、简明性和单一性，是海军第一部　收词最多的综合性大型百科简明词典，具有较强的指　导意义，能够在一定程度上保证所选术语的规范性、　准确性和完备性，可以作为元数据模型建立过程的有　效参考。　通过对海军军械保障领域概念术语进行整理，包括　了７个部分，共５０１个术语。其中海军军械保障领域术　语分为６部分：一般概念、军械装备管理、军械物资供应、　军械装备检测与检测设备、军械维修器材与设备、普通　枪炮弹、教练弹与火工品，共３５６个术语。另外，还有１４５　组，将相关性强的概念归为一组，每组都有一个根节　点，即族首词。族首词是指在具有等级关系的主题词　中概念外延最广的题词。海军军械保障领域共有５９　个族首词，如装备、保障、仪器等，根据这些族首词将　该领域概念划分为５９个子领域，各子领域以各自族　首词为根节点，将与族首词具有较强相关性的概念根　据属分关系构造出各自的层次结构图，呈树状结构，　该领域总层次图可形象的理解成由这５９棵树组成的　个外围相关术语，作为术语集的第７部分。　１５８　计算机与现代化　２０１１年第ｌ０期　森林。图２和图３分别是保障和装备子领域的层次　结构图。　图２保障子领域的层次结构图　厂　ｉ］　兰兰兰兰Ｉ　—　报废军械ｌ　ｌ弹药化验ｌ　Ｉ导弹保障ｌ　Ｉ导弹发射Ｉ　Ｉ库存军　装备ｌ　Ｉ　设备　ｌ　Ｉ　装备　Ｉ　Ｉ阵地装备Ｉ　ｌ　装备　光学仪器综合ｌ　【特燃　Ｉ库存武器　检测设备　Ｊ　　Ｉ设备　Ｊ　Ｊ　装备　图３装备子领域的层次结构图　第２步“概念汇总”和第３步“概念关系分析”并　不一定是严格的前后顺序关系，分析概念关系的同时　会有新的概念术语加入。例如，有些术语的层次结构　中还涉及到其它领域的术语，如“导弹吊装”是海军　军械保障领域的术语，但它的上位关系概念术语“安　装”并不是该领域术语，在这里为了更准确、全面地　表达概念之间的层次关系，就需要将这些术语加入到　术语集中，作为术语集的第７部分——外围术语。　４．概念属性确定。　概念属性的确定主要是参照《数据标准化管理　规程（ＧＪＢ／Ｚ　１３９．２００４）》中对于元数据的相关规定　和描述。在此规程中，根据描述对象的不同分为３个　部分：实体元数据、数据元素元数据和类属元素元数　据。表１列出了部分属性及其在元数据模型中的表　示形式和值类型。　《数据标准化管理规程》中对于每个元数据的描　述主要包括３部分ｕ　Ｈ　Ｊ：元数据名称、元数据约束程　表１《数据标准化管理规程（ＧＪＢ／Ｚ　１３９－２００４）））　中定义的元数据（部分）　元数据名称　模型中的表示　属性值类型　实体名称　Ｓｔｒｉｎｇ　实体元　定义　访问名称　ｓｈｏｒｄｔＮａｌｎｅ　Ｓｔｒｉｎｇ　ｅｆｉｎｉｔｉｏｎ　Ｓｔｉｒｎｇ　数据　计数标识符　ｃ０ｕｎ￡Ｉ（Ｉｅｎ￡ｉ矗ｅｒ　Ｓｔｉｒｎｇ　状态代码　ｓｔａｔｅＣｏｄｅ　Ｓｔｉｒｎｇ　数据元素名称　Ｓｔｉｒｎｇ　计数标识符　ｅｏｕｎｔｌｄｅｎｔ　ｅｌｆ　Ｓｔｒｉｎｇ　状态代码　ｓｔａｔｅＣｏｄｅ　Ｓｔｉｒｎｇ　访问名称　ｓｈｏｒｔＮａｎｌｅ　Ｓｔｉｒｎｇ　数据类型　ｄａｔａＴｙｐｅ　Ｓｔｉｒｎｇ　安全性　ｓｅｃｕｎｔｙ　Ｓｔｉｒｎｇ　数据　最大字符数　ｍａｘＬｅｎｇｔｈ　Ｉｎｔｅｇｅｒ　元素元　数据　定义　ｄｅｆｉｎｉｔｉｏｎ　Ｓｔｒｉｎｇ　计量单位名称　ｕｎｉｔＮａｍｅ　Ｓｔｉｒｎｇ　定量准确度标识符　ａｃｃｕｒａｅｙｌｄｅｎｔｉｉｆｅｒ　Ｉｎｔｅｇｅｒ　定性准确度百分比　ａｃｅｕｒａｅｙＰｅｒｃｅｎｔ　Ｓｔｒｉｎｇ　类属元素名称　Ｓｔｉｒｎｇ　计数标识符　ｃ０ｕｎｔＩｄｅｎｔ　ｅｒ　Ｓｔｉｒｎｇ　状态代码　ｓｔａｔｅＣｏｄｅ　Ｓｔｉｒｎｇ　缩写名　ｓｈｏｒｔＮａｌＴｌｅ　Ｓｔｉｒｎｇ　类属　数据类型　ｄａｔａＴｙｐｅ　Ｓｔｉｒｎｇ　元素元　数据　安全性　ｓｅｃｕｒｉｔｙ　Ｓｔｉｒｎｇ　最大字符数　ｍａｘＬｅｎｇｔｈ　Ｓｔｉｒｎｇ　度、元数据定义。其中元数据约束程度是指该元数据　在数据字典中的需求程度，共分３种，并且分别用字　母“Ｍ”、“Ｃ”、“Ｏ”表示。其中Ｍ表示强制要求，即无　条件纳入；Ｃ表示有条件要求的，即在一定条件下纳　入；Ｏ表示可选要求的，即根据具体情况确定是否选　用。根据所描述数据元素的特点，本文采用了以下几　种核心数据元素元数据：　（１）数据元素名称，约束程度：Ｍ。　定义数据元素的标记，至少由一个实体和一个　类属元素组成，还可以包含合适的修饰符作补充描　述；它应是名词或名词短语，并且应准确地反映该数　据元素特别是它的域的特征。　（２）计数标识符，约束程度：Ｍ。　定义数据字典内的记录序号；在同一类数据标　准里每个数据元素的计数标识符是唯一的。　（３）状态代码，约束程度：Ｍ。　定义数据元素从制定（草案）、提交、批准、到封　存的整个周期内的阶段代码。　数据元素可能的状态代码及其所代表的阶段有：　“Ａ”——制定　２０１１年第１Ｏ期　兰天等：基于本体的海军军械保障元数据构建方法研究　１５９　“Ｂ”——提交　“Ｃ”——未批准　“Ｄ”——批准　“Ｅ”——等待封存　“Ｆ”——封存　（４）计量单位名称，约束程度：Ｍ。　定义用于表达那些能够说明对象的大小、数量　或容量的术语的词。　当适宜使用计量单位名称并且有不止一个可能　的计量单位时，可以选择采用二维计量单位。如果计　量单位可以通过标准算法转换成其它计量单位（例　如度量距离的单位英尺转换为米或相反的转换），那　么应该使用最常用的一个计量单位。如果有多个可　能的计量单位并且不能通过标准算法转换（例如“电　缆数量”的计量单位可以是重量也可以是长度），那　么要针对该实体的每个实例的相应的计量单位采取　管理和跟踪措施。对于按照日期或时间分类的数据　元素，可以在“计量单位名称”栏目中录入“不适用”。　（５）定性准确度标识符，约束程度：Ｍ。　定义关于域值达到的准确程度的指示。　定量准确度标识符及其所代表的准确程度为：　１——精确到１００００　２——精确到１０００　３——精确到１００　４——精确到ｌＯ　５——精确到１　６——精确到０．１　７——精确到０．Ｏ１　８——精确到０．００１　９——精确到０．０００１　０——没有　（６）定性准确度百分比，约束程度：Ｍ。　定义关于定性域值应达到的准确程度的指示。　允许的值为１—１００％。　５．创建实例。　选择概念，通过查询《海军军械保障信息库》，添　加概念的实例。　６．元数据模型的检验和评价。　模型中定义的术语是否清晰，概念及概念间的关　系是否完整，模型的各元素在语义上是否一致等。　７．元数据模型的文档化。　采用ＯＷＬ语言对元数据模型进行表示，并生成文　档，便于应用系统对元数据模型的自动识别和处理。　３　结束语　本文介绍了基于本体的海军军械保障元数据构　建方法，此方法可用于组织、编辑和查询海军军械保　障领域的元数据信息，能够描述海军军械保障领域各　相关概念以及概念之间关系的知识，提高了海军军械　保障数据资源的发现能力，使数据在全局范同内可　信、可访问和可理解。　参考文献：　［１］　Ｍａｘ　Ｐｌａｎｅｋ．Ｍｅｔａｄａｔａ　Ｉｎｆｒａｓｔｒｕｃｔｕｒｅｓ　Ｓｅｍｉｎａｒ　Ｐｒｅｐａｒａｔｉｏｎ　［ＥＢ／ＯＬ］．ｈｔｔｐ：／／ｃｏｌａｂ．ｍｐｄ１．ｍｐｇ．ｄｅ／ｍｅｄｉａｗｉｋｉ／Ｍｅｔａ—　ｄａｔａ　Ｉｎｆｒａｓｔｒｕｃｔｕｒｅｓ—Ｓｅｍｉｎａｒ＿Ｐｒｅｐａｒａｔｉｏｎ，２００８—１０・１４．　［２］　张晓林．元数据研究与应用［Ｍ］．北京：北京图书馆出版　社，２００２：９—１０．　［３］毕强，朱亚玲．元数据标准及其互操作研究［Ｊ］．信息系　统，２００７，３０（５）：６６６－６７０．　［４］　冯项云，肖珑，廖三三，等．国外常用元数据标准比较研　究［ＥＢ／ＯＬ］．ｈｔｔｐ：／／ｗｗｗ．ｉｄ１．ｐｋｕ．ｅｄｕ．ｅｎ／ｐｄｆ／ｍｅｔａｄａ—　ｔａ２．ｐｄｆ，２０１１－０７—１５．　［５］邓志，唐世渭，张铭，等．Ｏｎｔｏｌｏｇｙ研究综述［Ｊ］．北京大　学学报：自然科学版，２００２，３８（５）：７３０－７３８．　［６］　Ｇｒａｂｅｒ　Ｔ　Ｒ．Ａ　ｔｒａｎｓｌａｔｉｏｎ　ａｐｐｒｏａｃｈ　ｔｏ　ｐｏｒｔａｂｌｅ　ｏｎｔｏｌｏｇｙ　ｓｐｅｃｉｉｆｃａｔｉｏｎ［Ｒ］．Ｔｅｃｈｎｉｃａｌ　Ｒｅｐｏｒｔ　ｏｆ　ＫｎｏＭｅｄｇｅ　Ｓｙｓｔｅｍ　Ｌａｂｏｒａｔｏｒｙ（ＫＳＬ），１９９３：２－７．　［７］　Ｂｏｒｓｔ　Ｎ．Ｃｏｎｓｔｒｕｃｔｉｏｎ　ｏｆ　Ｅｎｇｉｎｅｅｒｉｎｇ　Ｏｎｔｏｌｏｇｉｅｓ　ｆｏｒ　Ｋｎｏｗｌ—　ｅｄｇｅ　Ｓｈａｒｉｎｇ　ａｎｄ　Ｒｅｕｓｅ［Ｄ］．Ｅｎｓｃｈｅｄｅ：Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｔｗｅｎｔｅ，１９９７．　［８］　Ｓｔｕｄｅｒ　Ｒ，Ｂｅｎｊａｍｉｎｓ　Ｖ　Ｒ，Ｆｅｎｓｅｌ　Ｄ．Ｋｎｏｗｌｅｄｇｅ　ｅｎｇｉｎｅｅｒ－　ｉｎｇ，ｐｒｉｎｃｉｐｌｅｓ　ａｎｄ　ｍｅｔｈｏｄｓ［Ｊ］．Ｄａｔａ　ａｎｄ　Ｋｎｏｗｌｅｄｇｅ　Ｅｎｇｉ—　ｎｅｅｒｉｎｇ，１９９８：２５（１２）：１６１—１９７．　［９］　花开明，陈家训，杨洪山．基于本体与元数据的语义检索　［Ｊ］．计算机工程，２００７，３３（２４）：２２０－２２４．　［１０］李恒杰，李军权，李明．领域本体建模方法研究［Ｊ］．计算　机工程与设计，２００８，２９（２）：３８１—３８４．　［１　１］Ｊｉｎｓｏｏ　Ｐａｒｋ，Ｋｉｍｏｏｎ　Ｓｕｎｇ，Ｓｅｗｏｎ　Ｍｏｏｎ．Ｄｅｖｅｌｏｐｉｎｇ　Ｇｒａｄｕ・　ａｔｉｏｎ　Ｓｃｒｅｅｎ　Ｏｎｔｏｌｏｇｙ　Ｂａｓｅｄ　ｏｎ　ｔｈｅ　Ｍｅｔｈｏｎｔｏｌｏｇｙ　Ａｐｐｒｏａｃｈ　［Ｍ］．ＵＳＡ：ＩＥＥＥ　Ｃｏｍｐｕｔｅｒ　Ｓｏｃｉｅｔｙ　Ｗａｓｈｉｎｇｔｏｎ，２００８：　３７５－３８０．　［１２］金芝．知识工程中的本体论研究［Ｃ］／／世纪之交的知识　工程与知识科学．北京：清华大学出版社，２００１：４４７—　４６５．　［１３］徐冬梅，汪嘉颐，张展新，等．数据标准化管理规程［Ｍ］．　北京：总装备部军标出版发行部，２００４：１—２，３－６，１３．１５，　６—１３．　［１４］Ｂａａｄｅｒ　Ｆ，Ｃａｌｖａｎｅｓｅ　Ｄ，Ｄｅｂｏｒａｈ　Ｌ，ｅｔ，ａ１．Ｔｈｅ　Ｄｅｓｃｒｉｐｔｉｏｎ　Ｌｏｇｉｃ　Ｈａｎｄｂｏｏｋ：　Ｆｈｅｏｒｙ，Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎｓ　［Ｍ］．Ｌｏｎｄｏｎ：Ｃｍａｂｒｉｄｇｅ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ，２００３：４７—１００．