Sciweavers

90 search results - page 1 / 18
» A Formal Theory of Conceptual Modeling Universals
Sort
View
WSPI
2004
13 years 6 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
ER
1993
Springer
163views Database» more  ER 1993»
13 years 9 months ago
Using Conceptual Graph Theory to Support Schema Integration
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
Paul Johannesson
JOLLI
2002
125views more  JOLLI 2002»
13 years 4 months ago
Some Notes on the Formal Properties of Bidirectional Optimality Theory
In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner 2000. We investigate the conditions under which bidi...
Gerhard Jäger
CONTEXT
1999
Springer
13 years 9 months ago
The Formal Structure of Ecological Contexts
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
Barry Smith, Achille C. Varzi
JUCS
2010
139views more  JUCS 2010»
12 years 11 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...