DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies

10/10/2018
by   Denis Ponomaryov, et al.
0

We introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by an ontology. The plugin supports ontologies formulated in the Description Logic EL, which underpins the OWL 2 EL profile of the Web Ontology Language and despite its limited expressiveness captures most of the biomedical ontologies published on the Web. The developed tool allows to verify whether a concept can be defined using a vocabulary of interest specified by a user. In particular, it allows to decide whether some vocabulary items can be omitted in a formulation of a complex concept. The corresponding definitions are presented to the user and are provided with explanations generated by an ontology reasoner.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/21/2019

WebProtégé: A Cloud-Based Ontology Editor

We present the WebProtégé application to develop ontologies represented ...
research
10/22/2018

What is an Ontology?

In the knowledge engineering community "ontology" is usually defined in ...
research
06/04/2019

Interpreting OWL Complex Classes in AutomationML based on Bidirectional Translation

The World Wide Web Consortium (W3C) has published several recommendation...
research
09/23/2013

An evolutionary approach to Function

Background: Understanding the distinction between function and role is v...
research
10/29/2014

Reasoning for ALCQ extended with a flexible meta-modelling hierarchy

This works is motivated by a real-world case study where it is necessary...
research
03/30/2016

Iterated Ontology Revision by Reinterpretation

Iterated applications of belief change operators are essential for diffe...
research
11/03/2010

Detecting Ontological Conflicts in Protocols between Semantic Web Services

The task of verifying the compatibility between interacting web services...

Please sign up or login with your details

Forgot password? Click here to reset