Formalizing and Computing Ontologies to Speed up the Construction of Knowledge-based Collaborative Systems – Three Different Approaches.