Some Description Logic.pdf

  1. 1、本文档共17页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Some Description Logic

Incremental extensions to OWL-DL, tractable logic fragments, future work OWL 1.1: Proposed extensions to OWL David Ratcliffe Software Engineer CSIRO ICT Centre, Canberra Information Engineering Laboratory Web Services and Data Integration www.ict.csiro.au Overview  OWL (Web Ontology Language): Background  What is OWL  Description Logic  OWL 1.1  OWL: Experiences and Directions workshop (2005)  Modelling – New features  Tractability – Tractable logic fragments  Current progress  Beyond OWL 1.1 www.ict.csiro.au What is OWL?  Web Ontology Language  Ontology vocabulary for the Semantic Web designed to be human and machine processable  Ontology is a formal specification of a domain to be shared between large groups of stakeholders  Supersets RDF/S providing more expressive power  Divided into three ‘species’: OWL-Lite, OWL-DL, OWL-Full (layered according to expressiveness)  Reasoning tasks in OWL-Lite, OWL-DL are decidable  OWL-Lite/DL based on Description Logics (DL)  Well founded, researched and supported  Automated reasoners exist for various DLs (Racer, Pellet, FaCT++, Cerebra, KAON2, CEL, etc…)  OWL-DL: Description logic SHOIN (D+)  OWL-Lite: Description logic SHIF (D+) www.ict.csiro.au Some Description Logic  Class (Concept) Human, MaleHuman, FemaleHuman  Instance MaleHuman(John), FemaleHuman(Sarah)  Property (Role) hasFriend(John, Sarah)  Axioms  Subsumption Human MaleHuman Human FemaleHuman  Disjointness MaleHuman FemaleHuman  Property cardinality Car hasWheels 4 hasWheels 4  Property quantification Car hasPart.Engine hasDriver.Human www.ict.csiro.au OWL 1.1: Extensions to OWL-DL OWL 1.1 Modelling ? Syntactic sugar – Disjointness axioms, value restrictions ? Meta-modelling – Punning, semantic-free comments ? Property constructs – Role composition, etc ? Datatype expressiveness – Extended support Tractability ? Tractable logic fragments – Eg. EL++, DL-Lite Current state Future www.ict.csiro.au OWL 1.1: Syntac

文档评论(0)

l215322 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档