Fuseki 推理器不推断数据（int）范围类

Question

为了向您展示问题（这是一个错误），我创建了一个最小示例：

这是我的最小本体

@prefix : <http://www.test.com/ts#> .
@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#> .

<http://www.test.com/ts> a owl:Ontology .
# 
# 
# #################################################################
# #
# #    Object Properties
# #
# #################################################################
# 
# 
# http://www.test.com/ts#hasSex

:hasSex a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:range :Sex .
# 
# 
# 
# #################################################################
# #
# #    Data properties
# #
# #################################################################
# 
# 
# http://www.test.com/ts#hasAge

:hasAge a owl:DatatypeProperty , owl:FunctionalProperty ;
    rdfs:range xsd:int .
# 
# 
# 
# #################################################################
# #
# #    Classes
# #
# #################################################################
# 
# 
# http://www.test.com/ts#FemaleUser

:FemaleUser a owl:Class ;
    owl:equivalentClass _:genid1 .

_:genid1 owl:intersectionOf _:genid4 .

_:genid4 a rdf:List ;
    rdf:first :User ;
    rdf:rest _:genid2 .

_:genid2 a rdf:List ;
    rdf:first _:genid3 .

_:genid3 a owl:Restriction ;
    owl:onProperty :hasSex ;
    owl:hasValue :female .

_:genid2 rdf:rest rdf:nil .

_:genid1 a owl:Class .
# 
# http://www.test.com/ts#MatureUser

:MatureUser a owl:Class ;
    owl:equivalentClass _:genid5 .

_:genid5 owl:intersectionOf _:genid11 .

_:genid11 a rdf:List ;
    rdf:first :User ;
    rdf:rest _:genid6 .

_:genid6 a rdf:List ;
    rdf:first _:genid7 .

_:genid7 a owl:Restriction ;
    owl:onProperty :hasAge ;
    owl:someValuesFrom _:genid8 .

_:genid8 a rdfs:Datatype ;
    owl:onDatatype xsd:int ;
    owl:withRestrictions _:genid9 .

_:genid9 a rdf:List ;
    rdf:first _:genid10 .

_:genid10 xsd:minInclusive "16"^^xsd:int .

_:genid9 rdf:rest rdf:nil .

_:genid6 rdf:rest rdf:nil .

_:genid5 a owl:Class .
# 
# http://www.test.com/ts#Sex

:Sex a owl:Class .
# 
# http://www.test.com/ts#User

:User a owl:Class .
# 
# 
# 
# #################################################################
# #
# #    Individuals
# #
# #################################################################
# 
# 
# http://www.test.com/ts#ania

:ania a owl:NamedIndividual , :User ;
    :hasSex :female ;
    :hasAge "18"^^xsd:int .
# 
# http://www.test.com/ts#female

:female a owl:NamedIndividual , :Sex .
# 
# http://www.test.com/ts#male

:male a owl:NamedIndividual , :Sex .
# 
# Generated by the OWL API (version 4.1.3.20151118-2017) https://github.com/owlcs/owlapi

有两个类：

一个 MatureUser（对于 hasAge 超过 16 岁的用户）和 FemaleUser（对于 hasSex 为女性的用户）

protege 截图：

可以看到 protege 推断 :ania 既是女性用户又是成熟用户，而 fuseki 只是推断 :ania 是女性用户但不成熟

更新

我也尝试用这两种形式制作我的等价类

User 和 hasAge 一些 xsd:int[>="16"^^xsd:int]

和

User 和 hasAge 一些 xsd:int[>=16]

但结果相同，Protege 推断正确，而 furseki 则不正确。

Answer 1

Jena 提供的 OWL 推理器在逻辑上并不完整；这意味着（通过设计）存在他们不会推断的 OWL 推断。 Protege 中可用的 OWL 推理器在逻辑上应该是完整的；这意味着它们应该产生所有蕴含的公理。

在这种情况下，Jena 的 OWL 推理器根本不进行数据类型推理。这意味着他们不会真正对 xsd:int[>= 16] 类型做任何事情。在这种情况下，这不仅仅是 Jena 的 OWL 推理器不完整的问题，还在于 Jena 的 OWL 推理器针对的是 OWL 1，但数据类型方面推理是 OWL 2 的一部分，Jena 并不完全支持。例如，请参阅 Jena 用户邮件列表中 2013 年的 this thread about datatype restrictions。 Dave Reynolds 回复了与您类似的询问：

数据类型方面为 OWL 2，Jena 仅支持 OWL 1。

可以使用 Pellet 等第三方推理器来提供 一些 OWL 2 的能力。

文档中明确提到了耶拿不支持 OWL2。有一个 OWL2 词汇类，它只定义了 OWL2 中使用的 IRI，它的 JavaDoc 包括（强调）：

OWL2 词汇。注意：Jena 不提供 OWL2 推理或 OntModel 支持。提供这些常量是为了方便使用当前 OWL1 支持进行 OWL2 工作并需要一组合适名称的用户。