Practice of Creating and Reasoning Science Ontology by Protégé