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

12/08/2010
by   Ernesto Jiménez-Ruiz, et al.
0

In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed using a description logic reasoner together with scalable techniques: ontology modularization and approximations of the logical difference between ontologies.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/07/2022

When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies

In ontology development, there is a gap between domain ontologies which ...
research
01/23/2014

The Logical Difference for the Lightweight Description Logic EL

We study a logic-based approach to versioning of ontologies. Under this ...
research
07/24/2016

Redundancy-free Verbalization of Individuals for Ontology Validation

We investigate the problem of verbalizing Web Ontology Language (OWL) ax...
research
10/31/2016

Ontology Verbalization using Semantic-Refinement

We propose a rule-based technique to generate redundancy-free NL descrip...
research
11/25/2021

Ontology-Based Skill Description Learning for Flexible Production Systems

The increasing importance of resource-efficient production entails that ...
research
03/20/2018

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies

In this article we show how Hans Kelsen jurisprudence and Intuitionistic...
research
05/29/2017

Automatic White-Box Testing of First-Order Logic Ontologies

A long-standing dream of Artificial Intelligence (AI) has pursued to enc...

Please sign up or login with your details

Forgot password? Click here to reset