Problems and prospects for formally representing and reasoning about enemy courses of action

Enemy Courses of Action (ECOAs) play a central role in the process of situation development in military decision-making. In order to reason about ECOAs, it would be necessary to adequately represent them in a formalism that allows for automatic reasoning. In this paper, we examine the benefits and drawbacks of representing ECOAs within several frameworks that have been encoded as OWL ontologies.