................................................................................................................................... i ACKNOWLEDGMENTS ........................................................................................................... iv VITA.......................................................................................................................................

......................................................................................................................... ii Dedication ..................................................................................................................... iv Acknowledgments ...........................................................................................................v Vita .............

............................................................................................ii Dedication..........................................................................................iv Acknowledgments.................................................................................v Vita....................................................................................................

.............................................................................................................................. ii Acknowledgments.............................................................................................................. vi Vita.................................................................................................................................... v...

............................................................................................................................. iii Dedication .......................................................................................................................... iv Acknowledgments............................................................................................................... v V...

.............................................................................................................................. ii Acknowledgments.............................................................................................................. iv Vita ........................................................................................................................................

....................................................................................... Dedication ..................................................................................... Acknowledgments ............................................................................ Vita ............................................................................................. List of Tables ........

...........................................................................................................................ii Dedication ........................................................................................................................iv Acknowledgments............................................................................................................v Vita...........

We propose a novel technique for proving the consistency of large, complex and heterogeneous theories for which ‘standard’ automated reasoning methods are considered insufficient. In particular, we exemplify the applicability of the method by establishing the consistency of the foundational ontology DOLCE, a large, first-order ontology. The approach we advocate constructs a global model for a t...