图 书 馆
迈向生物信息学的语义基础Towards a semantic foundation for bioinformatics |
|
| 课程网址: | http://videolectures.net/eswc2010_king_tasf/ |
| 主讲教师: | King Ross D |
| 开课单位: | 曼彻斯特大学 |
| 开课时间: | 2010-06-30 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | With a two and half thousand year tradition logic is the best understood way of representing scientific knowledge. Only logic provides the semantic clarity necessary to ensure the comprehensibility, reproducibility, and free exchange of knowledge. The use of logic is also necessary to enable computers to play a full part in science [1]. The semantic web is transforming the dissemination of science by making for the first time making a large amount of scientific knowledge available expressed in logic. Bioinformatics is one of the undoubted successes stories of the semantic web, with bioinformatic knowledge making up a large percentage of the scientific semantic web. Many of the problems that make semantic web reasoning difficult don't apply to bioinformatics: a ground truth of scientific knowledge exists, top level ontologies have been agreed (BFO), many other ontological standards exist, and the bioinformatic semantic web is large but not too large. The use of bioinformatic software is essential to modern biology. However, there is a clear mismatch between the increasing use of the semantic web and logic, and the way bioinformatic systems utlilise and make inferences with this knowledge. This is because almost all computer based bioinformatic reasoning is done using ad hoc programs. From a formal point of view these programs are invariably making logical inferences: deductions, abductions, inductions, with perhaps a probabilistic element. However, what exactly these inferences exactly are is generally unclear. The aim of my research is to make these inferences clear and to express them in logic, and make them executable across the semantic web. |
| 关 键 词: | 传统逻辑; 生物信息学; 本体论; 逻辑推论 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-12-07：lxf |
| 阅读次数: | 48 |