missing subclass axioms

opencaesar / owl-adapter

The OML adapter for OWL

Apache License 2.0

0 stars 2 forks source link

missing subclass axioms #2

Closed StevenJenkinsJPL closed 4 years ago

StevenJenkinsJPL commented 5 years ago

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

melaasar commented 4 years ago

Added the axioms