Ontology Module Extraction via Datalog Reasoning

11/19/2014
by   Ana Armas Romero, et al.
0

Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent years. Extracting modules of minimal size is, however, computationally hard, and often algorithmically infeasible. Thus, practical techniques are based on approximations, where M provably captures the relevant entailments, but is not guaranteed to be minimal. Existing approximations, however, ensure that M preserves all second-order entailments of T w.r.t. S, which is stronger than is required in many applications, and may lead to large modules in practice. In this paper we propose a novel approach in which module extraction is reduced to a reasoning problem in datalog. Our approach not only generalises existing approximations in an elegant way, but it can also be tailored to preserve only specific kinds of entailments, which allows us to extract significantly smaller modules. An evaluation on widely-used ontologies has shown very encouraging results.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/21/2013

Extract ABox Modules for Efficient Ontology Querying

The extraction of logically-independent fragments out of an ontology ABo...
research
05/16/2023

Efficient Computation of General Modules for ALC Ontologies (Extended Version)

We present a method for extracting general modules for ontologies formul...
research
01/21/2020

A Journey into Ontology Approximation: From Non-Horn to Horn

We study complete approximations of an ontology formulated in a non-Horn...
research
01/21/2020

A Journey into Ontology Approximation: From Non-Horn to Hon

We study complete approximations of an ontology formulated in a non-Horn...
research
07/06/2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Extracting a subset of a given OWL ontology that captures all the ontolo...
research
07/01/2021

Computing CQ lower-bounds over OWL 2 through approximation to RSA

Conjunctive query (CQ) answering over knowledge bases is an important re...
research
04/03/2019

What is wrong with scene text recognition model comparisons? dataset and model analysis

Many new proposals for scene text recognition (STR) models have been int...

Please sign up or login with your details

Forgot password? Click here to reset