opencaesar / owl-adapter

The OML adapter for OWL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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