15. A system for performing a query in a large data set, the system comprising: a server having access to a database stored in a memory, the database storing an ontology; a graphing component configured for generating a semantically restricted relation graph from the ontology, wherein the semantically restricted relation graph is stored in the memory and wherein the semantically restricted relation graph includes semantically restricted relations among individuals and semantically restricted relations among concepts, and wherein at least some semantically equivalent individuals in a same concept and some semantically equivalent individuals in different concepts in the ontology are excluded from the semantically restricted relation graph; and a query component that interfaces with the semantically restricted relation graph, wherein the query component transforms the query into a set of consistency checking problems that are performed on the semantically restricted relation graph to generate results of the query.
16. The system of claim 15 , wherein at least some axioms and other individuals are excluded from the semantically restricted relation graph.