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