OWL本体语言参考

本文档《OWLWeb本体语言参考》是W3C发布的OWLWebOntologyLanguageReference（2004-02-10）的中文译本。文中若存在译法不当和错误之处，欢迎批评指正，请发邮件至：[e-mail]，谢谢！翻译说明：·本文档的英文版是唯一正式版本。此处的中文译本仅供学习与交流。·中文译本的内容是非正式的，仅代表译者的个人观点。·中文译本的内容会根据反馈意见随时进行修订。·中文译本同时通过W3CTranslations网站发布。·转载本文，请注明译者和原链接。译者：曾新红（XinhongZeng），深圳大学图书馆NKOS研究室徐乐（LeXu），深圳大学计算机与软件学院资助声明：本次翻译工作得到广东省哲学社会科学“十一五”规划项目（批准号：GD10CTS02）和国家社科基金项目“中文知识组织系统的形式化语义描述标准体系研究”（批准号：12BTQ045）的资助。发布时间：2013年1月18日OWLWeb本体语言参考W3C推荐标准2004年2月10日当前版本:最新版本:上一版本:编者:MikeDean,BBNTechnologiesGuusSchreiber,FreeUniversityAmsterdam贡献者:SeanBechhofer,UniversityofManchesterFrankvanHarmelen,FreeUniversityAmsterdamJimHendler,UniversityofMarylandIanHorrocks,UniversityofManchesterDeborahL.McGuinness,StanfordUniversityPeterF.Patel-Schneider,BellLabsResearch,LucentTechnologiesLynnAndreaStein,FranklinW.OlinCollegeofEngineering请参考本文的勘误表,那里会有一些规范性的修正。也可以查看相关翻译。Copyright©2004W3C®（MIT,ERCIM,Keio),AllRightsReserved.W3Cliability,trademark,documentuseandsoftwarelicensingrulesapply.摘要Web本体语言OWL是一个语义标记语言，用于在万维网上发布和共享本体。OWL以RDF（资源描述框架）词汇扩展的形式开发，它源于DAML+OILWeb本体语言。本文档包含了对整套OWL语言结构的结构化的非形式化描述，目的是为想要构建OWL本体的OWL用户提供一个参考。本文档的状态本文档已经由W3C成员及其他兴趣组织审阅,并已被W3C主管（W3CDirector）批准为W3C推荐标准（W3CRecommendation）。W3C在制定推荐标准过程中担任的角色是使规范受到关注，并促使其被广泛应用。这将增强Web的功能性与互操作性。本文档是W3C关于Web本体语言OWL的推荐标准的六个部分之一。它由Web本体工作小组开发，作为W3C语义Web行动（行动声明，小组章程）的一部分于2004年2月10日发布。本文档的早期版本中所描述的关于OWL的设计已被广泛校阅，并已满足工作小组的技术需求。工作小组充分考虑了所有收到的意见，并做了必要的修改。本文档自从建议推荐标准版本以来的所有修改都详细列在文后的变动日志中。欢迎通过[e-mail]（历史存档）提出您的意见，也可以通过@w3.org（历史存档）参与相关技术的一般讨论。可以访问到有关实现的一个列表。W3C维护着一个与这些工作相关的专利声明的目录。这节描述了本文档在发布时的状态。其他文档可能替代该文档。当前W3C的最新出版物的目录和这个技术报告的最新版本在W3C技术报告索引中可以找到。致谢本文档有一部分源自DAML+OIL(2001.3)ReferenceDescription[DAML+OIL]（作为DAML+OILW3CNote的一部分提交）。我们对本文档和之前文档的赞助者表示诚挚的感谢。JeremyCarroll,JimHendler,BrianMcBride和PeterPatel-Schneider对本文档进行了实质性的审查，并为本文档贡献了文字。JeffHeflin撰写了关于过时（deprecation）的章节。JeromeEuzenat为一个枚举数据类型提供了示例。这个文档是Web本体工作组作为一个整体进行广泛讨论的结果。该工作组的参与者包括：YasseralSafadi,Jean-FrançoisBaget,JamesBarnette,SeanBechhofer,JonathanBorden,FrederikBrysse,StephenBuswell,JeremyCarroll,DanConnolly,PeterCrowther,JonathanDale,JosDeRoo,DavidDeRoure,MikeDean,LarryEshelman,JérômeEuzenat,TimFinin,NicholasGibbins,SandroHawke,PatrickHayes,JeffHeflin,ZivHellman,JamesHendler,BernardHoran,MasahiroHori,IanHorrocks,JaneHunter,FrancescoIannuzzelli,RüdigerKlein,NatashaKravtsova,OraLassila,MassimoMarchiori,DeborahMcGuinness,EnricoMotta,LeoObrst,MehrdadOmidvari,MartinPike,MarwanSabbouh,GuusSchreiber,NoboruShimizu,MichaelSintek,MichaelK.Smith,JohnStanton,LynnAndreaStein,HermanterHorst,DavidTrastour,FrankvanHarmelen,BernardVatant,RaphaelVolz,EvanWallace,ChristopherWelty,CharlesWhite，以及JohnYanosy。目录摘要本文档的状态致谢1.引言o1.1本文档的目的o1.2OWLFull/DL/Liteo1.3OWL语法o1.4OWL和RDF语义o1.5例子的说明o1.6数据聚合与隐私o1.7本文档的附录2.OWL文档o2.1内容o2.2OWLURI词汇表和命名空间o2.3MIME类型3.类o3.1类运算式o3.1.1枚举3.1.2属性限制3.1.2.1值约束3.1.2.1.1owl:allValuesFrom3.1.2.1.2owl:someValuesFrom3.1.2.1.3owl:hasValue3.1.2.2基数约束3.1.2.2.1owl:maxCardinality3.1.2.2.2owl:minCardinality3.1.2.2.3owl:cardinality3.1.3交集、并集和补集3.1.3.1owl:intersectionOf3.1.3.2owl:unionOf3.1.3.3owl:complementOfo3.2类公理o3.2.1rdfs:subClassOf3.2.2owl:equivalentClass3.2.3不使用owl:equivalentClass的完整类的公理3.2.4owl:disjointWith4.属性o4.1RDFSchema属性结构o4.1.1rdfs:subPropertyOf4.1.2rdfs:domain4.1.3rdfs:rangeo4.2与其他属性的关系o4.2.1owl:equivalentProperty4.2.2owl:inverseOfo4.3关于属性的全局基数约束o4.3.1owl:FunctionalProperty4.3.2owl:InverseFunctionalPropertyo4.4属性的逻辑特征o4.4.1owl:TransitiveProperty4.4.2owl:SymmetricProperty5.个体o5.1类成员和属性值o5.2个体同一性o5.2.1owl:sameAs5.2.2owl:differentFrom5.2.3owl:AllDifferent6.数据类型o6.1RDF数据类型o6.2使用owl:oneof的枚举数据类型o6.3对数据类型推理的支持7.注释、本体头、导入和版本信息o7.1注释o7.2本体头o7.3导入本体o7.4版本信息o7.4.1owl:versionInfo7.4.2owl:priorVersion7.4.3owl:backwardCompatibleWith7.4.4owl:incompatibleWith7.4.5owl:DeprecatedClass和owl:DeprecatedProperty8.OWLFull，OWLDL和OWLLiteo8.1OWLFullo8.2OWLDLo8.3OWLLite附录A：所有语言元素的索引附录B：OWL的RDFSchema附录C：OWL快速参考附录D：相对于DAML+OIL的改变附录E：OWLDL本体的经验法则附录F：自PR之后的变动日志参考文献1.引言1.1本文档的目的本文档给出了OWL的所有建模原语（modellingprimitives）的系统、紧凑和资料性的描述，使用了OWL的RDF/XML交换语法。我们希望本文档能够为OWL语言的用户提供参考指南。本文档是OWL即Web本体语言描述的一部分，由W3CWeb本体工作组制定。“OWL概述”的文档路线图部分描述了文档的每一个不同部分以及它们是如何组合在一起的。对OWL不熟悉的读者不妨先查阅“OWL概述”文档[OWLOverview]，然后再查阅“OWL指南”[OWLGuide]上关于OWL语言使用的更具叙述性的说明和例子。本文档假定读者熟悉RDF的基本概念[RDFConcepts]，具有RDF/XML语法[RDF/XMLSyntax]和RDFSchema[RDFVocabulary]的应用知识。可以在“OWL语义和抽象语法”文档[OWLS&AS]中找到关于OWL语言结构（constructs）精确语法的规范参考。那份文档还包含一个语言结构含义的确切定义，这个定义以模型-理论（model-theoretic）语义的形式给出。诸如OWL本体的一致性等概念在该文档中也有讨论。在“OWL需求”文档[OWLRequirements]中描述了OWL语言的用例和需求。在测试文档[OWLTestCases]中对OWL工具的测试用例（例如蕴含测试、一致性测试）做了详细说明。1.2OWLFull/DL/Lite正如在OWL概述文档[OWLOverview]以及随后的OWL指南[OWLGuide]中所讨论的，我们相信OWL语言提供的两种特定的子集对于实现者和语言使用者是有用的。OWLLite专门为易于实现的开发而设计，它提供了一个功能子集帮助使用者开始使用OWL。设计OWLDL（DL即“DescriptionLogic”）是为了支持现有的描述逻辑业务，OWLDL提供了一个对推理系统有着理想计算性能的语言子集。完整的OWL语言（称为OWLFull以区别于其子集）放宽了一些对OWLDL的约束，以使得许多数据库和知识表达系统可以使用那些对它们可能有用