Verification and Refactoring of Ontologies with Rules.

Joachim Baumeister, Dietmar Seipel

Browse the full EKAW paper archive.