title: description logics for semantic query optimization in object-oriented database systems. authors: d beneventano , s bergamaschi , c sartori. venue: acm trans . database syst .. year: 2003
title: a logical semantics for object-oriented databases. authors: j meseguer. venue: nan. year: nan