Towards ABox Modularization of semi-expressive Description Logics
Sebastian Wandelt, Ralf Möller · Applied Ontology · 2012
In the last years, the vision of the Semantic Web fostered the interest in reasoning over large and very large sets of assertional statements in knowledge bases. Traditional tableau-based reasoning systems perform bad answering queries over large dat