BrandonBennett Spatial Reasoning with Propositional Logics Morgan Kaufmann 51–62 1994 ThomasR.Gruber GregoryR.Olsen An Ontology for Engineering Mathematics. Morgan Kaufmann 258-269 1994