Identification of Contradictions in Regulation

This paper presents a Semantic Web–based model for detecting contradictions in regulations. We introduce a conceptual model of contradictions and, on the basis of this model, a knowledge representation–based model is used, which is able to represent the semantics of provision types and related properties. The usefulness of the model is shown through an example.