Filters








285,437 Hits in 3.1 sec

Combining Ontology-enriched Domain-Specific Languages

Tobias Walter, Jürgen Ebert
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]

Marc Gissler, Markus Becker, Matthias Teschner
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

Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa
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]

Xiang Li, Christoph Quix
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

Laura Chiticariu, Mauricio A. Hernández, Phokion G. Kolaitis, Lucian Popa
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]

Nikolaos Rizopoulos, Peter Mçbrien
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

Xiang Li, Christoph Quix, David Kensche, Sandra Geisler, Lisong Guo
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]

Jorge E. López Vergara, Víctor A. Villagrá, Julio Berrocal, Juan I. Asensiot, Roney Pignaton
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]

James P. Delgrande, Torsten Schaub
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

Xiang Li, Christoph Quix, David Kensche, Sandra Geisler
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

James P. Delgrande, Torsten Schaub
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

Islam Hassan AlTarawneh
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

Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
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

Pilar Pozos Parra, Verónica Borja Macías
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

Olivier Bahn, Laurent Drouet, Neil R. Edwards, Alain Haurie, Reto Knutti, Socrates Kypreos, Thomas F. Stocker, Jean-Philippe Vial
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