Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes. | 0 | 0.34 | 2015 |
Towards Extracting Ontology Excerpts. | 1 | 0.35 | 2015 |
The Logical Difference for EL: From Terminologies Towards TBoxes. | 1 | 0.38 | 2015 |
Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs | 1 | 0.34 | 2014 |
Evaluation of Extraction Techniques for Ontology Excerpts. | 0 | 0.34 | 2014 |
Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. | 0 | 0.34 | 2014 |
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. | 0 | 0.34 | 2014 |
The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs. | 0 | 0.34 | 2014 |
The Concept Difference for EL-Terminologies using Hypergraphs. | 7 | 0.61 | 2013 |
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. | 0 | 0.34 | 2013 |