OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Using ontologies to aid navigation planning in autonomous vehicles
The Knowledge Engineering Review
Hi-index | 0.00 |
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 will show where each of these efforts fall on the formalization spectrum and show why that level of formalization is appropriate for that application.