Чтобы показать вам проблему (которая является ошибкой), я создал минимальный пример:
Это моя минимальная онтология
@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 (для пользователя с возрастом более 16 лет) и FemaleUser (для пользователя с полом как женщина)
Скриншот от протеже:
Вы можете видеть, что протеже делает вывод, что :ania является одновременно женщиной и зрелым пользователем, однако фузеки просто делает вывод, что :ania является женщиной, но не зрелым.
Обновлять
Я также попытался сделать свой эквивалентный класс в этих двух формах
Пользователь и hasAge некоторый xsd:int[>="16"^^xsd:int]
а также
Пользователь и hasAge некоторый xsd:int[>=16]
но тот же результат, который протеже выводит правильно, а фурсеки нет.
User hasAge ?X . FILTER (?X >= 16).
Это можно обернуть вEXISTS
. - person AndyS   schedule 30.03.2016