Use of Formal Ontologies to Support Error Checking in Specifications.

Yannis Kalfoglou, David Stuart Robertson

Browse the full EKAW paper archive.