Modeling Computational Properties of Description Logics in ASP
Aus International Center for Computational Logic
Modeling Computational Properties of Description Logics in ASP
Vortrag von Mohamed Ibrahim
- Veranstaltungsort: APB 3027
- Beginn: 29. Januar 2020 um 09:00
- Ende: 29. Januar 2020 um 10:30
- Forschungsgruppe: Wissensbasierte Systeme
- 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.