Nonmonotonic Description Logic Programs: Implementation and Experiments.

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

Browse the full LPAR paper archive.