Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)

This extended abstract summarizes our previous work on a defeasible extension of Description Logic (DL) for contextual reasoning. 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.