Major revisions for OWL-DL compliance