Closed lifan0127 closed 4 years ago
We do not support reasoners, but you are able to export the ontology and validate with a reasoner in an external tool. Additionally, changes made in an external editor can be merged into the ontology managed in Mobi using the Upload Changes feature in the ontology editor.
Does Mobi support reasoners for consistency check?