尧图网页设计 
目录1. OWL 的两个主要版本2. OWL 核心词汇2.1 类构造2.2 属性公理2.3 属性限制2.4 个体公理2.5 本体头3. Turtle 示例一个家庭本体4. 实例数据5. OWL 推理会推出什么6. SPARQL 查询示例7. Python 使用示例owlready28. OWL vs RDFS9. OWL 的局限与注意点10. 总结OWLWeb Ontology LanguageWeb 本体语言是 W3C 在 RDFS 之上构建的本体语言用来表达比 RDFS 更丰富、更精确的语义。RDFS 只能描述类层次、属性、domain/range而 OWL 可以表达等价、不相交、基数约束、逆关系、传递关系、属性链、个体枚举等并支持自动推理和一致性检查。一句话RDF 表达事实RDFS 定义词汇OWL 描述逻辑语义并支持推理。1. OWL 的两个主要版本常用 profileOWL 2 EL适合大规模本体如 SNOMED CT推理快OWL 2 QL适合查询重写、数据库集成OWL 2 RL适合规则引擎实现OWL 2 DL表达力强基于描述逻辑保证可判定OWL 2 Full表达力最强但推理不可判定命名空间http://www.w3.org/2002/07/owl#通常写为owl:。2. OWL 核心词汇2.1 类构造2.2 属性公理2.3 属性限制2.4 个体公理2.5 本体头3. Turtle 示例一个家庭本体下面用 OWL 描述“人、男人、女人、父母、父亲、母亲”等概念prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# . prefix rdfs: http://www.w3.org/2000/01/rdf-schema# . prefix owl: http://www.w3.org/2002/07/owl# . prefix xsd: http://www.w3.org/2001/XMLSchema# . prefix ex: http://example.org/family# . # 本体声明 ex: a owl:Ontology ; rdfs:label Family Ontology ; owl:versionInfo 1.0 . # 类定义 ex:Person a owl:Class . ex:Man a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Person [ a owl:Restriction ; owl:onProperty ex:gender ; owl:hasValue ex:Male ] ) ] . ex:Woman a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Person [ a owl:Restriction ; owl:onProperty ex:gender ; owl:hasValue ex:Female ] ) ] . ex:Man owl:disjointWith ex:Woman . # 属性定义 ex:hasParent a owl:ObjectProperty ; rdfs:domain ex:Person ; rdfs:range ex:Person . ex:hasChild a owl:ObjectProperty ; owl:inverseOf ex:hasParent . ex:hasAncestor a owl:ObjectProperty ; owl:transitiveProperty true ; owl:propertyChainAxiom ( ex:hasParent ex:hasAncestor ) . ex:gender a owl:ObjectProperty ; rdfs:domain ex:Person ; rdfs:range ex:Gender . ex:Gender a owl:Class . ex:Male a owl:NamedIndividual , ex:Gender . ex:Female a owl:NamedIndividual , ex:Gender . ex:Male owl:differentFrom ex:Female . # 父母、父亲、母亲 ex:Parent a owl:Class ; owl:equivalentClass [ a owl:Restriction ; owl:onProperty ex:hasChild ; owl:someValuesFrom ex:Person ] . ex:Father a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Parent ex:Man ) ] . ex:Mother a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Parent ex:Woman ) ] . # 每个人最多有一个生日 ex:birthDate a owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:domain ex:Person ; rdfs:range xsd:date .这里已经用到了 OWL 的多个能力owl:equivalentClassowl:intersectionOfowl:Restriction定义“男人 人 ∩ 性别为男”owl:disjointWith声明男人和女人不相交owl:inverseOf定义hasChild是hasParent的逆owl:transitiveProperty声明hasAncestor传递owl:propertyChainAxiom定义“父母 祖先 → 祖先”owl:someValuesFrom定义“父母 有孩子的 Person”owl:FunctionalProperty限制生日最多一个4. 实例数据ex:Alice a ex:Woman ; ex:gender ex:Female ; ex:hasChild ex:Bob ; ex:birthDate 1970-05-01^^xsd:date . ex:Bob a ex:Man ; ex:gender ex:Male ; ex:hasChild ex:Carol ; ex:birthDate 1995-08-20^^xsd:date . ex:Carol a ex:Woman ; ex:gender ex:Female . ex:David a ex:Man ; ex:gender ex:Male .显式写出的三元组很少但 OWL 推理会推出很多新事实。5. OWL 推理会推出什么用上面数据推理机通常会推出# 逆属性 ex:Bob ex:hasParent ex:Alice . ex:Carol ex:hasParent ex:Bob . # 传递属性 ex:Carol ex:hasAncestor ex:Bob . ex:Carol ex:hasAncestor ex:Alice . ex:Bob ex:hasAncestor ex:Alice . # 属性链 ex:Carol ex:hasAncestor ex:Alice . # 类定义推理 ex:Alice a ex:Parent . # 有孩子 ex:Alice a ex:Mother . # Parent ∩ Woman ex:Bob a ex:Parent . # 有孩子 ex:Bob a ex:Father . # Parent ∩ Man # 等价类 ex:Bob a ex:Person . # Man 等价于 Person ∩ ... ex:Alice a ex:Person .还会检查一致性如果写出ex:Alice a ex:Man因为Woman与Man不相交会推出矛盾。如果给 Alice 两个不同生日因为birthDate是函数属性会推出矛盾。如果ex:Male owl:sameAs ex:Female与owl:differentFrom冲突。6. SPARQL 查询示例查询某个人的所有祖先PREFIX ex: http://example.org/family# SELECT ?ancestor WHERE { ex:Carol ex:hasAncestor ?ancestor . }如果推理机已运行会返回 Bob 和 Alice。查询所有母亲PREFIX ex: http://example.org/family# SELECT ?mother ?child WHERE { ?mother a ex:Mother ; ex:hasChild ?child . }结果包含ex:Alice → ex:Bob。7. Python 使用示例owlready2owlready2是 Python 中常用的 OWL 本体操作库自带 HermiT 推理机。安装pip install owlready2代码from owlready2 import * # 创建一个新本体 onto get_ontology(http://example.org/family#) with onto: # 类 class Person(Thing): pass class Man(Person): pass class Woman(Person): pass class Parent(Person): pass class Father(Parent, Man): pass class Mother(Parent, Woman): pass # 不相交 AllDisjoint([Man, Woman]) # 属性 class hasChild(ObjectProperty): domain[Person] range[Person] inverse_property None # 稍后设置 class hasParent(ObjectProperty): domain[Person] range[Person] hasChild.inverse_property hasParent class hasAncestor(ObjectProperty, TransitiveProperty): domain[Person] range[Person] class gender(ObjectProperty): domain[Person] class Gender(Thing): pass class Male(Gender, NamedIndividual): pass class Female(Gender, NamedIndividual): pass # 限制Parent 有孩子的 Person Parent.is_a.append(hasChild.some(Person)) # 父亲 Parent ∩ Man母亲 Parent ∩ Woman # 已通过 Python 多继承表达 # 函数属性生日 class birthDate(FunctionalProperty, DataProperty): domain[Person] range[str] # 个体 alice Woman(Alice) alice.gender.append(Female) alice.birthDate.append(1970-05-01) bob Man(Bob) bob.gender.append(Male) carol Woman(Carol) carol.gender.append(Female) alice.hasChild.append(bob) bob.hasChild.append(carol) # 保存 onto.save(filefamily.owl, formatrdfxml) # 使用 HermiT 推理 with onto: sync_reasoner_hermit(infer_property_valuesTrue) # 查询推理结果 print(Alice 是 Mother 吗, onto.Mother in alice.is_a) print(Bob 是 Father 吗, onto.Father in bob.is_a) print(Carol 的祖先, list(carol.hasAncestor))输出类似Alice 是 Mother 吗 True Bob 是 Father 吗 True Carol 的祖先 [family.Bob, family.Alice]也可以用rdflib owlrl做简单 OWL RL 推理from rdflib import Graph from owlrl import DeductiveClosure, OWLRL_Semantics g Graph() g.parse(family.owl, formatxml) DeductiveClosure(OWLRL_Semantics).expand(g) for s, p, o in g.triples((None, None, None)): if ancestor in str(p): print(s, p, o)注意owlrl只实现 OWL 2 RL profile能处理传递、逆、函数、部分限制但不如 HermiT、Pellet 完整。8. OWL vs RDFS9. OWL 的局限与注意点1不可判定OWL Full 推理不可判定实际工程多用 OWL 2 DL / EL / RL。2开放世界假设OWA没有显式说明的东西不代表不存在或为假。例如“Alice 没有其他孩子”不能靠缺省判断。3无唯一命名假设no UNAex:Alice和ex:AliceSmith可能指同一个体除非声明owl:differentFrom。4推理性能本体越大推理越慢EL/QL/RL profile 是为此优化的。5数据校验OWL 主要做逻辑推理不是数据校验需要约束校验请用 SHACL。6工程建议先在 RDFS 上建模再按需引入 OWL 公理不要为了“表达力强”而滥用复杂限制。10. 总结OWL是建立在 RDF/RDFS 之上的本体语言用描述逻辑赋予数据更丰富的语义。它能表达等价、不相交、逆、传递、对称、函数属性、基数约束、属性链、枚举类等。典型流程定义本体 → 添加实例 → 运行推理机 → SPARQL 查询 / 一致性检查。常用工具Protégé可视化建模、HermiT / PelletDL 推理机、owlready2Python、owlrlOWL 2 RL。OWL 与 RDFS 互补RDFS 做轻量模式OWL 做复杂语义推理SHACL 做数据校验。 OWL（Web Ontology Language）介绍与使用举例（二）
目录1. OWL 的两个主要版本2. OWL 核心词汇2.1 类构造2.2 属性公理2.3 属性限制2.4 个体公理2.5 本体头3. Turtle 示例一个家庭本体4. 实例数据5. OWL 推理会推出什么6. SPARQL 查询示例7. Python 使用示例owlready28. OWL vs RDFS9. OWL 的局限与注意点10. 总结OWLWeb Ontology LanguageWeb 本体语言是 W3C 在 RDFS 之上构建的本体语言用来表达比 RDFS 更丰富、更精确的语义。RDFS 只能描述类层次、属性、domain/range而 OWL 可以表达等价、不相交、基数约束、逆关系、传递关系、属性链、个体枚举等并支持自动推理和一致性检查。一句话RDF 表达事实RDFS 定义词汇OWL 描述逻辑语义并支持推理。1. OWL 的两个主要版本常用 profileOWL 2 EL适合大规模本体如 SNOMED CT推理快OWL 2 QL适合查询重写、数据库集成OWL 2 RL适合规则引擎实现OWL 2 DL表达力强基于描述逻辑保证可判定OWL 2 Full表达力最强但推理不可判定命名空间http://www.w3.org/2002/07/owl#通常写为owl:。2. OWL 核心词汇2.1 类构造2.2 属性公理2.3 属性限制2.4 个体公理2.5 本体头3. Turtle 示例一个家庭本体下面用 OWL 描述“人、男人、女人、父母、父亲、母亲”等概念prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# . prefix rdfs: http://www.w3.org/2000/01/rdf-schema# . prefix owl: http://www.w3.org/2002/07/owl# . prefix xsd: http://www.w3.org/2001/XMLSchema# . prefix ex: http://example.org/family# . # 本体声明 ex: a owl:Ontology ; rdfs:label Family Ontology ; owl:versionInfo 1.0 . # 类定义 ex:Person a owl:Class . ex:Man a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Person [ a owl:Restriction ; owl:onProperty ex:gender ; owl:hasValue ex:Male ] ) ] . ex:Woman a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Person [ a owl:Restriction ; owl:onProperty ex:gender ; owl:hasValue ex:Female ] ) ] . ex:Man owl:disjointWith ex:Woman . # 属性定义 ex:hasParent a owl:ObjectProperty ; rdfs:domain ex:Person ; rdfs:range ex:Person . ex:hasChild a owl:ObjectProperty ; owl:inverseOf ex:hasParent . ex:hasAncestor a owl:ObjectProperty ; owl:transitiveProperty true ; owl:propertyChainAxiom ( ex:hasParent ex:hasAncestor ) . ex:gender a owl:ObjectProperty ; rdfs:domain ex:Person ; rdfs:range ex:Gender . ex:Gender a owl:Class . ex:Male a owl:NamedIndividual , ex:Gender . ex:Female a owl:NamedIndividual , ex:Gender . ex:Male owl:differentFrom ex:Female . # 父母、父亲、母亲 ex:Parent a owl:Class ; owl:equivalentClass [ a owl:Restriction ; owl:onProperty ex:hasChild ; owl:someValuesFrom ex:Person ] . ex:Father a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Parent ex:Man ) ] . ex:Mother a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( ex:Parent ex:Woman ) ] . # 每个人最多有一个生日 ex:birthDate a owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:domain ex:Person ; rdfs:range xsd:date .这里已经用到了 OWL 的多个能力owl:equivalentClassowl:intersectionOfowl:Restriction定义“男人 人 ∩ 性别为男”owl:disjointWith声明男人和女人不相交owl:inverseOf定义hasChild是hasParent的逆owl:transitiveProperty声明hasAncestor传递owl:propertyChainAxiom定义“父母 祖先 → 祖先”owl:someValuesFrom定义“父母 有孩子的 Person”owl:FunctionalProperty限制生日最多一个4. 实例数据ex:Alice a ex:Woman ; ex:gender ex:Female ; ex:hasChild ex:Bob ; ex:birthDate 1970-05-01^^xsd:date . ex:Bob a ex:Man ; ex:gender ex:Male ; ex:hasChild ex:Carol ; ex:birthDate 1995-08-20^^xsd:date . ex:Carol a ex:Woman ; ex:gender ex:Female . ex:David a ex:Man ; ex:gender ex:Male .显式写出的三元组很少但 OWL 推理会推出很多新事实。5. OWL 推理会推出什么用上面数据推理机通常会推出# 逆属性 ex:Bob ex:hasParent ex:Alice . ex:Carol ex:hasParent ex:Bob . # 传递属性 ex:Carol ex:hasAncestor ex:Bob . ex:Carol ex:hasAncestor ex:Alice . ex:Bob ex:hasAncestor ex:Alice . # 属性链 ex:Carol ex:hasAncestor ex:Alice . # 类定义推理 ex:Alice a ex:Parent . # 有孩子 ex:Alice a ex:Mother . # Parent ∩ Woman ex:Bob a ex:Parent . # 有孩子 ex:Bob a ex:Father . # Parent ∩ Man # 等价类 ex:Bob a ex:Person . # Man 等价于 Person ∩ ... ex:Alice a ex:Person .还会检查一致性如果写出ex:Alice a ex:Man因为Woman与Man不相交会推出矛盾。如果给 Alice 两个不同生日因为birthDate是函数属性会推出矛盾。如果ex:Male owl:sameAs ex:Female与owl:differentFrom冲突。6. SPARQL 查询示例查询某个人的所有祖先PREFIX ex: http://example.org/family# SELECT ?ancestor WHERE { ex:Carol ex:hasAncestor ?ancestor . }如果推理机已运行会返回 Bob 和 Alice。查询所有母亲PREFIX ex: http://example.org/family# SELECT ?mother ?child WHERE { ?mother a ex:Mother ; ex:hasChild ?child . }结果包含ex:Alice → ex:Bob。7. Python 使用示例owlready2owlready2是 Python 中常用的 OWL 本体操作库自带 HermiT 推理机。安装pip install owlready2代码from owlready2 import * # 创建一个新本体 onto get_ontology(http://example.org/family#) with onto: # 类 class Person(Thing): pass class Man(Person): pass class Woman(Person): pass class Parent(Person): pass class Father(Parent, Man): pass class Mother(Parent, Woman): pass # 不相交 AllDisjoint([Man, Woman]) # 属性 class hasChild(ObjectProperty): domain[Person] range[Person] inverse_property None # 稍后设置 class hasParent(ObjectProperty): domain[Person] range[Person] hasChild.inverse_property hasParent class hasAncestor(ObjectProperty, TransitiveProperty): domain[Person] range[Person] class gender(ObjectProperty): domain[Person] class Gender(Thing): pass class Male(Gender, NamedIndividual): pass class Female(Gender, NamedIndividual): pass # 限制Parent 有孩子的 Person Parent.is_a.append(hasChild.some(Person)) # 父亲 Parent ∩ Man母亲 Parent ∩ Woman # 已通过 Python 多继承表达 # 函数属性生日 class birthDate(FunctionalProperty, DataProperty): domain[Person] range[str] # 个体 alice Woman(Alice) alice.gender.append(Female) alice.birthDate.append(1970-05-01) bob Man(Bob) bob.gender.append(Male) carol Woman(Carol) carol.gender.append(Female) alice.hasChild.append(bob) bob.hasChild.append(carol) # 保存 onto.save(filefamily.owl, formatrdfxml) # 使用 HermiT 推理 with onto: sync_reasoner_hermit(infer_property_valuesTrue) # 查询推理结果 print(Alice 是 Mother 吗, onto.Mother in alice.is_a) print(Bob 是 Father 吗, onto.Father in bob.is_a) print(Carol 的祖先, list(carol.hasAncestor))输出类似Alice 是 Mother 吗 True Bob 是 Father 吗 True Carol 的祖先 [family.Bob, family.Alice]也可以用rdflib owlrl做简单 OWL RL 推理from rdflib import Graph from owlrl import DeductiveClosure, OWLRL_Semantics g Graph() g.parse(family.owl, formatxml) DeductiveClosure(OWLRL_Semantics).expand(g) for s, p, o in g.triples((None, None, None)): if ancestor in str(p): print(s, p, o)注意owlrl只实现 OWL 2 RL profile能处理传递、逆、函数、部分限制但不如 HermiT、Pellet 完整。8. OWL vs RDFS9. OWL 的局限与注意点1不可判定OWL Full 推理不可判定实际工程多用 OWL 2 DL / EL / RL。2开放世界假设OWA没有显式说明的东西不代表不存在或为假。例如“Alice 没有其他孩子”不能靠缺省判断。3无唯一命名假设no UNAex:Alice和ex:AliceSmith可能指同一个体除非声明owl:differentFrom。4推理性能本体越大推理越慢EL/QL/RL profile 是为此优化的。5数据校验OWL 主要做逻辑推理不是数据校验需要约束校验请用 SHACL。6工程建议先在 RDFS 上建模再按需引入 OWL 公理不要为了“表达力强”而滥用复杂限制。10. 总结OWL是建立在 RDF/RDFS 之上的本体语言用描述逻辑赋予数据更丰富的语义。它能表达等价、不相交、逆、传递、对称、函数属性、基数约束、属性链、枚举类等。典型流程定义本体 → 添加实例 → 运行推理机 → SPARQL 查询 / 一致性检查。常用工具Protégé可视化建模、HermiT / PelletDL 推理机、owlready2Python、owlrlOWL 2 RL。OWL 与 RDFS 互补RDFS 做轻量模式OWL 做复杂语义推理SHACL 做数据校验。