This is an old revision of the document!
APIs for reasoning [[start|Link to API4KB Main Page]] * 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 * Supported languages, formats * Provide metrics, similar to what is done today for Protégé * Provide indication of reasoner capabilities * how expressive * what operations are supported Additional Requirements * 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
