Addressing OWL ontology for goal consistency checking. - Imam M. Shofi; Eko Kuswardono Budiardjo (iiWAS, 2012)