Ontology−Based Classification of Molecules: a Logic Programming Approach
We describe a prototype that performs structure-based classification of molecular structures. The software we present implements a sound and complete reasoning procedure of a formalism that extends logic programming and builds upon the DLV deductive databases system. We capture a wide range of chemi...
| 主要作者: | |
|---|---|
| 格式: | Conference item |
| 出版: |
2012
|