Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design

05/22/2018
by   Thom Fruehwirth, et al.
0

We are developing a rule-based implementation of a tool to analyse and generate graphs. It is currently used in the domain of mason's marks. For thousands of years, stonemasons have been inscribing these symbolic signs on dressed stone. Geometrically, mason's marks are line drawings. They consist of a pattern of straight lines, sometimes circles and arcs. We represent mason's marks by connected planar graphs. Our prototype tool for analysis and generation of graphs is written in the rule-based declarative language Constraint Handling Rules. It features - a vertex-centric logical graph representation as constraints, - derivation of properties and statistics from graphs, - recognition of (sub)graphs and patterns in a graph, - automatic generation of graphs from given constrained subgraphs, - drawing graphs by visualization using svg graphics. In particular, we started to use the tool to classify and to invent mason's marks. In principe, our tool can be applied to any problem domain that admits a modeling as graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/26/2018

Compact Drawings of 1-Planar Graphs with Right-Angle Crossings and Few Bends

We study the following classes of beyond-planar graphs: 1-planar, IC-pla...
research
03/11/2021

Upward Planar Drawings with Three and More Slopes

We study upward planar straight-line drawings that use only a constant n...
research
03/10/2020

Drawing Graphs with Circular Arcs and Right-Angle Crossings

In a RAC drawing of a graph, vertices are represented by points in the p...
research
06/24/2017

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introd...
research
08/23/2021

Rewrite Rule Inference Using Equality Saturation

Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
research
01/31/2022

POTATO: exPlainable infOrmation exTrAcTion framewOrk

We present POTATO, a task- and languageindependent framework for human-i...
research
03/24/2020

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3

In the semantics of stochastic rewriting systems (SRSs) based on rule al...

Please sign up or login with your details

Forgot password? Click here to reset