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 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