GraphDB owl:equivalentClass infrencing 不起作用。 Protege reasoner 能够推断出这一点

Question

I created below ontology using protege and imported exactly into GraphDB.

I've 1 individual "HxH" which is of type "comic" and has country "Japan". I've defined "Manga" as owl:equivalentClass to "comic + Japan".

When I run reasoner in protege it is able to infer that HxH is of type Manga . GraphDB doesn't infer this. It only display explicit triples both in query result and graph overview tab.

Image from Protege: Protege is able to infer that HxH is of type Manga (yellow highlights)

Sparql query (in graphDB):

PREFIX : <http://www.comic.org/o-1#>
select * where { 
    :HxH?p ?o .
} limit 100 

Result of above query:

	p	o
1	rdf:type	:Comic
2	rdf:type	owl:NamedIndividual
3	:hasCountryOfOrigin	:Japan

GraphDB couldn't infer HxH is of type Manga.

Ontology I created (Turtle syntax):

@prefix : <http://www.comic.org/o-1#> .
@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.comic.org/o-1> .

<http://www.comic.org/o-1> rdf:type owl:Ontology .

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

###  http://www.comic.org/o-1#hasCountryOfOrigin
:hasCountryOfOrigin rdf:type owl:ObjectProperty ,
                             owl:FunctionalProperty ;
                    rdfs:domain :Comic ;
                    rdfs:range :Country .


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

###  http://www.comic.org/o-1#Comic
:Comic rdf:type owl:Class ;
       owl:disjointWith :Country .


###  http://www.comic.org/o-1#Country
:Country rdf:type owl:Class .


###  http://www.comic.org/o-1#Manga
:Manga rdf:type owl:Class ;
       owl:equivalentClass [ owl:intersectionOf ( :Comic
                                                  [ rdf:type owl:Restriction ;
                                                    owl:onProperty :hasCountryOfOrigin ;
                                                    owl:hasValue :Japan
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] .


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

###  http://www.comic.org/o-1#HxH
:HxH rdf:type owl:NamedIndividual ,
              :Comic ;
     :hasCountryOfOrigin :Japan .


###  http://www.comic.org/o-1#Japan
:Japan rdf:type owl:NamedIndividual ,
                :Country .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi

Answer 1

So,

• the problem was when we create a new DB instance in GraphDB it set "Ruleset = RDF-Plus" by default.
• Changing this to "OWL-Max" or any other rule set that support equivalence, intersection and hasValue should do the job.