Semi-automatic construction of domain ontology for agent reasoning