- 1、本文档共17页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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
您可能关注的文档
- Pulsar shadow as the origin of double notches in radio pulse profiles.pdf
- Pure spin-angular momentum coefficients for non-scalar one-particle operators in jj-couplin.pdf
- Putting the parts together – concepts, description techniques, and development process for.pdf
- psl_purdue_dem_lecture11_coarsecontactdetection.pdf
- PVC_U管抗冲击改性和高抗冲PVC_U管性能.pdf
- PWM开关电源控制器.pdf
- Py4Inf-02-Expressions.pdf
- python指南_v2.6_简体中文版.pdf
- Q 2007 ‘Simulation of visibility in smoke laden environments.pdf
- Q1_2nd_Edtion_Rules_Ref_Card.pdf
最近下载
- 第二单元 项目1 《 获取长城研学路线-互联网信息有哪些信誉好的足球投注网站》教学设计 2024—2025学年安徽版(2024)初中信息技术七年级上册.docx VIP
- 江苏省2024普通高中学业水平合格性考试英语真题卷 .pdf
- 第二单元+项目1+《+获取长城研学路线-互联网信息有哪些信誉好的足球投注网站》课件+2024—2025学年安徽版(2024)初中信息技术七年级上册+.pptx VIP
- 浙江交投高速公路建设管理有限公司部分中层管理岗位公开竞聘【综合基础知识500题】高频考点模拟试题及参考答案解析.docx
- 天然气对井内压力的影响(五)课件.pptx VIP
- 妇产科医疗质控总结.pptx VIP
- 企业内部控制指引.doc
- 山东大学齐鲁医院诊断证明.docx VIP
- 心胸外科出科.pptx VIP
- 2024贵州遵义市面向优秀村(社区)干部专项招聘乡镇(街道)事业单位工作人员61人笔试备考题库及答案解析.docx VIP
文档评论(0)