Infer object property "all individual belong to Player should have 1 life"?

the protege will give an infer object property by using hermit

but not pellet

Pellet 3.0, a closed source, next-gen version of Pellet, is embedded and available in Stardog, the RDF database.

so no such infer with query

then i've added a SWRL rule, then it has two explanations and one with "Player SubClasOf has exactly 1 {life}"

  1. is this a bug or something?
  2. if its not a bug then, how do i make such infer working without SWRL?
@prefix : <http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75#> .
@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/monsterstep/ontologies/2020/7/untitled-ontology-75> .

<http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75> rdf:type owl:Ontology .

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

###  http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75#has
:has rdf:type owl:ObjectProperty .


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

###  http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75#Player
:Player rdf:type owl:Class ;
        rdfs:subClassOf [ rdf:type owl:Restriction ;
                          owl:onProperty :has ;
                          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                          owl:onClass [ rdf:type owl:Class ;
                                        owl:oneOf ( :life
                                                  )
                                      ]
                        ] .


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

###  http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75#life
:life rdf:type owl:NamedIndividual .


###  http://www.semanticweb.org/monsterstep/ontologies/2020/7/untitled-ontology-75#p1
:p1 rdf:type owl:NamedIndividual ,
             :Player .


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

This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.