User Tools

Site Tools


api4kb_reasoning

This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

APIs for reasoning [[start|Link to API4KB Main Page]] * Check for logical consistency, satisfiability * Provide metrics, similar to what is done today for Protégé * Provide indication of reasoner capabilities * how expressive * what operations are supported * Check for deductive closure (if appropriate) * Explanation Support * 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 * e.g., assertion/retraction of facts at run time * Support for multiple reasoners, kinds of reasoning * e.g., DL, DL approximation (such as TrOWL), various OWL profiles, OWL “Full” with punning, RDF entailment * semantic profiles e.g. different entailment regimes ===== Questions ===== * Enter questions here

api4kb_reasoning.1363545705.txt.gz · Last modified: 2013/03/17 14:41 by admin