Mary likes all cats
| Author(s) : | Ulrike Sattler Carsten Lutz, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | Most Description Logics (DLs) provide universal value restrictions which allow to make universal statements about domain objects. For example, we can express that an object, say Mary, likes only cats by asserting that Mary is an instance, |