define a minimal interface to the reasoner

INCATools / whelk-rs

Whelk is an OWL EL reasoner

MIT License

11 stars 4 forks source link

define a minimal interface to the reasoner #7

Open balhoff opened 1 year ago

balhoff commented 1 year ago

As an initial pass, we could define a Reasoner API in terms of only horned-owl, so that we don't expose internals of Whelk, which may change.

cmungall commented 1 year ago

I assume this would have a different signature from the OWLAPI one, specifically we'd want a way to retrieve superclass expressions? or would this be a layer on top in the analog of relation-graph?

balhoff commented 1 year ago

I do expect it to be different from the OWL API one. Superclass expressions would be more in the vein of relation-graph. Hopefully we can port that over as well once this project gets going again (soon). Should we keep relation-graph separate or fold it into this package?