Hi @Paul_Ambro!
I declared main:Dan
as both an instance of main:Man
and main:Citizen
.
The main issue is, the explorer is not showing the rdf:type
relation between main:Dan
and the main:Man
and main:Citizen
classes, even though if I click to see the details of main:Man
or I right-click and navigate to expand node by instances, the knowledge graph is aware that main:Dan
is indeed a main:Man
and a main:Citizen
.
There's another issue related to an rdfs:subClassOf OWL EL reasoning axiom not being displayed as well, but I've created another issue on that one.
Thanks in advance!
Here's the example file:
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix main: <http://www.example.com/> .
@prefix org: <http://www.w3.org/ns/org#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix so: <https://schema.org/> .
@prefix stardog: <tag:stardog:api:> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://api.stardog.com/> .
<http://www.example.com/> a owl:Ontology .
foaf:gender a owl:DatatypeProperty .
main:Man a owl:Class ;
rdfs:subClassOf foaf:Person ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf ( foaf:Person [
a owl:Restriction ;
owl:hasValue "man" ;
owl:onProperty foaf:gender
] )
] .
foaf:Person a owl:Class .
main:Dan a main:Citizen , main:Man , owl:NamedIndividual .
main:Citizen a owl:Class ;
rdfs:subClassOf foaf:Person .
main:ManCitizen a owl:Class ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf ( main:Citizen main:Man )
] .
And here are some screenshots: