kb api

We have hosted the application kb api in order to run this application in our online workstations with Wine or directly.

Quick description about kb api:

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

Features:

• Very simple programing API
• Support negative concept and role assertions
• Automated unambiguous IRI ID generation
• Multilanguage support for new individual names

Audience: Science/Research.

Programming Language: Java.
Categories: