Ontologies for knowledge modeling in construction planning : theory and application