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}"
- is this a bug or something?
- 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