Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Defind : a protege plugin for computing concept definitions in εL Ontologies. / Ponomaryov, Denis; Yakovenko, Stepan.
Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer-Verlag GmbH and Co. KG, 2018. стр. 235-243 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11341 LNCS).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Defind
T2 - 8th Joint International Semantic Technology Conference, JIST 2018
AU - Ponomaryov, Denis
AU - Yakovenko, Stepan
N1 - Publisher Copyright: © Springer Nature Switzerland AG 2018.
PY - 2018/1/1
Y1 - 2018/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85057251653&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-04284-4_16
DO - 10.1007/978-3-030-04284-4_16
M3 - Conference contribution
AN - SCOPUS:85057251653
SN - 9783030042837
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 235
EP - 243
BT - Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings
PB - Springer-Verlag GmbH and Co. KG
Y2 - 26 November 2018 through 28 November 2018
ER -
ID: 17562330