Modeling Computational Properties of Description Logics in ASP

Talk by Mohamed Ibrahim

Location: APB 3027
Start: 29. January 2020 at 9:00 am
End: 29. January 2020 at 10:30 am
Research group: Knowledge-Based Systems
Event series: KBS Seminar
iCal

Tracking the increasing volume of research about Description logics is getting harder. Besides, those results interact together and can deduce new results. That is why we need a knowledge base to encode those results in a smart way and infer more results based on what we currently know. This talk presents an approach of how we can encode such information with the help of Answer Set Programming (ASP). In addition, we show how such a system can be integrated into a website that visualizes the current research results and the inferences made based on them. We end by analyzing this approach and suggesting some future work.