User:Aabs/Books/Semantic Web Inference

Semantic Web Inference

edit
edit
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