Formal Ontologies, Specifications and Logics in Canopy Research
Edit Page
Report
Scan day: 04 March 2014 UTC
14
Virus safety - good
Description: Abstract and full document by Bohdan Durnota.
CiteSeerX — Formal Ontologies, Specifications and Logics in Canopy Research Formal Ontologies, Specifications and Logics in Canopy Research (1995) @MISC{Durnota95formalontologies,,     author = {Bohdan Durnota},
Size: 217 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — Formal Ontologies, Specifications and Logics in Canopy Research |
| Keywords: | CiteSeerX, Bohdan Durnota |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): 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... |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |