CAISE
2008
Springer
14 years 2 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
ICTAI
1996
IEEE
14 years 4 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...