Applications and Practices in Ontology Design, Extraction, and Reasoning