---

Overview

Models in First order logic, Semantic Web, Description logics, Inference in description logics, Ontology Engineering, Epistemic games with Dynamic Epistemic Logic, Software verification with Computational Tree Logic, Fuzzy logic

---

Content

1. Logical games in First Order Logic (FOL): minefinder, minefield, friends puzzles, ladies and tigers, models in FOL; discourse checking in FOL;

2. Description Logics (DLs): Semantic Web, ontologies, families of DLs, modelling in DL, models in DL, solving logical puzzles in DL;

3. Reasoning in DL: tableaux algorithms, converting DL2FOL;

4. Ontology engineering:

5. Applications of DL: modelling in DL, machine learning for the semantic web, semantic search, medical and legal ontologies, ontology design patterns;

6. Epistemic reasoning: epistemic logic (EL), common knowledge, public announcement, dynamic epistemic logic, modelling in EL, solving epistemic puzzles;

7. Model checking: formal verification, modelling and reasoning about systems, computational tree logic, protocol verification

8. Expert systems: rule-based reasoning, efficient reasoning, Rete algorithm, conflict resolution strategies, engineering efficient rule-based systems;

9. Fuzzy reasoning: fuzzy logic (FL), membership functions, fuzzy sets, mandami rules, fuzzification, defuzzification methods, application of FL;

10. Non-monotonic reasoning: defeasible logic, argumentative semantics

11. Answer Set Programming.

---

Main Bibliography

1. Baader, Franz, Diego Calvanese, Deborah McGuinness, Peter Patel-Schneider, and Daniele Nardi, eds. The description logic handbook: Theory, implementation and applications. Cambridge university press, 2003.

2. A. Groza. Ontology Engineering with RacerPro - An Activity Based Approach, U.T. Press, 2014, ISBN 978-973-662-991-4

Supplementary Bibliography

3. Ianni, Giovambattista, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, and Steffen Staab, eds. Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Vol. 10370. Springer, 2017.

4. Antoniou, Grigoris, and Frank Van Harmelen. A semantic web primer. 3rd edition, MIT press, 2012.

5. Bühmann, L., Lehmann, J., & Westphal, P. (2016). DL-Learner - A framework for inductive learning on the Semantic Web. Journal of Web Semantics, 39, 15-24.

6. Haarslev, Volker, Kay Hidde, Ralf Möller, and Michael Wessel. "The RacerPro knowledge representation and reasoning system." Semantic Web 3, no. 3 (2012): 267-277.

7. Discourses on Social Software, Van Eijck and Verbrugge (eds.), Amsterdam University Press, 2009;

8. van Benthem J, van Ditmarsch H, van Eijck J, Jaspars J. Logic in Action, 2016.

9. Logic in Computer Science- Huth, Michael RA, and Mark D. Ryan. "Modelling and reasoning about systems." Cambridge University Press 2000; (ch. 3).

10. Engelbrecht, Andries P. Computational intelligence: an introduction. John Wiley & Sons, 2007 (ch 20,22,22).