| EPR-based k-induction with Counterexample Guided Abstraction Refinement. | 0 | 0.34 | 2015 |
| Incremental and Persistent Reasoning in FaCT++. | 0 | 0.34 | 2014 |
| A Quality Assurance Workflow for Ontologies Based on Semantic Regularities. | 0 | 0.34 | 2014 |
| Ontology-Based Content Trust Support of Expert Information Resources in Quantitative Spectroscopy. | 0 | 0.34 | 2013 |
| Query Answering via Modal Definability with FaCT++: First Blood. | 1 | 0.35 | 2013 |
| Instrumenting Atomic Decomposition: Software APIs for OWL. | 1 | 0.38 | 2013 |
| Empirical Study of Logic-Based Modules: Cheap Is Cheerful. | 11 | 0.63 | 2013 |
| Improved Algorithms for Module Extraction and Atomic Decomposition. | 6 | 0.61 | 2012 |
| Divide et Impera: Metareasoning for Large Ontologies. | 7 | 0.56 | 2012 |
| Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? | 6 | 0.52 | 2012 |
| Chainsaw: a Metareasoner for Large Ontologies. | 13 | 0.68 | 2012 |
| Computed Knowledge Base for Description of Information Resources of Water Spectroscopy. | 0 | 0.34 | 2010 |
| Fair Cycle Detection using Description Logic Reasoning | 0 | 0.34 | 2009 |
| A Solution for the Man-Man Problem in the Family History Knowledge Base | 2 | 0.39 | 2009 |
| OWLlink: DIG for OWL 2 | 8 | 0.84 | 2008 |
| Optimizing Terminological Reasoning for Expressive Description Logics | 55 | 2.50 | 2007 |
| Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT | 19 | 2.40 | 2006 |
| Framework for an automated comparison of description logic reasoners | 27 | 1.31 | 2006 |
| Automated Benchmarking of Description Logic Reasoners | 27 | 2.21 | 2006 |
| FaCT++ description logic reasoner: system description | 319 | 12.34 | 2006 |
| OWL rules: A proposal and prototype implementation | 162 | 7.00 | 2005 |
| Ordering heuristics for description logic reasoning | 18 | 2.55 | 2005 |
| Optimised Classification for Taxonomic Knowledge Bases | 13 | 1.73 | 2005 |
| Efficient Reasoning with Range and Domain Constraints | 36 | 4.95 | 2004 |
| Using Vampire to Reason with OWL | 45 | 2.90 | 2004 |
| DL Reasoner vs. First-Order Prover | 18 | 2.44 | 2003 |
