Addressing OWL ontology for goal consistency checking

Handling a conflict (inconsistency) is one of active areas in the research of Goal Oriented Requirements Engineering (GORE). In the modeling of GORE, the conflict may occur in the operation model, but basically is will take root from goal model. Therefore, the conflict handling in the GORE must be carried out in the goal model. Ontology is used to capture the knowledge of certain domain wished. One of language standards for ontology that has been widely used is Ontology Web Language (OWL) from World Wide Web Consortium (W3C). One of the features of Ontology described using OWL is that it can be processed using a reasoner, where one of reasoner's standard service is the checking of consistency. This paper presents how the Ontology OWL is used for the consistency checking in the goal model. The first step conducted is to convert the goal model into Ontology using Protégé. Parallel with the first step, Ontology (Protégé) equipped with certain reasoner carried out the checking consistency of terminology, designation, and structure. The next step is to conduct the checking of logic consistency (Strong conflict and/or Weak conflict) by defining the rules using SWRLTab.