API4KB Wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

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 Wiki

User Tools

Site Tools

Page Tools