Output details
11 - Computer Science and Informatics
University of Oxford
A general Datalog-based framework for tractable query answering over ontologies
<22>
Ontologies play a central role in the development of the future Web. Recent research focuses especially on highly scalable formalisms for the Web of Data, which benefits from exploiting database technologies. The paper introduces a novel family of expressive extensions of database-oriented Datalog, called Datalog+/-, and its theoretical background as a new paradigm for query answering over ontologies. It includes data tractability results and their technically quite involved full proofs. Datalog+/- is also very important in other areas, such as data exchange, extraction, and integration. It is currently being implemented at the University of Calabria, Italy.