论文信息 - Pseudo-Random ALC Syntax Generation

Pseudo-Random ALC Syntax Generation

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.

Pascal Hitzler | Michelle Cheatham | Aaron Eberhart

[1] Ian Horrocks,et al. An Introduction to Description Logic , 2017 .

[2] Peter F. Patel-Schneider,et al. A New General Method to Generate Random Modal Formulae for Testing Decision Procedures , 2003, J. Artif. Intell. Res..

[3] Daniele Nardi,et al. An Introduction to Description Logics , 2003, Description Logic Handbook.

[4] Jan Hladik. A Generator for Description Logic Formulas , 2005, Description Logics.