Zooming in on Ontologies: Minimal Modules and Best Excerpts. | 1 | 0.35 | 2017 |
On Computing Minimal EL-Subsumption Modules. | 1 | 0.35 | 2016 |
Foundations for the Logical Difference of EL-TBoxes. | 1 | 0.34 | 2015 |
The logical difference for the lightweight description logic EL | 29 | 1.02 | 2014 |
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. | 8 | 0.47 | 2014 |
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. | 5 | 0.39 | 2014 |
The Concept Difference for EL-Terminologies using Hypergraphs. | 7 | 0.61 | 2013 |
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. | 5 | 0.53 | 2013 |
Logical difference computation with CEX2.5 | 5 | 0.45 | 2012 |
Module Extraction via Query Inseparability in OWL 2 QL. | 0 | 0.34 | 2011 |
Conjunctive Query Inseparability of OWL 2 QL TBoxes. | 16 | 0.64 | 2011 |
Implementing a fair monodic temporal logic prover | 13 | 0.59 | 2010 |
Resolution-Based Model Construction for PLTL | 5 | 0.42 | 2009 |
Fair Derivations in Monodic Temporal Reasoning | 5 | 0.44 | 2009 |
An extension of the Knuth-Bendix ordering with LPO-like properties | 12 | 0.72 | 2007 |