Sciweavers

1111 search results - page 25 / 223
» A Conceptual Modeling Technique Based on Semantically Comple...
Sort
View
LREC
2008
83views Education» more  LREC 2008»
13 years 10 months ago
More Semantic Links in the SIMPLE-CLIPS Database
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
Nilda Ruimy, Antonio Toral
ER
2010
Springer
154views Database» more  ER 2010»
13 years 7 months ago
Modelling Functional Requirements in Spatial Design
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla
IEICET
2007
110views more  IEICET 2007»
13 years 8 months ago
A Higher-Order Knuth-Bendix Procedure and Its Applications
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
Keiichirou Kusakari, Yuki Chiba
ADBIS
2003
Springer
194views Database» more  ADBIS 2003»
14 years 1 months ago
Rule-Based Generation of XML DTDs from UML Class Diagrams
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
Thomas Kudrass, Tobias Krumbein
OTM
2005
Springer
14 years 2 months ago
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
Yuan An, Alexander Borgida, John Mylopoulos