Reasoning With Weighted Ontologies

Computational Proteomics

计算机科学;物理学

Rafael Pen~aloza

Others  :  http://CEUR-WS.org/Vol-477/paper_63.pdf
PID  :  50147

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute its so-called boundary, withrespect to a given property. We show that axiom pinpointing is the most general instance of this problem. Finally, we present three applications of the problem of boundary computation