no code implementations • 18 Jan 2014 • Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Since ontologies and typical queries are often fixed at application design time, our approach allows application developers to check whether a reasoner known to be incomplete in general is actually complete for the kinds of input relevant for the application.
no code implementations • 4 Apr 2013 • Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL.