A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web