Web本体语言OWL－一种用于语义网的描述逻辑
　　星期五下午，参加了本体讨论班，满怀热情而去，但有点失望，只是简单的讲了XML，三十分钟就结束了。但有老师的一句话，很是有意思，“本体研究的十几年，造就了中国一大批的博士后”，很好，很好。我生迟几年，只能继续跑去看他们的论文。一个人在偌大的教室，看了胡鹤等的《Web本体语言OWL》和向胜军等的《OWL:一种用于语义网的描述逻辑》。纯粹介绍性的东西，很概念化，少少的明白了OWL语言，依旧没有涉及到应用，什么时候找protege看看，到底本体是怎样编辑的。
　　涉及内容
　　1、OWL可以用于帮助应用程序处理包含在文档中信息的内容而不是仅仅关注信息的显示方式。这与传统的由人来直接处理信息内容的方式不同。OWL可以用于显式的表达在词汇表中项的含义和这些项之间的关系。项和它们之间关系的这种表达被称为本体。
　　2、语义Web利用了XML可以自定义标签模式(tagging
schemes)的能力和RDF可以灵活表示数据的能力。W3C提出了一些与语义Web有关的建议，包括XML、XML模式、RDF、RDF模式等[3]。XML为结构化文档提供了基本的语法，但对文档的含义并未施加任何语义上的限制；XML模式是一种约束XML文档结构的语言；RDF是一个关于对象(或资源)和它们之间关系的数据模型，并为这个数据模型提供了简单的语义。这些数据模型使用XML语法表示。RDF模式是描述RDF资源中属性和类的词汇表，并带有这些属性和类的泛化层次的语义。
　　3、OWL有3个表达能力递增的子语言：OWL Lite，OWL&DL和OWL
　　4、OWL Lite的语言成分
　　（1）OWL
Lite的RDF模式特性①Class(类):类定义了一组共享某些属性的个体所组成的集合。②rdfs:subClassOf(子类)：可以通过说明一个类是另一个类的子类来建立类之间的层次关系。③rdfs:Property(属性)：属性可以用于说明个体之间或个体到数值间的关系。如属性hasChild
, hasRelative ,
hasSibling和hasAge。前3个属性是关于Person类的一个实例到另一个Person类实例的关系(称为对象属性)；最后的hasAge属性是关于Person类的实例到整型数据类型实例的关系(称为数据类型属性。)④rdfs:subPropertyOf(子属性)：与类相似，可以通过说明一个属性是另一个或多个属性的子属性来建立属性之间的层次关系。例如可以说hasSibling(拥有兄弟姐妹)
是hasRelative(拥有亲属)的子属性。⑤rdfs:domain(域)：属性的域限定了可以应用该属性的个体的类。如果某个属性将两个个体关联起来，且该属性的域是某个类，则被关联的个体必须属于那个类。例如可以说hasChild属性的域为Mammal。⑥rdfs:range(范围)：属性的范围在另一个方向上限定个体的取值。如果某个属性将两个个体关联起来，且该属性的范围是某个类，则关联的另一个个体必须属于那个类。如hasChild属性的范围为Mammal。Frank
Anna，则Anna必须是Mammal。⑦Individual(个体)：个体是类的实例。可以用属性将一个个体与另一个个体关联起来。如一个叫Deborah的个体是类Person的一个实例，属性hasEmployer将个体Deborah和个体StanfordUniversity关联起来。
　　（2）OWL
Lite相等/不相等性：①equivalentClass(类相等)。②equivalentProperty(属性相等)。③sameIndividualAs(个体相同)。④differentFrom(不同于)。⑤allDifferent(全不同)。
　　（3）OWL
Lite属性特性：(1)inverseOf(逆反)：一个属性可以说明为是另一个属性的逆反。例如hasChild属性的逆反是hasParent属性。(2)TransitiveProperty(传递)：属性可以是传递性的。如hasAncestor属性是传递的，即如果有hasAncestor(A,B)和hasAncestor(B,C)，则同时也有hasAncestor(A,C)。(3)SymmetricProperty(对称)：属性可以是对称性的，即对某个属性P，如果有P(A,B)，则同时有P(B,A)。例如已知Friend(Frank,Deborah)，且属性Friend为对称性属性，则同时能得出Friend(Deborah,Frank)。(4)FunctionalProperty(函数式)：属性可以说明为只有一个唯一的值。如果某个属性是函数式属性，则对每个个体它都有不多于一个值。(5)InverseFunctionalProperty(反函数式)。
　　（4）OWL
Lite属性类型限制：①allValuesFrom(全部取值于)：‘全部取值于’限制了属性的取值范围为某个特定的类，例如Person类有一个属性hasOffspring(拥有后代)，该属性有一个‘全部取值于’限制，限定了hasOffspring属性的取值范围为Person类。②someValuesFrom(一些取值于)：‘一些取值于’限制了属性的一些取值为某个特定的类。
　　（5）OWL Lite 基数限制：OWL的基数限制作用在属性的相关类上。在OWL
Lite中的基数规定只能为0或1，而不像在OWL DL 和OWL
Full中的基数可以取任意的非负整数值。①)minCardinality(最小基数)。②maxCardinality(最大基数)。③cardinality(基数)。
　　（6）OWL Lite 类相交：intersectionOf(相交)：OWL
Lite只容许命名类和限制之间的相交。例如类EmployedPerson可以描述为是类Person和类EmployedThings的相交。
　　5、OWL DL 和 OWL Full的附加特性
　　(1)oneOf(之一)：例如类daysOfTheWeek可以通过简单的枚举出从星期一到星期日7个个体。(2)hasValue(拥有值)：例如类dutchCitizens(荷兰公民)实例的特性是其属性nationality(国籍)的值为Netherlands(荷兰)。(3)disjointWith(分离)：例如类Man和Woman可以声明为互相分离的两个类。这样当已知A是类Man的一个实例时，推理器就会自动推断出A不是类Woman的实例。(4)unionOf,
intersectionOf,
complementOf(析取，合取，取反)：例如使用unionOf(析取)我们可以定义一个类包含类USCitizens(美国公民)或者
ChinaCitizens(中国公民)，使用complementOf(取反)我们可以定义类children(儿童)不是类SeniorCitizens(成人)，即类hildren是类SeniorCitizens取反的子集。(5)minCardinality,
maxCardinality, cardinality(最小基数，最大基数，基数)：在OWL
Lite中基数只能取值0或1，完整的OWL容许基数取任意的非负整数值。例如类DINKS(DualIncome,No
Kids)(双人工作而无子女)的hasIncome属性的最小基数为2，其hasChild属性的基数为0。
　　6、&每个OWL文档都是RDF文档,
每个RDF文档都是OWL　FULL文档。
　　7、OWL类构造符：
　　8、OWL公理
　　9、推理服务
　　（1）语义网的目标是机器理解, 而这就是推理。①设计和维护本体。②整合本体。③查询类和实例。
　　（2）OWL推理的特点：OWL等价于可表达的描述逻辑－－SHIQ,并添加了枚举地定义类即one-Of构造符和数据类型在描述逻辑中通常被称为精确域,
这种等价性决定了OWL可以利用现有的大量描述逻辑研究主体。
　　10、语义网的目标是使得网络资源可以用于自动处理过程, 本体在为语义标记提供词汇方面起着很大的作用
已投稿到：
以上网友发言只代表其个人观点，不代表新浪网的观点或立场。本类论文推荐君，已阅读到文档的结尾了呢~~
【word】 描述逻辑在智能化信息检索中的应用
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
【word】 描述逻辑在智能化信息检索中的应用
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口君，已阅读到文档的结尾了呢~~
描述逻辑及其应用应用,描述,逻辑,描述逻辑,及其应用,应用逻辑,应用逻辑学
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
描述逻辑及其应用
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口中国XML论坛 - 专业的XML技术讨论区--『&Semantic&Web(语义Web)/描述逻辑/本体&』
随时掌握技术动态，请订阅：
>> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。
→ 帖子列表
&&<td width="100%" title="CSWC&2013将在上海召开版主：&" colspan=2>今日：0发贴：4<td width="100%" title="2011亚太语义互联网会议ASWC2011和第五届中国语义互联网研讨会CSWC2011,&将于12月4-6号在杭州召开版主：&" colspan=2>今日：0发贴：23<td width="100%" title="第四届中国语义Web国际研讨会（CSWS&&#39;&年8月19-21日，北京）专版 版主：暂无" colspan=2>今日：0发贴：50<td width="100%" title="欧盟第七框架大规模知识加速器（LarKC）项目中文论坛版主：&" colspan=2>今日：0发贴：45<td width="100%" title="第三届中国语义万维网研讨会（CSWS2009） 日—31日，中国南京，东南大学。版主：&" colspan=2>今日：0发贴：166<td width="100%" title="核心研究讨论区版主：&" colspan=2>今日：0发贴：7&&总在线293人，其中『 Semantic Web(语义Web)/描述逻辑/本体 』上共有 0 位会员与 25 位客人.今日贴子 0 [] &&&&&&&
&&&& [] [] [] [] [] [] [] [] [我的兴趣]
(点击标题排序)强烈呼吁在中国学界普及逻辑学&&[
]31/238565&&&|&[CFP]&8th&Chinese&Semantic&Web&&&Web&Science&Conference&(CSWS2014)1/26573&&&|&贺China-pub为本站开通5星会员购书通道，配合China-pub为本站派发的专属购书优惠券使用更佳（再减5元或10元）&&[
... ]90/1028999&&&|&W3China&官&方&翻&译&团&队&招&募&译&者&&[
]10/118532&&&|&8/61635&&&|&web无障碍标准翻译活动正式启动&&诚征志同道合者一起翻译校对&&[
]34/301218&&&|&&逻辑讲坛之一《数理逻辑的重要性与学习方法》作者：&王丛（yezhunan3h），Wright&State&University&&& | 4/18375&&&|&（录音已于2011年重新上传，可下载，见1楼）&2009年“语义万维网的逻辑基础”暑期课程，南京，东南大学，~28日&&[
]&& | 57/213143&&&|&最近下载最多的论文 TOP 102015年第4届网络与计算技术国际学术会议ICNCT-12月-罗马[原创]&& | 2/6429&&&|&2015年第2届知识与软件工程国际学术会议ICKSE-12月-罗马[原创]&& | 1/5620&&&|&[原创]描述逻辑手册（Handbook&of&description&Logic）第二版，英文原版，全书翻译第一稿，出售。&&0/4795&&&|&Call&for&participation:&7th&China&Semantic&Web&Symposium&&&2nd&Web&Science&Conference&(CSWS&2013)&& | 0/6753&&&|&[求助]&&0/4263&&&|&Jena对本体内容的刪除無效&&&新增、修改、删除一问&& |
| 1/8430&&&|&中国科学院自动化研究所海量信息处理总体部语义Web工程师招聘&& |
| 1/11675&&&|&ISWC&2008&论文集下载（含Workshop和Tutorials&Slides）&& |
| 3/23884&&&|&[求助]DLs是完备的么？？求相关的资料&&0/4035&&&|&[求助]关于DL里面的一些概念翻译&&1/4395&&&|&CFPs:&2012&IEEE/WIC/ACM&International&Conference&--Deadline&is&extended&to&10th&June&[转帖]&& |
| 0/8779&&&|&CFPs:&2012&International&Conference&on&Active&Media&Technology&--Deadline&is&extended&to&10th&June&& |
| 0/8292&&&|&ICWS&2010&会议论文集&下载&& |
| 6/24412&&&|&CFPs:&2012&World&Intelligence&Congress--Deadline&is&extended&to&10th&June&& |
| 0/8989&&&|&CFP:&CIKM&2012&workshop&on&Web-KR&& | 0/5548&&&|&KR&2012&&&ESWC&2012&accepted&papers&& |
| 1/13045&&&|&急！protege4.0中的插件&query&DL怎么用&&1/7304&&&|&有关动态描述逻辑&& | 2/8127&&&|&如何将本体描述web&服务的多个wsdl文件导入到protege的owl-s&editor中生成的owl文件？&& |
| 0/6621&&&|&[原创]读《Semantic&Web&Programming》第五章时遇到的问题&& |
| 9/19395&&&|&OWL&or&OLD?&[2008]&P.S.&OWL2的一些检讨&& |
| 0/9558&&&|&在JENA推理中，如何完成已知一个Resource和一个Property得出相应Resource&& |
| 0/9248&&&|&JIST2011&Keynotes&& |
| 0/13424&&&|&BEPL[求助]&& | 0/7230&&&|&用prolog进行描述逻辑推理&&0/5627&&&|&请教一个问题，为什么很多文章说描述逻辑是一阶逻辑的可判定子集？&&[
]&& | 12/26963&&&|&描述逻辑与一阶逻辑的关系？&&1/6600&&&|&用prolog进行描述逻辑的实验的疑问&& | 0/6171&&&|&黄智生博士&《语义万维网逻辑基础》&至26日武汉（课程免费，报名从速）&&[
]&& | 12/45878&&&|&ISWC&2009&论文集下载&& |
| 2/19814&&&|&XML向本体映射技术讨论&& |
| 3/14161&&&|&[新手求助]SWRL&Editor使用&&5/10037&&&|&运行owls&api&3.0中实例出问题org.xml.sax.SAXParseException:&Content&is&not&allowed&in&prolog.&& |
| 0/12506&&&|&关于可判定性(decidability)的疑问，求高手解答&& | 7/8837&&&|&[求助]紧急，关于几个OWL&2子语言图上的几个名词的解释&& | 0/6524&&&|&&& | 0/6591&&&|&protege中的插件度QueryDL怎么用啊&&急！&&0/6243&&&|&2011&澳大利亚Griffith大学&本体方向&博士后职位（王克文教授团队）&& | 0/6917&&&|&请教高手，关于描述逻辑解释的问题&& | 4/7991&&&|&关于描述逻辑的不动点存在性的问题[原创]&&0/6651&&&|&推理简单例子，供初学者学习。&& | 1/9131&&&|&论文征集（EI检索）：&Web-KR3&2011国际研讨会，法国里昂，2011年8月&& | 0/6738&&&|&CFP:&European&Conference&on&Symbolic&and&Quantitative&Approaches&to&Reasoning&with&Uncertainty&(ECSQARU&2011)&&2/7602&&&|&ASWC&2009&论文集下载&& |
| 0/12532&&&|&ISWC&2006&论文集下载（含Poster,&Demo,&博士生论坛,&以及&Semantic&Web&Challenge&大赛）&& |
| 2/17937&&&|&ESWC&2009&大会论文集&下载&(含长文和Poster)&& |
| 2/16563&&&|&ASWC&2007&会议论文集&下载&& |
| 1/11858&&&|&DL&2006&论文集下载&（感谢&flyingFang&友情提供）&& |
| 0/11368&&&|&ESWC&2007&论文集下载&（感谢站友&cyshooter&提供）&& |
| 0/15259&&&|&[推荐]描述逻辑及语义网推理器RacerPro&&1/6692&&&|&弱弱地问一下，怎么用描述逻辑定义同义词和反义词&&4/7835&&&|&[分享]2010年Waterloo描述逻辑研讨会会议论文集&&0/7397&&&|&关于描述逻辑中具体域的推理问题&&0/5441&&&|&逻辑学方面国际最权威的期刊是什么？&&0/6104&&&|&【诚聘】熟悉JAVA/OWL/JESS的高手&& | 0/5644&&&|&一个本体查询的语义集成的问题&& | 1/9915&&&|&WSMO-Lite&被提交给&W3C&& |
| 0/11419&&&|&[求助]关于语义web做实验的问题&& | 6/7890&&&|&有点老的语义网和本体介绍资料系列之二&& |
| 1/11965&&&|&有点老的语义网和本体介绍资料系列之一&& |
| 0/13817&&&|&&ISWC&2010&国内成就统计&（贡献2篇）&&附：完整的录用文章列表&&& |
| 5/23320&&&|&语义网相关的国际会议?&& | 0/8790&&&|&描述逻辑扩展后还能不能来表示本体?&& | 8/8858&&&|&诚聘语义web高手开展前沿研究&& | 1/6384&&&|&诚聘语义web高手开展前沿研究&& | 1/9863&&&|&诚聘语义web高手开展前沿研究&& | 0/8747&&&|&jena对mysql的读取[求助]&& |
| 3/11459&&&|&基于描述逻辑的农业本体知识服务研究&& | 2/17887&&&|&描述逻辑概念的读音问题&&0/5934&&&|&关于描述逻辑枚举算子的推理问题&&1/6102&&&|&[推荐]Description&Logics&2010&Online&Proceedings&& | 1/8801&&&|&关系SHOIN(D)中数据类型属性的定义问题&&3/7247&&&|&页次：1/2页 每页80 主题数148分页：&&&&&&9
转到: 跳转论坛至...╋休息区&&├『 最新动态 & 业界新闻 』&&├『 灌水天堂 』&&├『 计算机英语 』&&├『 广告信息交流 』&&├『 科研生涯 』 &&├『 网友互助 』&&├『 论文下载求助 』╋讨论区 - XML技术&&├『 精华版 』&&├『 HTML/XHTML/Ajax/Web 2.0/Web 3.0 』&&├『 XML基础 』&&├『 DTD/XML Schema 』&&├『 DOM/SAX/XPath 』&&├『 XSL/XSLT/XSL-FO/CSS 』&&├『 XML源码及示例(仅原创和转载) 』&&├『 XML工具及XML开发环境 』&&├『 WORD to XML, HTML to XML 』&&├『 XQuery/XLink/XPointer/ 』╋W3CHINA.ORG讨论区 - Web新技术讨论&&├『 云计算，网格，SaaS，P2P 』 &&├『 Semantic Web(语义Web)/描述逻辑/本体 』&&│&&├*** CSWC 2013 (上海) 专版 *** &&│&&├*** ASWC 2011, CSWC 2011 (杭州) 专版 *** &&│&&├*** CSWS 2010 (北京) 专版 *** &&│&&├『 欧盟 LarKC 项目专版 』&&│&&├*** CSWS 2009 (南京) 专版 ***&&│&&├*** 嘉宾座谈区 ***&&├『 Web Services & Semantic Web Services 』&&├『 Web架构 』 &&├『 RSS/FOAF/Dublin Core/CIM/PRISM/Gene Ontology 』&&├『 其他W3C规范 』╋讨论区 - 高级XML应用&&├『 XML在语音技术中的应用 』 &&├『 XML 与 移动嵌入式开发 』 &&├『 SVG/GML/VRML/X3D/XAML 』&&├『 IMS/SCORM/E-learning 』&&├『 XML 与 数据库 』&&├『 XML安全 』&&├『 XML在软件工程中的应用 』&&├『 XML在行业中的应用 』&&├『 XML在电子商务与电子政务中的应用 』╋Android开发论坛&&├『 Android 资料下载 』 &&├『 Android 开发入门 』 &&├『 Android 高级开发 』 &&├『 Google 应用 』 &&├『 Google 广告(AdSense/AdWords) 』 &&├『 Google PageRank/Google排名/SEO/Google Analytics 』 ╋计算机理论与工程&&├『 计算机考研交流 』 &&├『 理论计算机科学 』&&├『 算法理论与分析 』&&├『 人工智能 :: 机器学习|数据挖掘|进化计算 』&&├『 操作系统原理 』&&├『 安全理论 』╋计算机技术与应用&&├『 Web挖掘技术 』 &&├『 Java/Eclipse 』&&├『 C/C++编程思想 』&&├『 Dot NET,C#,ASP,VB 』&&├『 编程心得 』 &&├『 软件工程论坛 』 &&├『 面向方面的程序设计(AOP) 』 &&├『 生物信息学 』 ╋EAI/SOA讨论区&&├『 EAI/SOA新闻动态 』 &&├『 EAI/SOA基础与技术 』&&├『 EAI/SOA平台与产品 』 &&├『 EAI/SOA案例 』 ╋版务区&&├『 申请版主或申请开版 』&&├『 建议或意见 』&&├『 版主议事堂 』
站内全文搜索&输入您的搜索字词提交搜索表单
　-=> 中国XML论坛 - 专业的XML技术讨论区图例所有时间均为 - 北京时间 & 开放的主题未被回复的主题 回复超过10贴 锁定的主题 固顶的主题
总固顶的主题
W 3 C h i n a ( 2 0 0 3 - 2 0 1 0 ) 旗 下 站 点