0


OWL:语义网的本体语言

OWL: An Ontology Language for the Semantic Web
课程网址: http://videolectures.net/rease_bechhofer_olsw/  
主讲教师: Sean Bechhofer
开课单位: 曼彻斯特大学
开课时间: 2011-11-09
课程语种: 英语
中文简介:
这是一个一小时的录像,记录了肖恩·贝克霍夫在2005年知识网暑期学校的演讲。它包括与幻灯片同步的视频(但需要QuickTime,因此需要Windows或MacOS,否则必须手动切换幻灯片)。目录:owl:一种本体语言,用于Web教程主题的语义Web视觉,有什么问题?一个语义网-第一步技术为语义网面向对象模型结构的本体本体论语言为什么是语义?形式语言RDF RDF数据模型链接语句RDF语法RDF(s):RDF模式RDF(s)示例RDF/RDF(s)";自由度";RDF/RDF(s)与RDF(s)的语义问题解决方案OWL族树OWL旁白的简要历史:描述逻辑DLS的简要历史DL语义OWL分层OWL完整OWL DL OWL Lite OWL语法OWL类构造函数owl axioms owl单个axioms owl属性axioms语义owl属性axioms语义推理实例推理为什么推理?示例必要和充分条件示例常见误解不连续域和范围和/或量化封闭和开放世界扩展:SWRL规则:SWRL规则:SWRL扩展推理:复杂角色公理扩展:查询和检索扩展:查询语言扩展:数据类型扩展:MODularity工具摘要
课程简介: This is a one-hour video recording of the presentation of Sean Bechhofer at the KnowledgeWeb summer school 2005. It comprises either the video synchronized with the slides (but requires Quicktime, hence Windows or MacOS, otherwise the slides have to be switched manually). Table of Contents: OWL: An Ontology Language for the Web Tutorial Topics The Semantic Web Vision What is the Problem? A Semantic Web - First Steps Technologies for the Semantic Web Object Oriented Models Structure of an Ontology Ontology Languages Why Semantics? Formal Languages RDF The RDF Data Model Linking Statements RDF Syntax RDF(S): RDF Schema RDF(S) Examples RDF/RDF(S) "Liberality" RDF/RDF(S) Semantics Problems with RDF(S) Solution The OWL Family Tree A Brief History of OWL Aside: Description Logics A Brief History of DLs DL Semantics OWL Layering OWL Full OWL DL OWL Lite OWL Syntaxes OWL Class Constructors OWL Axioms OWL Individual Axioms OWL Property Axioms Semantics OWL Property Axioms Semantics Reasoning Instance Reasoning Why Reasoning? Example Necessary and Sufficient Conditions Example Common Misconceptions Disjointness Domain and Range And/Or and Quantification Closed and Open Worlds Extensions Extensions: SWRL Rules: SWRL Rules: Reasoning with SWRL Extensions: Complex Role Axioms Extensions: Query and Retrieval Extensions: Query Languages Extensions: Datatyping Extensions: Modularity Tools Summary
关 键 词: 本体语言; 语义网; SWRL规则; 构造函数
课程来源: 视频讲座网
最后编审: 2020-06-09:liqy
阅读次数: 61