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 subsumption and identity reasoning at a minimum (DL), inferred facts, and 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

api4kb_reasoning.1349120297.txt.gz · Last modified: 2012/10/01 15:38 by rmbell