Hi Daniel,
Stardog Explorer is written to best support data models and data written to Stardog through Stardog Designer.
In your case, you are adding all of your data model criteria and instance data to the same graph. I suggest creating a schema graph specific to your data model and a data graph for your instance data.
I made this update by creating a new data model in Studio's Model hub and pasting in your data model (removing the declaration of Dan)
@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 .
<http://xmlns.com/foaf/0.1/gender> a owl:DatatypeProperty .
<http://www.example.com/Man> a owl:Class ;
rdfs:subClassOf <http://xmlns.com/foaf/0.1/Person> ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf ( <http://xmlns.com/foaf/0.1/Person> [
a owl:Restriction ;
owl:hasValue "man" ;
owl:onProperty <http://xmlns.com/foaf/0.1/gender>
] )
] .
<http://xmlns.com/foaf/0.1/Person> a owl:Class .
<http://www.example.com/Citizen> a owl:Class ;
rdfs:subClassOf <http://xmlns.com/foaf/0.1/Person> .
<http://www.example.com/ManCitizen> a owl:Class ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf ( <http://www.example.com/Citizen> <http://www.example.com/Man> )
] .
And writing the instance data for Dan to a separate graph:
prefix main: <http://www.example.com/>
INSERT DATA {
GRAPH <http://example/citizen_data> {
main:Dan a main:Citizen , main:Man , owl:NamedIndividual .
}
}
I now see Dan's types as expected in Explorer:
