Scalability of OWL Reasoning: Role condensates

In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefore not suitable to deal with large ABoxes directly. We propose an approach that, informally speaking, works on a composite representation of the role-part of a SHIQ knowledge base. With respect to conjunctive queries, this helps us to provide a kind of proxy that restricts the set of possible bindings for a variable in advance. Furthermore we can use this proxy to reject several queries with no answer substitution immediately. Most notably our approach is query independent.

• Type: Conference
• Year: 2007
• Where: OTM
• Authors: Sebastian Wandelt, Ralf Möller
• Keywords: In-memory Structures, Internet Technology, Large Aboxes, OTM 2007, SHIQ Knowledge Base