ODB-Tools: a description logics based tool for schema validation and semantic query optimization in Object Oriented Databases