Towards the Verification of Ontologies with Rules.

Joachim Baumeister, Thomas Kleemann, Dietmar Seipel

Browse the full FlAIRS paper archive.