ABox Reasoning with Transitive Roles and Axioms

Sergio Tessaris, Graham Gough, Patrick Lambrix (Editor), Alexander Borgida (Editor), Maurizio Lenzerini (Editor), Ralf Möller (Editor), Peter F Patel-Schneider (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this