Sciweavers

ER
2007
Springer
80views Database» more  ER 2007»
13 years 9 months ago
From Declarative to Imperative UML/OCL Operation Specifications
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
Jordi Cabot
ER
2007
Springer
108views Database» more  ER 2007»
13 years 9 months ago
Reasoning over Extended ER Models
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
ER
2007
Springer
97views Database» more  ER 2007»
13 years 9 months ago
Augmenting Traditional Conceptual Models to Accommodate XML Structural Constructs
Although it is possible to present XML Schema graphically, resentations do not raise the level of abstraction for XML schemata in the same way traditional conceptual models raise t...
Reema Al-Kamha, David W. Embley, Stephen W. Liddle
ER
2007
Springer
123views Database» more  ER 2007»
13 years 9 months ago
Enriching OWL with Instance Recognition Semantics for Automated Semantic Annotation
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
Yihong Ding, David W. Embley, Stephen W. Liddle
ER
2007
Springer
100views Database» more  ER 2007»
13 years 9 months ago
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
Mehrdad Salehi, Yvan Bédard, Mir Abolfazl M...
ER
2007
Springer
147views Database» more  ER 2007»
13 years 9 months ago
Toward an Ontological Database for Subcellular Neuroanatomy
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
Amarnath Gupta, Stephen D. Larson, Christopher Con...
ER
2007
Springer
193views Database» more  ER 2007»
13 years 9 months ago
Applying Model Transformation By-Example on Business Process Modeling Languages
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
Michael Strommer, Marion Murzek, Manuel Wimmer
ER
2007
Springer
103views Database» more  ER 2007»
13 years 9 months ago
Ensuring the Semantic Correctness of Complex Regions
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...