Search
Now showing items 1-2 of 2
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Glimm, Birte; Steigmiller, Andreas; Liebig, Thorsten (2014)
Bericht
Nominal schema absorption
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten (2014)
Bericht