ERRO is an FCT-funded project (PTDC/EIA-CCO/121823/2010) aimed at addressing the problem of effectively and efficiently reason with knowledge available on the Semantic Web, integrating ontological knowledge and deductive rules.
Conceived within the Semantic Web context, ERRO builds upon three important observations:
ERRO contributed with theoretical developments and state-of-the-art tools to effectively and efficiently address two main problems:
Some of ERRO's highlights include:
NoHR (Nova Hybrid Reasoner) is a plug-in for the ontology editor Protégé that allows its users to query knowledge bases composed of both an Ontology in OWL 2 EL or QL and a set of Reasoning Rules.
Using a top-down reasoning approach, which means that only the part of the ontology and rules that is relevant for the query is actually evaluated, NoHR respectively combines the capabilities of ELK for OWL 2 EL and a dedicated direct translation for OWL 2 QL with the rule engine XSB Prolog to deliver very fast interactive response times.
NoHR is the first hybrid reasoner of its kind for Protégé.
NoHR is also distributed as an API.
Find out more about NoHR here.
|On updates of hybrid knowledge bases composed of ontologies and rules.||M. Slota, J. Leite and T. Swift||Artificial Intelligence||2015||PDF BibTeX|
|Efficient Paraconsistent Reasoning with Ontologies and Rules.||T. Kaminski, M. Knorr and J. Leite||International Joint Conference on Artificial Intelligence (IJCAI’15)||2015||PDF BibTeX|
|Next Step for NoHR: OWL QL.||N. Costa, M. Knorr and J. Leite||International Semantic Web Conference (ISWC’15)||2015||PDF BibTeX|
|A Goal-directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases.||A.S. Gomes, J.J. Alferes and T. Swift||Theory and Practice of Logic Programming||2014||PDF BibTeX|
|The Rise and Fall of Semantic Rule Updates based on SE Models.||M. Slota and J. Leite||Theory and Practice of Logic Programming||2014||PDF BibTeX|
|What if no hybrid reasoner is available? - Hybrid MKNF in Multi-Context Systems.||M. Knorr, M. Slota, M. Homola and J. Leite||Journal of Logic and Computation||2014||PDF BibTeX|
|Why-provenance information for RDF, rules, and negation.||A. Analyti, C.V. Damásio, G. Antoniou and I. Pachoulakis||Annals of Mathematics and Artificial Intelligence||2014||PDF BibTeX|
|Evolving Multi-Context Systems.||R. Gonçalves, M. Knorr and J. Leite||European Conference on Artificial Intelligence (ECAI'14)||2014||PDF BibTeX|
|Query-Driven Procedures for Hybrid MKNF Knowledge Bases.||J.J. Alferes, M. Knorr, T. Swift||ACM Transactions on Computational Logic||2013||PDF BibTeX|
|On Condensing a Sequence of Updates in Answer-Set Programming.||M. Slota and J. Leite||International Joint Conference on Artificial Intelligence (IJCAI’13)||2013||PDF BibTeX|
|A Query Tool for EL with Non-monotonic Rules.||V. Ivanov, M. Knorr, J. Leite||International Semantic Web Conference (ISWC'13)||2013||PDF BibTeX|
|Robust equivalence models for semantic updates of answer-set programs.||M. Slota and J. Leite||International Conference on Principles of Knowledge Representation and Reasoning (KR'12)||2012||PDF BibTeX|
|Reconciling OWL and Non-monotonic Rules for the Semantic Web.||M. Knorr, P. Hitzler and F. Maier||European Conference on Artificial Intelligence (ECAI'12)||2012||PDF BibTeX||A Unifying Perspective on Knowledge Updates.||M. Slota and J. Leite||European Conference on Logics in Artificial Intelligence (JELIA'12)||2012||PDF BibTeX|
See a complete list of publications here.