A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Filters
Combining Ontology-enriched Domain-Specific Languages
2009
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Hence the question arises: How can we combine DSLs and in addition integrate their semantics and constraints? ...
Then we give an answer of how to combine these ontology-enriched DSLs and present a solution of integrating constraints and semantics of several languages. ...
These constraints are not merged because in our approach only the ones with equal class expressions are merged. ...
dblp:conf/models/WalterE09
fatcat:n5zfirakcbge7nbmpo6qxlb6d4
Constraint Sets for Topology-changing Finite Element Models
[article]
2007
Workshop on Virtual Reality Interactions and Physical Simulations
In combination with a Finite Element model for elasto-plastic objects and a geometric constraint approach, con- straint sets are applied to simulate the merging and breaking of conforming and non-conforming ...
Using constraint sets, data structure updates in case of topology changes are simple and efficient. ...
Only a few authors have dealt with the merging of meshes in dynamic simulations. [BWHT07] presents a merging approach in the context of visco-plastic flow. ...
doi:10.2312/pe/vriphys/vriphys07/021-026
dblp:conf/vriphys/GisslerBT07
fatcat:ee2cryaiobaevhqyirzkb6upui
Interactive generation of integrated schemas
2008
Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08
Furthermore, we avoid a full enumeration, by allowing users to specify constraints on the merging process, based on the schemas produced so far. ...
For every pair of matching concepts, we have two choices: merge them into one integrated concept or keep them as separate concepts. ...
Hernández, Howard Ho and Wang-Chiew Tan for their continuous suggestions and comments on this work, and also to Zack Ives for providing us with the schemas and mappings for the GUS-BioSQL scenario. ...
doi:10.1145/1376616.1376700
dblp:conf/sigmod/ChiticariuKP08
fatcat:s3edpirfzvfsbkkvroik2rdjpy
Merging Relational Views: A Minimization Approach
[chapter]
2011
Lecture Notes in Computer Science
Third, source integrity constraints can be seamlessly incorporated into reasoning. ...
Our work builds upon previous approaches that address relational view integration using logical mapping constraints. ...
With such an expressive language, we are able to make use of not only query containment constraints, but also query equivalence constraints and integrity constraints (ICs) shipped with the input schemas ...
doi:10.1007/978-3-642-24606-7_28
fatcat:3r7bqyz725c6zj6rbcc3u3ffp4
Semi-Automatic Schema Integration in Clio
2007
Very Large Data Bases Conference
Concept Extraction: The first step of our integration method is to recast each source schema, with its constraints and nesting, into a higher-level concept hierarchy (with no constraints or nesting). ...
For example, the user can enforce a pair of matching concepts to be always merged or never merged (e.g., "merge dept with org", or "do not merge dept with address"). ...
dblp:conf/vldb/ChiticariuHPK07
fatcat:7hfuv4jpd5eg5bote7ib2yklfa
A General Approach to the Generation of Conceptual Model Transformations
[chapter]
2005
Lecture Notes in Computer Science
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and produces as an output ...
a single integrated schema. ...
Proceeding to integrate S rel 12 with S rel 3 , during merge, the first step is analogous to 6 . ...
doi:10.1007/11431855_23
fatcat:35qt3oqgj5fe7lkhx2ijfrf2za
Automatic generation of mediated schemas through reasoning over data dependencies
2011
2011 IEEE 27th International Conference on Data Engineering
Mediated schemas lie at the center of the well recognized data integration architecture. ...
We generate mediated schemas by merging multiple source schemas interrelated by tuple-generating dependencies (tgds). ...
Consider n source schemas S 1 , S 2 , . . . , S n with no two relations sharing the same name. Each source schema S i has a set of integrity constraints Σ i as a union of tgds and egds. ...
doi:10.1109/icde.2011.5767913
dblp:conf/icde/LiQKGG11
fatcat:kbk7bgb56rcx5k2o6unheo7ice
Semantic Management: Application of Ontologies for the Integration of Management Information Models
[chapter]
2003
Integrated Network Management VIII
These mappings, usually carried out with syntactical translations, can reach the semantic level by using ontologies. ...
This article shows the advantages of using formal ontology techniques to improve the integration of current network management models. ...
Application of Ontologies for Integration of Management Information Models 133
Figure 2 . 2 Merging CIM and HostResources with an ontology toolWith this approach, a manager can use the merged ontology ...
doi:10.1007/978-0-387-35674-7_17
fatcat:hioi3gry6rg5pdxa7vxkglfgqq
Two Approaches to Merging Knowledge Bases
[chapter]
2004
Lecture Notes in Computer Science
In both cases, we consider the incorporation of entailment-based and consistency-based integrity constraints. ...
Properties of these operators are investigated, primarily by comparing their properties with postulates that have been identified previously in the literature. ...
Postulates (IC1)-(IC6), with tautologous integrity constraints, correspond to basic merging, without integrity constraints, in [11] . ...
doi:10.1007/978-3-540-30227-8_36
fatcat:rmqlgypmvvfw3hm7irvcapcpza
Automatic schema merging using mapping constraints among incomplete sources
2010
Proceedings of the 19th ACM international conference on Information and knowledge management - CIKM '10
In this paper, we present a novel approach for merging multiple relational data sources related by a collection of mapping constraints in the form of P2P style tuple-generating dependencies (tgds). ...
Classical data integration systems rely on a mediated schema created by human experts through an intensive design process. ...
We first state the problem of n-ary schema merging in Section 3.1, where the inter-schema mapping constraints and source integrity constraints are unified. ...
doi:10.1145/1871437.1871479
dblp:conf/cikm/LiQKG10
fatcat:kn2vw6ryaveb7fh3f3ozvvcrtu
A consistency-based framework for merging knowledge bases
2007
Journal of Applied Logic
As well, we investigate the role of entailment-based and consistency-based integrity constraints, the interrelationships between these approaches and belief revision, and the expression of further merging ...
This approach then accords with one's intuitions as to what a "merge" operator should do. The second approach is more akin to a generalised belief revision operator. ...
Postulates (IC1)-(IC6), with tautologous integrity constraints, correspond to basic merging without integrity constraints in [1] . ...
doi:10.1016/j.jal.2006.03.005
fatcat:g5ik3saspzellnhtx5jpbhu7iu
A New Approach for Semantic Integrity Constraints Representation in Enhanced Entity-Relationship and Relational Database Schemas
2016
International Journal of Database Theory and Application
SEER and SRD are extensions of Enhanced Entity Relationship (EER) and Relational Database (RD) diagrams respectively that are based on dealing with Semantic Integrity Constraints. ...
EER and RD do not take semantic constraints in matter. A lots of information are lost because of the shortage of documentations. ...
[14] introduced an overview for these constraints and integrity control. Many researches were presented to deal with integrity constraints such as [15] [16] [17] . ...
doi:10.14257/ijdta.2016.9.2.10
fatcat:tap6mkxqafb3pfa7alrtzc3hiy
Towards the integration of security patterns in UML component-based applications
2016
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
The methodology is based on merging techniques and verifications against integration constraints described in OCL language. The paper illustrates the method through a VPN security pattern. ...
They are widely used today to provide architects and designers with reusable design knowledge. ...
Fig. 2 shows the VPN architecture solution as a UML composite structure along with its constraints. ...
dblp:conf/models/MotiiHLB16
fatcat:jcix4jd4wzemtdjxcgaekmcxxa
Belief Merging using Partial Satisfactibility: cases studies
2006
Mexican International Conference on Artificial Intelligence
While in the literature it is required many merging operators in order to get satisfying results for different scenarios our proposal obtains similar results for all these different scenarios with a unique ...
Partial satisfactibility allows us to define modelbased merging operators. ...
We presented a way to include integrity constraints using P S −M erging just by selecting the states among the states which validate the integrity constraints base rather than in W, as in [4] . ...
dblp:conf/micai/ParraM06
fatcat:w3gtuzwkefanjeeilgek5oghj4
The coupling of optimal economic growth and climate dynamics
2006
Climatic Change
In this paper, we study optimal economic growth programs coupled with climate change dynamics. The study is based on models derived from MERGE, a well established integrated assessment model (IAM). ...
We discuss first the introduction in MERGE of a set of "tolerable window" constraints which limit both the temperature change and the rate of temperature change. ...
case the integrated assessment model MERGE). ...
doi:10.1007/s10584-006-9108-4
fatcat:n5gaev2oznhjxaeg77ald5smy4
« Previous
Showing results 1 — 15 out of 285,437 results