Sciweavers

464 search results - page 21 / 93
» Modeling Semantic Constraints with Logic in the EARL Data Mo...
Sort
View
BXML
2003
13 years 8 months ago
Rule-Based Generation of XML Schemas from UML Class Diagrams
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
Tobias Krumbein, Thomas Kudrass
DATESO
2006
148views Database» more  DATESO 2006»
13 years 8 months ago
Conceptual Modeling for XML: A Survey
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
Martin Necasky
CAV
1998
Springer
138views Hardware» more  CAV 1998»
13 years 11 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
CMSB
2007
Springer
14 years 1 months ago
Context Sensitivity in Logical Modeling with Time Delays
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
Heike Siebert, Alexander Bockmayr
DEXA
2009
Springer
151views Database» more  DEXA 2009»
14 years 1 months ago
Automatic Extraction of Ontologies Wrapping Relational Data Sources
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
Lina Lubyte, Sergio Tessaris