مرکز منطقه ای اطلاع رساني علوم و فناوري - Reasoning about taxonomies in first-order logic

Title of article :

Reasoning about taxonomies in first-order logic

Author/Authors :

David Thau ، نويسنده , , Bertram Ludascher، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

195

To page :

209

Keywords :

TaxonomyAutomated deduction (reasoning)First-order logic constraints

Journal title :

Ecological Informatics

Serial Year :

2007

Journal title :

Ecological Informatics

Record number :

305662

Link To Document :