Automatic White-Box Testing of First-Order Logic Ontologies

05/29/2017
by   Javier Álvez, et al.
0

A long-standing dream of Artificial Intelligence (AI) has pursued to encode commonsense knowledge into computer programs enabling machines to reason about our world and problems. This work offers a new practical insight towards the automatic testing of first-order logic (FOL) ontologies. We introduce a novel fully automatic white-box testing framework for first-order logic (FOL) ontologies. The application of the proposed testing method is fully automatic since a) the automated generation of tests is only guided by the syntax of axioms and b) the evaluation of tests is performed by automated theorem provers. Our proposal enables the detection of defective axioms and, additionally, it also serves to demonstrate the suitability for reasoning purposes of those formulas included into FOL ontologies. We validate our proposal by its practical application to different FOL ontologies. In particular, DOLCE ---consisting of around 200 axioms---, FPK (formal proof of the Kepler conjecture) ---which has been derived from the Flyspeck project for its use in the CADE ATP System Competition CASC-J8---, and Adimen-SUMO ---which is an ontology with more than 7,000 axioms derived from SUMO---. As result, we have detected several non-trivial defects that were hidden in those ontologies. Further, we have obtained an improved version of Adimen-SUMO (v2.6) by correcting all the defects detected during the practical application of our white-box testing method.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/29/2017

Black-box Testing of First-Order Logic Ontologies Using WordNet

A long-standing dream of Artificial Intelligence (AI) has pursued to enr...
research
10/16/2015

Improving the Competency of First-Order Ontologies

We introduce a new framework to evaluate and improve first-order (FO) on...
research
08/14/2018

Applying the Closed World Assumption to SUMO-based Ontologies

In commonsense knowledge representation, the Open World Assumption is ad...
research
12/08/2010

First steps in the logic-based assessment of post-composed phenotypic descriptions

In this paper we present a preliminary logic-based evaluation of the int...
research
01/26/2014

Quality of Geographic Information: Ontological approach and Artificial Intelligence Tools

The objective is to present one important aspect of the European IST-FET...
research
01/26/2023

Box^2EL: Concept and Role Box Embeddings for the Description Logic EL++

Representation learning in the form of semantic embeddings has been succ...
research
11/13/2018

ABox Abduction via Forgetting in ALC (Long Version)

Abductive reasoning generates explanatory hypotheses for new observation...

Please sign up or login with your details

Forgot password? Click here to reset