The next additional lecture will take place Thurdsay 14th of January 5. DS
(14:50 o'clock) in INF / E005.
This lecture uses the notions from the lecture "Description Logics" as
a basis to introduce reasoning problems for Description Logics that
are strongly motivated by practical applications. For instance, it
will cover explanation of inference results and query answering for
ABoxes as well as the algorithms solving these reasoning problems and
Prerequisites: lecture "Description Logics" or a good background on
logics such as modal logics.
The lecture starts on 13th of October and takes
place Tuesdays 2. DS (9:20 - 10:50) in room INF / E005.
Credits / Examinations
logic students can earn 3 credits for the modules KRAI, TCSL and
IT by attending this lecture.
In order to get the credits, CL students have to pass an oral
examination at the end of the term.
Student's solutions to exercises:
Further reading on the ...
- introductory part:
Description Logic Handbook ,
Franz Baader, Diego
Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider
Logics. Franz Baader. In Reasoning Web: Semantic Technologies
for Information Systems, 5th International Summer School 2009
- explanation chapter:
Reasoning Services for the Debugging of Description Logic
Terminologies. Stefan Schlobach, Ronald Cornet, in Proc of IJCAI 2003
in the Description Logic EL. Franz Baader, Rafael
Peņaloza, and Boontawee Suntisrivaraporn. In Proceedings of
the 2007 International Workshop on Description Logics
(DL2007), CEUR-WS, 2007.
- Finding all justifications of OWL entailments. Aditya
Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin. In
Proceedings of 6th International and 2nd Asian Semantic Web
Reasoning Support for Design and Maintenance of Large-Scale
Biomedical Ontologies, Section 5.2 "Axiom Pinpointing"
(p. 92) in Ph.D. thesis by Boontawee Suntisrivaraporn.
- bottom-up chapter:
- information access chapter: