api4kb_reasoning
====== Differences ====== This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
api4kb_reasoning [2013/03/17 14:41] admin |
api4kb_reasoning [2013/03/17 14:48] admin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| APIs for reasoning [[start|Link to API4KB Main Page]] | APIs for reasoning [[start|Link to API4KB Main Page]] | ||
| * Check for logical consistency, satisfiability | * Check for logical consistency, satisfiability | ||
| + | * Check for deductive closure (if appropriate) | ||
| + | * Provide basic classification (subsumption, identity reasoning) | ||
| + | * Provide / identify inferred facts, and materialized in the knowledge base, indicate which are inferred | ||
| + | * Explanation support | ||
| + | |||
| + | Meta-APIs | ||
| * Provide metrics, similar to what is done today for Protégé | * Provide metrics, similar to what is done today for Protégé | ||
| * Provide indication of reasoner capabilities | * Provide indication of reasoner capabilities | ||
| * how expressive | * how expressive | ||
| * what operations are supported | * what operations are supported | ||
| - | * Check for deductive closure (if appropriate) | + | |
| - | * Explanation Support | + | Additional Requirements |
| - | * Provide basic classification (subsumption, identity reasoning) | + | |
| - | * Provide / identify inferred facts, and materialized in the knowledge base, indicate which are inferred | + | |
| * Support both batch and dynamic interfaces | * Support both batch and dynamic interfaces | ||
| * e.g., assertion/retraction of facts at run time | * e.g., assertion/retraction of facts at run time | ||
api4kb_reasoning.txt · Last modified: 2013/03/17 15:07 by admin
Page Tools
