0

我有一个partOf可传递的对象属性。

我想说的是：

  • a partOf Year然后a是一个Term
  • b partOf Term然后b是一个Course

同时：

  • a partOf Knowledge_Group然后a是一个Knowledge_Area
  • b partOf Knowledge_Area然后b是一个Course

为此，我用这个来表示b partOf Term or Knowledge_Areathenb是一个Course：

:Course rdf:type owl:Class ;
        owl:equivalentClass [ rdf:type owl:Restriction ;
                              owl:onProperty :partOf ;
                              owl:someValuesFrom [ rdf:type owl:Class ;
                                                   owl:unionOf ( :Knowledge_Area
                                                                 :Term
                                                               )
                                                 ]
                            ] .

但是当我运行推理器时，我将所有课程列为类的实例，Term并且对于Knowledge_Area：

在此处输入图像描述

在此处输入图像描述

如果我不使用orand 设置 Course 仅等效于partOf some Termor partOf some Knowledge_Area（一次单独一个），我不会遇到这个问题。

有没有办法我可以说出我一开始解释的内容，而不是让课程被推断为类型Term？

这里有一个最小的例子：

@prefix : <http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27> .

<http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27> rdf:type owl:Ontology .

#################################################################
#    Object Properties
#################################################################

###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#partOf
:partOf rdf:type owl:ObjectProperty ,
                 owl:TransitiveProperty .


#################################################################
#    Classes
#################################################################

###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Course
:Course rdf:type owl:Class ;
        owl:equivalentClass [ rdf:type owl:Restriction ;
                              owl:onProperty :partOf ;
                              owl:someValuesFrom [ rdf:type owl:Class ;
                                                   owl:unionOf ( :Knowledge_Area
                                                                 :Term
                                                               )
                                                 ]
                            ] .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Knowledge_Area
:Knowledge_Area rdf:type owl:Class ;
                owl:equivalentClass [ rdf:type owl:Restriction ;
                                      owl:onProperty :partOf ;
                                      owl:someValuesFrom :Knowledge_Group
                                    ] .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Knowledge_Group
:Knowledge_Group rdf:type owl:Class ;
                 owl:disjointWith :Year .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Term
:Term rdf:type owl:Class ;
      owl:equivalentClass [ rdf:type owl:Restriction ;
                            owl:onProperty :partOf ;
                            owl:someValuesFrom :Year
                          ] .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Year
:Year rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Course_1
:Course_1 rdf:type owl:NamedIndividual ;
          :partOf :Knowledge_Area_1 ,
                  :Term_1 .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Knowledge_Area_1
:Knowledge_Area_1 rdf:type owl:NamedIndividual ;
                  :partOf :Knowledge_Group_1 .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Knowledge_Group_1
:Knowledge_Group_1 rdf:type owl:NamedIndividual ,
                            :Knowledge_Group .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Term_1
:Term_1 rdf:type owl:NamedIndividual ;
        :partOf :Year_1 .


###  http://www.semanticweb.org/lucia/ontologies/2018/5/untitled-ontology-27#Year_1
:Year_1 rdf:type owl:NamedIndividual ,
                 :Year .


###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi
4

1 回答 1

1

传递角色的语义是 if(x, y) \in R和(y, z) \in Rthen (x, z) \in R。基于您的本体中的这一点，您有：

(1) Course_1 partOf Knowledge_Area_1 partOf Knowledge_Group_1which 表示Course_1 partOf Knowledge_Group_1which 等价于Knowledge_Area。

(2) Course_1 partOf Term_1 partOf partOf Year_1 which 表示Course_1 partOf Year_1which 等价于Term。

因此Course_1是 aTerm和 aKnowledge_Area和 sinceCourse等价于Term or Knowledge_Area,Course_1也是 a Course，这几乎就是解释为什么Course_1是 a 的意思Term。

在我看来，这里要意识到的关键是，你实际上是在处理不同partOf的关系，而不是单一的。这一事实的线索是，在不同的上下文中，您希望从partOf关系中推断出不同的类型信息。OWL 中关系的类型信息主要是从域和范围限制中推断出来的。这是您的问题的可能解决方案：

ObjectProperty: partOf

ObjectProperty: partOfKA
    SubPropertyOf: partOf
    Domain: Course

ObjectProperty: partOfKG
    SubPropertyOf: partOf
    Domain: Knowledge_Area

ObjectProperty: partOfTerm
    SubPropertyOf: partOf
    Domain: Course

ObjectProperty: partOfYear
    SubPropertyOf: partOf
    Domain: Term

Class: Course
Class: Knowledge_Area


Class: Knowledge_Group
    DisjointWith: Year

Class: Term

Class: Year
    DisjointWith: Knowledge_Group

Individual: Course_1
    Facts:  
     partOfKA  Knowledge_Area_1,
     partOfTerm  Term_1

Individual: Knowledge_Area_1
    Facts:  partOfKG  Knowledge_Group_1

Individual: Knowledge_Group_1
    Types: Knowledge_Group


Individual: Term_1
    Facts: partOfYear  Year_1

Individual: Year_1
    Types: Year

严格来说，您不需要partOf我的示例本体中的属性。我只是为了概念清晰而添加它。此外，在我的示例本体中，不需要传递属性。

于 2018-06-06T10:11:53.337 回答