Defind: a protege plugin for computing concept definitions in εL Ontologies

Denis Ponomaryov, Stepan Yakovenko

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review


We introduce an extension to the Protégé 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 εL, 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 cabe 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.

Original languageEnglish
Title of host publicationSemantic Technology - 8th Joint International Conference, JIST 2018, Proceedings
PublisherSpringer-Verlag GmbH and Co. KG
Number of pages9
ISBN (Print)9783030042837
Publication statusPublished - 1 Jan 2018
Event8th Joint International Semantic Technology Conference, JIST 2018 - Awaji, Japan
Duration: 26 Nov 201828 Nov 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11341 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th Joint International Semantic Technology Conference, JIST 2018


Dive into the research topics of 'Defind: a protege plugin for computing concept definitions in εL Ontologies'. Together they form a unique fingerprint.

Cite this