Logic seminar: Uli Sattler (Manchester)
| Dates: | 7 December 2022 |
|---|
| Times: | 15:15 - 16:15 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Description Logics, Ontology Languages, Modularity, and Automated Reasoning
Abstract: Description Logics have been developed for knowledge representation and reasoning, and form the logical basis of modern ontology languages. In this talk, I will give a brief overview of Description Logics, describe their relationship with Modal and First Order Predicate Logic, and then talk about automated reasoning problems and algorithms, with a focus on modularity (a notion closely related to conservative extensions).
Travel and Contact Information
Find event
Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester
