Module extraction in expressive ontology languages via datalog reasoning

AA Romero, M Kaminski, BC Grau, I Horrocks - Journal of Artificial …, 2016 - jair.org
Module extraction is the task of computing a (preferably small) fragment M of an ontology O
that preserves a class of entailments over a signature of interest Σ. Extracting modules of …

Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner

Y Zhou, BC Grau, Y Nenov, M Kaminski… - Journal of Artificial …, 2015 - jair.org
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for
many applications. Query answering is, however, computationally very expensive, which …

Pay-as-you-go OWL query answering using a triple store

Y Zhou, Y Nenov, BC Grau, I Horrocks - Proceedings of the AAAI …, 2014 - ojs.aaai.org
We present an enhanced hybrid approach to OWL query answering that combines an RDF
triple-store with an OWL reasoner in order to provide scalable pay-as-you-go performance …

[PDF][PDF] Querying Life Science Ontologies with SemFacet.

BC Grau, E Kharlamov, S Marciuska, D Zheleznyakov… - SWAT4LS, 2014 - Citeseer
Faceted search is the de facto query paradigm in e-commerce and it has been recently
adapted for the Semantic Web. In this demonstration we present our faceted search system …

Hybrid query answering over OWL ontologies

G Stoilos, G Stamou - ECAI 2014, 2014 - ebooks.iospress.nl
Query answering over OWL 2 DL ontologies is an important reasoning task for many modern
applications. Unfortunately, due to its high computational complexity, OWL 2 DL systems are …

[PDF][PDF] Pagoda: Pay-as-you-go abox reasoning

Y Zhou, Y Nenov, BC Grau, I Horrocks - 28thInternational Workshop on …, 2015 - bia.unibz.it
Ontologies are increasingly used to provide structure and enhance access to large datasets.
In such applications the ontology can be seen as a TBox, and the dataset as an ABox, with …

The ubiquitous semantic web: Promises, progress and challenges

YF Li, JZ Pan, S Krishnaswamy… - Web-Based Services …, 2016 - igi-global.com
Abstract The Semantic Web represents an evolution of the World Wide Web towards one of
entities and their relationships, rather than pages and links. Such a progression makes it …

RDF-SQ: Mixing parallel and sequential computation for top-down OWL RL inference

J Urbani, C Jacobs - Graph Structures for Knowledge Representation and …, 2015 - Springer
The size and growth rate of the Semantic Web call for querying and reasoning methods that
can be applied over very large amounts of data. In this paper, we discuss how we can enrich …

Ontology-based data access using rewriting, OWL 2 RL systems and repairing

G Stoilos - European Semantic Web Conference, 2014 - Springer
In previous work it has been shown how an OWL 2 DL ontology O can be 'repaired'for an
OWL 2 RL system ans—that is, how we can compute a set of axioms R that is independent …

Hydrowl: A hybrid query answering system for OWL 2 DL ontologies

G Stoilos - International Conference on Web Reasoning and Rule …, 2014 - Springer
This system description paper introduces the OWL 2 query answering system Hydrowl.
Hydrowl is based on novel hybrid techniques which in order to compute the query answers …