The state of the art in ontology design: A survey and comparative review
Cyc: toward programs with common sense