Results 1  10
of
25
GrGen: A fast SPObased graph rewriting tool
 GRAPH TRANSFORMATIONS  ICGT 2006. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER (2006) 383 – 397
, 2006
"... Graph rewriting is a powerful technique that requires graph pattern matching, which is an NPcomplete problem. We present GrGen, a generative programming system for graph rewriting, which applies heuristic optimizations. According to Varró’s benchmark it is at least one order of magnitude faster th ..."
Abstract

Cited by 29 (7 self)
 Add to MetaCart
Graph rewriting is a powerful technique that requires graph pattern matching, which is an NPcomplete problem. We present GrGen, a generative programming system for graph rewriting, which applies heuristic optimizations. According to Varró’s benchmark it is at least one order of magnitude faster than any other tool known to us. Our graph rewriting tool implements the wellfounded singlepushout approach. We define the notion of search plans to represent different matching strategies and equip these search plans with a cost model, taking the present host graph into account. The task of selecting a good search plan is then viewed as an optimization problem. For the ease of use, GrGen features an expressive specification language and generates program code with a convenient interface.
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
 JOUR. OF ARTIF. INTELL. RES
, 2002
"... Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon $owa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon $owa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules.
Graphical Definition of InPlace Transformations in the Eclipse Modeling Framework
 MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, LECTURE NOTES IN COMPUTER SCIENCE 4199
, 2006
"... The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Although EMF provides basic operations for modifying EMF based models, a framework for graphical definition of rulebased modification of EMF models is sti ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Although EMF provides basic operations for modifying EMF based models, a framework for graphical definition of rulebased modification of EMF models is still missing. In this paper we present a framework for inplace EMF model transformation based on graph transformation. Transformations are visually defined by rules on object patterns typed over an EMF core model. Defined transformation systems can be compiled to Java code building up on generated EMF classes. As running example different refactoring methods for Ecore models are considered.
Constrained Path Finding in Biochemical Networks
 IN 5ÈMES JOURNÉES OUVERTES BIOLOGIE INFORMATIQUE MATHÉMATIQUES
, 2004
"... The analysis of biochemical networks is mainly done using relational or procedural languages. Combining ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
The analysis of biochemical networks is mainly done using relational or procedural languages. Combining
An Optimization Technique for Subgraph Matching Strategies
, 2006
"... Subgraph matching (aka graph pattern matching or the subgraph isomorphism problem) is NPcomplete. But in practice subgraph matching should be performed in reasonable time if possible. In this work a heuristically optimizing approach to subgraph matching on labeled graphs is described. It relies on ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Subgraph matching (aka graph pattern matching or the subgraph isomorphism problem) is NPcomplete. But in practice subgraph matching should be performed in reasonable time if possible. In this work a heuristically optimizing approach to subgraph matching on labeled graphs is described. It relies on the fact that the runtime of the matching process can vary significantly for different matching strategies. The finding of a good matching strategy is stated as an optimization problem which is solved heuristically. The cost model for the possible matching strategies takes the structure of the present host graph into account. The necessary information can be obtained by an analysis of the host graph. 1
Querying Semistructured Data Based On Schema Matching
, 2000
"... Most of today's data is still stored in les rather than in databases. This fact has become even more evident with the growth of the World Wide Web in the 1990s. Because of that observation, the research area of semistructured data has evolved. Semistructured data is typically stored in document ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Most of today's data is still stored in les rather than in databases. This fact has become even more evident with the growth of the World Wide Web in the 1990s. Because of that observation, the research area of semistructured data has evolved. Semistructured data is typically stored in documents and has an irregular, partial, and implicit structure. The thesis presents a new framework for querying semistructured data. Traditional database management requires design and ensures declarativity. The possibilities to design are limited in the field of semistructured data, thus, a more flexible approach is needed. We argue that semistructured data should be represented by a set of partial schemata rather than by one complete schema. Because of irregularities of the data, a complete schema would be very large and not representative. Instead, partial schemata can serve as good representations of parts of the data. While finding a complete schema turns out to be difficult, a database designer may be able to provide partial schemata for the database. Also, partial schemata can be extracted from user queries if the query language is designed appropriately. We suggest to split the notion of query into a "What" and a "How"part. Partial schemata represent the "What"part. They cover semantically richer concepts than database schemata traditionally do. Among these concepts are predicates, variable definitions, and path descriptions. Schemata can be used for query optimization, but they also give users hints on the content of the database. Finding the occurrences (matches) of such a schema forms the most important part of query execution. All queries of our approach, such as the focus query or the transformation query, are based on this matching. Query execution can be optimized using kn...
Filtering for Subgraph Isomorphism
, 2007
"... A subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a filtering algorithm dedicated to this problem. The main idea is to label every node with respect to its relationships with other nodes of the graph, and to d ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
A subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a filtering algorithm dedicated to this problem. The main idea is to label every node with respect to its relationships with other nodes of the graph, and to define a partial order on these labels in order to express compatibility of labels for subgraph isomorphism. This partial order over labels is used to filter domains. Labelings can also be strengthened by adding information from the labels of the neighbors. Such a strengthening can be applied iteratively until a fixpoint is reached. Practical experiments illustrate that our new filtering approach is more effective on difficult instances of scale free graphs than stateoftheart algorithms and other CP approaches.
Symmetry Breaking in Subgraph Pattern Matching
 In proccedings of the Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon’06
, 2006
"... Graph pattern matching, a central application in many fields, can be modelled as a CSP. This CSP approach can be competitive with dedicated algorithms. In this paper, we develop symmetry breaking techniques for subgraph matching in order to increase the number of tractable instances. Specific detect ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Graph pattern matching, a central application in many fields, can be modelled as a CSP. This CSP approach can be competitive with dedicated algorithms. In this paper, we develop symmetry breaking techniques for subgraph matching in order to increase the number of tractable instances. Specific detection techniques are first developed for the classical variables symmetries and value symmetries. It is also shown how these symmetries can be broken when solving subgraph matching. We also show how conditional value symmetries can be automatically detected and handled in the search process. Then, the concept of local value symmetries is introduced; it is shown how these symmetries can be computed and exploited. Finally, experimental results show that symmetry breaking is an effective way to increase the number of tractable instances of the subgraph matching problem. 1
The graph grammar library  a generic framework for chemical graph rewrite systems
 Theory and Practice of Model Transformations, Proc. of ICMT 2013, volume 7909 of LNCS
, 2013
"... Abstract. Graph rewrite systems are powerful tools to model and study complex problems in various fields of research. Their successful application to chemical reaction modelling on a molecular level was shown but no appropriate and simple system is available at the moment. The presented Graph Gramma ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Abstract. Graph rewrite systems are powerful tools to model and study complex problems in various fields of research. Their successful application to chemical reaction modelling on a molecular level was shown but no appropriate and simple system is available at the moment. The presented Graph Grammar Library (GGL) implements a generic Double Push Out approach for general graph rewrite systems. The framework focuses on a high level of modularity as well as high performance, using stateoftheart algorithms and data structures, and comes with extensive documentation. The large GGL chemistry module enables extensive and detailed studies of chemical systems. It well meets the requirements and abilities envisioned by Yadav et al. (2004) for such chemical rewrite systems. Here, molecules are represented as undirected labeled graphs while chemical reactions are described by according graph grammar rules. Beside the graph transformation, the GGL offers advanced cheminformatics algorithms for instance to estimate energies ofmolecules or aromaticity perception. These features are illustrated using a set of reactions from polyketide chemistry a huge class of natural compounds of medical relevance. The graph grammar based simulation of chemical reactions offered by the GGL is a powerful tool for extensive cheminformatics studies on a molecular level. The GGL already provides rewrite rules for all enzymes listed in the KEGG LIGAND database is freely available at
Automatic Generation of Dungeons for Computer Games
, 2002
"... The genre of dungeon games, or firstperson shooter games as they are more commonly known, has emerged over the last ten years to become one of the most popular types of computer game. At present, the levels in this type of game are generated manually, which is a very expensive and timeconsuming p ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The genre of dungeon games, or firstperson shooter games as they are more commonly known, has emerged over the last ten years to become one of the most popular types of computer game. At present, the levels in this type of game are generated manually, which is a very expensive and timeconsuming process for games