An Introduction to Description Logics (chapter 2 of DLHB) What Are Description Logics? A family of logic based Knowledge Representation formalisms Descendants of ...
... resolve spatio-temporal and granularity conflicts? ... stc is a spatio-temporal constraint consisting of a civil location and ... hold several properties: ...