Knowledge Management and Business Modeling based on the Semantics of Contracts