Bozzato, L., Eiter, T., & Kiesel, R. P. D. (2022). Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). In Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022). 35th International Workshop on Description Logics (DL 2022), Haifa, Israel.
This extended abstract summarizes our previous work on a defeasible extension of Description Logic (DL)
for contextual reasoning.1 Here, we considered on the one hand the addition of multiple dimensions of
defeasibility, allowing us to express for example that a rule has to be satisfied no matter the geographical
context but that the rule can change in the next years. On the other hand, we showed that Answer
Set Programming (ASP) especially when enhanced with algebraic measures provide a powerful tool to
implement our framework and open up perspectives for the future.
en
Research Areas:
Logic and Computation: 80% Computer Science Foundations: 20%