Making the most of your triple store

摘要: Triple stores implementing the RL profile of OWL 2 are becoming increasingly popular. In contrast to unrestricted 2, is known enjoy favourable computational properties for query answering, and state-of-the-art reasoners such as OWLim Oracle's native inference engine Oracle Spatial Graph have proved extremely successful in industry-scale applications. The expressive restrictions imposed by may, however, be problematical some this paper, we propose novel techniques that allow us (in many cases) compute exact answers using an off-the-shelf reasoner, even when ontology outside profile. Furthermore, cases where cannot computed, can still both lower upper bounds on answers. These estimate degree incompleteness reasoner given query, optimise computation a fully-fledged reasoner. A preliminary evaluation RDF Semantic feature Database has shown very promising results with respect scalability tightness bounds.