Abstract
We are developing a rule-based implementation of a tool to analyse and generate graphs. It is 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 scalable vector graphics.
In particular, we started to use the tool to classify and to invent mason’s marks. In principle, our tool can be applied to any problem domain that admits a modeling as graphs. The drawing and generation module of our tool is available online at (http://chr.informatik.uni-ulm.de/mason).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Davis, R.H.C.: A catalogue of masons’ marks as an aid to architectural history. J. Br. Archaeol. Assoc. 17(1), 43–76 (1954)
Dürst, M.J.: Prolog for structured character description and font design. J. Logic Program. 26(2), 133–146 (1996)
Frühwirth, T., Brisset, P.: Optimal placement of base stations in wireless indoor telecommunication. In: Maher, M., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 476–480. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49481-2_47
Follett, K.: The Pillars of the Earth. Penguin (2010)
Frühwirth, T., Raiser, F.: Constraint handling rules-compilation, execution, and analysis: Large Print Edition. BoD (2018)
Friedrich, K.: Die Steinbearbeitung in ihrer Entwicklung vom 11. bis zum 18. Jahrhundert. Filser, 1932. Reprint Aegis Ulm (1988)
Frühwirth, T.: Temporal reasoning with constraint handling rules. Technical Report ECRC-94-5, European Computer-Industry Research Centre, Munchen, Germany (1994)
Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)
Frühwirth, T.: Constraint handling rules - what else? In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 13–34. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21542-6_2
Frühwirth, T.: A rule-based tool for analysis and generation of graphs applied to Mason’s Marks - extended abstract. In: Workshop on Logic and Practice of Programming (LPoP 2018), July 2018
Frühwirth, T.: The CHR Web Site. Ulm University (2018). http://www.constraint-handling-rules.org
Frühwirth, T.: The computer art of Mason’s mark design. BOD (2018)
Kiiko, V., Matsello, V., Masuch, H., Stanke, G.: Recognition of mason marks images, found on Citeseer (2002)
von Ržiha, F.: Studien über Steinmetz-Zeichen. Kaiserlich-Königliche Hof-und Staatsdruckerei, 1881. Reprint Bau-Verlag (1989)
Tamassia, R.: Handbook of Graph Drawing and Visualization. CRC Press, Boca Raton (2013)
Wielemaker, J., Koninck, L.D., Triska, M., Frühwirth, T.: SWI prolog reference manual 7.1. BOD (2014)
Acknowledgements
We thank Daniel Gall for providing the web interface for our tool. We thank the anonymous reviewers for their helpful suggestions on how to improve the paper, including detailed corrections of typos and commas.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Frühwirth, T. (2018). Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason’s Mark Design. In: Benzmüller, C., Ricca, F., Parent, X., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2018. Lecture Notes in Computer Science(), vol 11092. Springer, Cham. https://doi.org/10.1007/978-3-319-99906-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-99906-7_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99905-0
Online ISBN: 978-3-319-99906-7
eBook Packages: Computer ScienceComputer Science (R0)