Represent Software Process Engineering Metamodel in Description Logic