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

Denis Ponomaryov, Stepan Yakovenko

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…