16. The system of claim 15 , wherein each partition is a sub-ontology of the ontology.
15. A system for processing ontologies, comprising: a data store having stored therein an ontology that includes a plurality of triples represented as vectors in a matrix; a plurality of reasoners, each of said reasoners operable to reason a partition of said ontology; and at least one processor operable to partition the ontology into a plurality of partitions by at least partitioning the matrix into block form, distribute the partitions among the plurality of reasoners, direct the reasoners to reason the partitions, and combine results from the reasoners.