Ontology formalisms

Craig Schlenoff
2009 Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems - PerMIS '09  
Ontologies can take many forms. There are ontologies that are extremely formal (e.g., using first order logic), and there are ontologies that are less formally defined (e.g., ontologies in the relational databases or dictionaries). Nonetheless, all of these can be considered ontologies and are appropriate in different situations. In this paper, I will present a view of levels of ontology formalizations and then describe three efforts that have applied ontologies to solve real-world problems. I
more » ... ill show where each of these efforts fall on the formalization spectrum and show why that level of formalization is appropriate for that application.
doi:10.1145/1865909.1865947 dblp:conf/permis/Schlenoff09 fatcat:a746aft3enclrapgao4ml2jpxu