 Knowledge base

A collection of assertions and rules interpreted together. A logical knowledge base can be studied through its models, its consequences, or a specified nonclassical semantics.