Bohdan Durnota  Home/Search
Context
Related
| monash.edu.au/publicat...sdP952.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: monash.edu.au/c...authors=&title= (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
1.4: Formal Ontologies, Specifications and Logics in Canopy Research - Durnota (1995) (Correct)
0.1: Complex Object Models Of Natural Systems - Durnota (1995) (Correct)
0.1: On the Representation of Roles in Object-Oriented and Conceptual .. - Steimann (2000) (Correct)
Similar documents based on text: More All
0.5: Simulated Annealing of Two-Dimensional Plant Canopies - Durnota (1995) (Correct)
0.4: The Use of Formal Object-Oriented Specification in Numerics.. - Bohdan Durnota (1994) (Correct)
0.3: Specifying The Just-In-Time Kanban System Using Two.. - Ling, Durnota (1995) (Correct)
BibTeX entry: (Update)
@misc{ durnota-formal,
author = "Bohdan Durnota",
title = "Formal Ontologies, Specifications and Logics in Canopy Research",
url = "citeseer.ist.psu.edu/durnota95formal.html" }
Citations (may not include all citations):1286 Object-Oriented Modeling And Design (context) - Rumbaugh, Blaha et al. - 1991 ACM
384 A translation approach to portable ontology specifications (context) - Gruber - 1993
318 Toward principles for the design of ontologies used for know.. - Gruber - 1993 ACM
225 A spatial logic based on regions and connection - Randell, Cui et al. - 1992 DBLP
189 The knowledge level (context) - Newell - 1982 ACM DBLP
123 An Introduction to Formal Methods (context) - Diller - 1994
118 KADS: A modelling approach to knowledge engineering (context) - Wielinga, Schreiber et al. - 1992
112 Ontolingua: A mechanism to support portable ontologies - Gruber - 1991
48 Branching time temporal logic (context) - Emerson, Srinivasan - 1989 ACM DBLP
44 specification language (context) - Duke, King et al. - 1991 DBLP
39 Domain-oriented design environments (context) - Fischer - 1992
35 A small set of formal topological relationships suitable for.. (context) - Clementini, Di Felice et al. - 1993 ACM DBLP
27 Amphion: Automatic programming for scientific subroutine lib.. (context) - Lowry, Philpot et al. - 1994 DBLP
8 Communications of the ACM (context) - Denning - 1988
6 MON: An object relationship model incorporating roles - Maughan, Durnota - 1994
2 A profile of forest canopy science and scientists -- who we .. (context) - Nadkarni, Parker - 1994
2 Spatial patterns of canopy building blocks: Arrangement and .. (context) - Zeide - 1995
1 Technical Report Logic-92-1 (context) - Format - 1992
Documents on the same site (http://www.csse.monash.edu.au/cgi-bin/pub_search?publication_type=0&year=&authors=&title=): More
A Tuning Aid to Improve Deduction of Induction Results - Postema, Wu, Menzies (1996) (Correct)
Reducing the human complexity of identifying hypertext nodes from .. - Ransom (1995) (Correct)
Reasoning About Concurrent Objects - Schmidt, Chen (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC