System used in the KR paper

System codes used in the paper:
Ernesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina A. M. Tamma: Limiting Logical Violations in Ontology Alignnment Through Negotiation. KR 2016: 217-226