たくさんの生物学的資源が生物学的何かの機能を表現するために作られている．そして，これらの資源は広くデータ統合と分析に使われている．Biomedical ontologiesにおいて，機能を表現することは現在では形式的表現パターンを使う．そのパターンは基本的な推論タスクを多項式時間を越えた複雑クラス（NP）である．だから，データ統合とか検索とか品質管理のための知識ベーストな方法は限られた使い方しかできない．ここで，私たちは生物学的機能の知識を表現するための代替表現パターンを提案する．生物学と存在論的正当化を組み合わせて．そのパターンはDLのEL++を使って表現されうるもので，OWL2 EL profileを用いて実装される．生物学的機能の表現の評価のために，私たちはそれをSwissProtデータベースの全てのたんぱく質に適用し，それが使えるかどうかを複雑なクエリに答えられるかという観点と分類とクエリにかかる時間という観点から評価した．
2018.02.19
@inproceedings{DBLP:conf/fois/HoehndorfMGS16,
author = {Robert Hoehndorf and
Liam Mencel and
Georgios V. Gkoutos and
Paul N. Schofield},
editor = {Roberta Ferrario and
Werner Kuhn},
title = {Large-Scale Reasoning over Functions in Biomedical Ontologies},
booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International
Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {283},
pages = {299--312},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-660-6-299},
doi = {10.3233/978-1-61499-660-6-299},
timestamp = {Tue, 09 Feb 2021 08:32:32 +0100},
biburl = {https://dblp.org/rec/conf/fois/HoehndorfMGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}