2018/10/10 by Denis Ponomaryov, Ponomaryov, Denis, Stepan Yakovenko +1
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #cs.AI #cs.LO
paper · pdf · doi:10.48550/arxiv.1810.04363
arxiv created 2018/10/10 · openalex publication_date 2018/10/10 · arxiv updated 2018/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.