The KB API provides the ability to easily implement a description logic KB, based on a OWL2 ontology as TBox specification. The API combines the OWL API 3.* with the HermiT OWL2 reasoner. Concerning the theoretical foundations of description logic KBs. The API provides a Tell/Ask interface for state an ABox assertion (Tell) like C(a), -C(a), R(a,b), or -R(a,b), and check of consistency, concept satisfiability, instances, concept subsumption, and state conjunctive queries (Ask).
- Very simple programing API
- Support negative concept and role assertions
- Automated unambiguous IRI ID generation
- Multilanguage support for new individual names