Laboratory for Computational Ontology.