Terminological logics for schema design and query processing inOODBs