This is an old revision of the document!
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