OWL - DL. DL System A knowledge base (KB) comprises two components, the TBox and the ABox The TBox introduces the terminology, i.e., the vocabulary of.
Concurrent Inference Graphs Daniel R. Schlegel Department of Computer Science and Engineering Problem Summary Inference graphs 2 in their current form.
Concurrent Inference Graphs