Standard

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. p. 235-243 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11341 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Ponomaryov, D & Yakovenko, S 2018, Defind: a protege plugin for computing concept definitions in εL Ontologies. in Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11341 LNCS, Springer-Verlag GmbH and Co. KG, pp. 235-243, 8th Joint International Semantic Technology Conference, JIST 2018, Awaji, Japan, 26.11.2018. https://doi.org/10.1007/978-3-030-04284-4_16

APA

Ponomaryov, D., & Yakovenko, S. (2018). Defind: a protege plugin for computing concept definitions in εL Ontologies. In Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings (pp. 235-243). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11341 LNCS). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/978-3-030-04284-4_16

Vancouver

Ponomaryov D, Yakovenko S. Defind: a protege plugin for computing concept definitions in εL Ontologies. In Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer-Verlag GmbH and Co. KG. 2018. p. 235-243. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-04284-4_16

Author

Ponomaryov, Denis ; Yakovenko, Stepan. / Defind : a protege plugin for computing concept definitions in εL Ontologies. Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer-Verlag GmbH and Co. KG, 2018. pp. 235-243 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{4f0a409d5f9d489f96648626fabac05a,
title = "Defind: a protege plugin for computing concept definitions in εL Ontologies",
abstract = "We introduce an extension to the Prot{\'e}g{\'e} 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.",
author = "Denis Ponomaryov and Stepan Yakovenko",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 8th Joint International Semantic Technology Conference, JIST 2018 ; Conference date: 26-11-2018 Through 28-11-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-04284-4_16",
language = "English",
isbn = "9783030042837",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag GmbH and Co. KG",
pages = "235--243",
booktitle = "Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings",
address = "Germany",

}

RIS

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