Pseudo-Random ALC Syntax Generation

  • Aaron EberhartEmail author
  • Michelle Cheatham
  • Pascal Hitzler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11155)


We discuss a tool capable of rapidly generating pseudo-random syntactically valid ALC expression trees [1]. The program is meant to allow a researcher to create large sets of independently valid expressions with a minimum of personal bias for experimentation.


  1. 1.
    Baader, F., Horrocks, I., Lutz, C., Sattler, U.: Introduction to Description Logic. Cambridge University Press, Cambridge (2017)CrossRefGoogle Scholar
  2. 2.
    Hladik, J.: A generator for description logic formulas. In: Horrocks, I., Sattler, U., Wolter, F. (eds.) Proceedings of DL 2005. CEUR-WS (2005).
  3. 3.
    Patel-Schneider, P.F., Sebastiani, R.: A new general method to generate random modal formulae for testing decision procedures. CoRR abs/1106.5261 (2011).

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Aaron Eberhart
    • 1
    Email author
  • Michelle Cheatham
    • 1
  • Pascal Hitzler
    • 1
  1. 1.DaSe LabWright State UniversityDaytonUSA

Personalised recommendations