Logic-based fusion of legal knowledge

In this paper, we address several issues that are often overlooked in the fusion of various knowledge components when this knowledge is expressed in full standard logic. It is shown that not solving these issues can lead to inadequate inferences. As a case study, we consider the legal domain, which has been an application target for knowledge engineering for decades. Reallife examples based on the confrontation of two different legal systems about a same international agreement are investigated.