General Formal Ontology (GFO) - A Foundational Ontology Integrating Objects and Processes [Version 1.0]
Artificial intelligence: A modern approach