Detecting of requirements inconsistency: an ontology-based approach | IEEE Conference Publication | IEEE Xplore