Automated Reasoning Support for Ontology Development.

Megan Katsumi, Michael Grninger

Browse the full IC3K paper archive.