Research highlights details

  • January 10, 2021
  • Developing methods to update KBs storing objects such as business rules, regulations or contracts is considered a key challenge (in particular in the presence of conflicting and dynamic updates) which we have addressed using principled approaches to rule-based KB updates. After pinpointing inescapable limitations of other approaches, we introduced a novel, more suitable, foundation for rule updates and solved the long-standing problem of state condensing for rule update semantics, leading to the first practical update operators for KBs combining ontologies and rules, with results published in IJCAI and KR, leading AI conferences.