Skip to main content
SpringerLink
Log in

Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason’s Mark Design

  • Conference paper
  • First Online:
Rules and Reasoning (RuleML+RR 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11092))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Davis, R.H.C.: A catalogue of masons’ marks as an aid to architectural history. J. Br. Archaeol. Assoc. 17(1), 43–76 (1954)

    Article  Google Scholar 

  2. Dürst, M.J.: Prolog for structured character description and font design. J. Logic Program. 26(2), 133–146 (1996)

    Article  Google Scholar 

  3. 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

    Chapter  Google Scholar 

  4. Follett, K.: The Pillars of the Earth. Penguin (2010)

    Google Scholar 

  5. Frühwirth, T., Raiser, F.: Constraint handling rules-compilation, execution, and analysis: Large Print Edition. BoD (2018)

    Google Scholar 

  6. Friedrich, K.: Die Steinbearbeitung in ihrer Entwicklung vom 11. bis zum 18. Jahrhundert. Filser, 1932. Reprint Aegis Ulm (1988)

    Google Scholar 

  7. Frühwirth, T.: Temporal reasoning with constraint handling rules. Technical Report ECRC-94-5, European Computer-Industry Research Centre, Munchen, Germany (1994)

    Google Scholar 

  8. Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)

    Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. 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

    Google Scholar 

  11. Frühwirth, T.: The CHR Web Site. Ulm University (2018). http://www.constraint-handling-rules.org

  12. Frühwirth, T.: The computer art of Mason’s mark design. BOD (2018)

    Google Scholar 

  13. Kiiko, V., Matsello, V., Masuch, H., Stanke, G.: Recognition of mason marks images, found on Citeseer (2002)

    Google Scholar 

  14. von Ržiha, F.: Studien über Steinmetz-Zeichen. Kaiserlich-Königliche Hof-und Staatsdruckerei, 1881. Reprint Bau-Verlag (1989)

    Google Scholar 

  15. Tamassia, R.: Handbook of Graph Drawing and Visualization. CRC Press, Boca Raton (2013)

    Google Scholar 

  16. Wielemaker, J., Koninck, L.D., Triska, M., Frühwirth, T.: SWI prolog reference manual 7.1. BOD (2014)

    Google Scholar 

Download references

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

  1. Ulm University, Ulm, Germany

    Thom Frühwirth

Authors
  1. Thom Frühwirth
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thom Frühwirth .

Editor information

Editors and Affiliations

  1. Computer Science, Freie Universität Berlin, Berlin, Germany

    Christoph Benzmüller

  2. University of Calabria, Rende, Italy

    Francesco Ricca

  3. Université du Luxembourg, Esch-sur-Alzette, Luxembourg

    Xavier Parent

  4. SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation