In the SmArt system, ontology is used to represent
knowledge that can be shared among multiple agents and/or
programs. One important part of knowledge is representing
concepts in the license control domain. Domain ontology
is the result of taxonomy. As noted in [1], there are five
basic concepts: Agreement, Service, Resource, Constraint,
Request. Below we will define these and other related concepts
one by one.