Tito Ferreira
Results
1
issues of
Tito Ferreira
Hi, I'm developing an extension for WebProtege that consists of a reasoner that answer queries over hybrid theories composed of an OWL ontology and a set of non-monotonic rules (there...