1. A computer-implemented method of processing an ontology, comprising: storing data in an ontology; partitioning the ontology into a plurality of partitions; distributing the partitions among a plurality of reasoner instances; directing the reasoner instances to reason the partitions; and combining results from the reasoner instances.