All Classes and Interfaces
Class
Description
A binding for the OWL API.
Service calling the OWL API for fact entailment explanation
OWL API Explanator Configuration
Converts inputs to be passed to the OWL API
Keywords for rulewerk
Input file extensions supported
File extensions for fact base
File extensions for query base
File extensions for rule base
Supported algorithms
Operations that are specific to the the OWL API.
Demo class for BRunner.