Ontologies can take many forms. There are ontologies that are extremely formal (e.g., using first order logic), and there are ontologies that are much less formally defined (e.g., ontologies in the relational databases or dictionaries). Nonetheless, all of these can be considered ontologies and all of them are appropriate in different situations. In this paper, we will present one view of different levels of ontology formalizations and then describe three efforts that have applied ontologies to solve real-world problems. We will show where each of these efforts fall on the formalization spectrum and show why that level of formalization is appropriate for that application.
Proceedings Title: Proceedings of the Performance Metrics for Intelligent Systems (PerMIS) 2009
Conference Dates: September 21-23, 2009
Conference Location: Gaithersburg, MD
Pub Type: Conferences
Ontologies, Knowledge Representation, Formalisms, Reasoning, First Order Logic