## Exam
- Start: Semantic Web
	- Semantic Web Stack until Description Logic
		- Why is RDF-S required? Why different versions of OWL? (i.e., reification, undecidability and namespaces)
	- Different Description Logics
	- Complexity of Description Logics
- Databases
	- Datalog (focus in PTime, restrict to Horn clauses)
	- Why restriction? Complexity and Herbrand Theory
- Herbrand Theory
	- Why required?
	- Datalog-f: Least Herbrand Model (Closed World Assumption)
	- Datalog-neg: Minimal models with examples (Negation as Failure)
- Fuzzy Reasoning
	- Mamdani Reasoning with example
	- Expert knowledge
- Probabilistic Reasoning
	- Causal vs. diagnostic
	- Deduction vs. Abduction