java - OWL java对两个类使用相同的数据属性

Question

我正在使用 OWL，并且定义了 2 个类，它们共享一个数据属性:

<Declaration>
    <DataProperty IRI="#hasLastName" />
</Declaration>

<DataPropertyDomain>
    <DataProperty IRI="#hasLastName" />
    <Class IRI="#Class1" />
</DataPropertyDomain>

<DataPropertyDomain>
    <DataProperty IRI="#hasLastName" />
    <Class IRI="#Class2" />
</DataPropertyDomain>

在java中，我创建了一个项目，该项目从一个owl文件和一个xml文件开始，它创建了一个表单。在我的 xml 文件中，我以这种方式定义表单的各个部分:

<section>
        <iri>http://www.sample.com/myontology#class1</iri>
        <infoList>
            <info type="text" property="http://www.sample.com/myontology#hasLastName" required="true" />
            <info type="text" property="http://www.sample.com/myontology#hasFirstName" required="true" />
            <info type="text" property="http://www.sample.com/myontology#hasEmail" required="false" />
            <info type="text" property="http://www.sample.com/myontology#hasPhone" required="false" />
        </infoList>
</section>


<section>
        <iri>http://www.sample.com/myontology#class2</iri>
        <infoList>
            <info type="text" property="http://www.sample.com/myontology#hasLastName" required="true" />
            <info type="text" property="http://www.sample.com/myontology#hasUser" required="false" />
            <info type="text" property="http://www.sample.com/myontology#hasRole" required="false" />
        </infoList>
</section>

如何访问 1 类和 2 类的不同姓氏属性？我通过http://www.sample.com/myontology#hasLastName检索它有类似http://www.sample.com/myontology#Class1#hasLastName的东西？

抱歉，我是本体论的初学者，对我来说不是很清楚

Answer 1

假设您有如下本体:

Datatype: xsd:string

DataProperty: hasLastName
    Domain: 
        Person,
        Student

    Range: 
        xsd:string        

Class: Person

Class: Student

以下代码将检索 2 个域:

IRI lastNamePropertyIRI = IRI.create(ontologyIRI + "#hasLastName");
OWLDataProperty lastNameProperty = dataFactory.getOWLDataProperty(lastNamePropertyIRI);
List<OWLClassExpression> domainClasses = 
   ontology
      .dataPropertyDomainAxioms(lastNameProperty)
      .map(OWLDataPropertyDomainAxiom::getDomain)
      .collect(Collectors.toList());

  for (OWLClassExpression owlClass : domainClasses) {
    logger.trace("Domain class = " + owlClass);
  } 

但是，我在这里关心的还有一些其他问题，这些问题与本体有关，而不是与代码有关。

对于我给出的本体，每当您指定单个 john 通过 hasLastName 链接到某个姓氏时，本体推理器就会推断出 john 既是一个 Person 又是一个 Student，即 hasLastName 的域是 的交集>人和学生。显然，这对于一般人来说并非如此。根据您的需要，有两种可能的解决方案:

(1) 您可以指定 hasLastName 的域为 Person 或 Student，这会将域视为 Person 的并集和学生。

(2) 我更喜欢的解决方案是将 Student 定义为 Person 的子类，然后声明 hasLastName 的域是单个类Person。