Formal Ontologies, Specifications and Logics in Canopy Research (1995)
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Bohdan Durnota},
title = {Formal Ontologies, Specifications and Logics in Canopy Research},
year = {1995}
}
Bookmarks
OpenURL
Abstract:
A number of description techniques are outlined and their usefulness in describing the domain of canopy research and associated data models is indicated. The approaches considered are: formal ontologies, object-oriented formal specifications, domain-specific logics and domain languages. We consider a simple abstraction of tree architecture to illustrate some of the concepts, especially those of formal specifications. Keywords: canopy, tree architecture, formal ontology, object-orientation, formal specification, logics, domain languages. 1 Introduction Canopy research is characterized by a wide variety of disciplines and perspectives, and of spatial and temporal scales (Nadkarni & Parker, 1994). To assist this multidisplinary effort in collaboratively exploring the canopy there is benefit in expending effort in developing common ontologies and data models. This paper provides an overview of these and related fields and indicates their relevance to canopy research (see Figure 1). We c...
