Pseudo-Random ALC Syntax Generation
Conference paper
First Online:
- 958 Downloads
Abstract
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.
References
- 1.Baader, F., Horrocks, I., Lutz, C., Sattler, U.: Introduction to Description Logic. Cambridge University Press, Cambridge (2017)CrossRefGoogle Scholar
- 2.Hladik, J.: A generator for description logic formulas. In: Horrocks, I., Sattler, U., Wolter, F. (eds.) Proceedings of DL 2005. CEUR-WS (2005). ceur-ws.org
- 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). http://arxiv.org/abs/1106.5261
Copyright information
© Springer Nature Switzerland AG 2018