missing subclass axioms
StevenJenkinsJPL opened this issue · comments
OML input:
concept System specializes base:NamedThing, base:IdentifiedThing
OWL output:
<owl:Class rdf:about="http://st4se.org/examples/s-interface#System">
<rdfs:subClassOf rdf:resource="http://opencaesar.io/Oml#Concept"/>
</owl:Class>
No subclass axioms for base:NamedThing, base:IdentifiedThing
Added the axioms