User:Aabs/Books/Semantic Web Inference

articles relating to inference engines and related logics

 * Description logic
 * Semantic Reasoner
 * Reasoner
 * TBox
 * ABox
 * Web Ontology Language
 * Analytic tableau method
 * Inference rules
 * Forward chaining
 * Backward chaining
 * Rule of inference
 * Production system
 * Probabilistic logic network
 * Modal logic
 * Ground sentence
 * Unique Name Assumption
 * Closed World Assumption