Representing and developing knowledge using Jason, CArtAgO and OWL