MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Mary likes all cats (2000) [15 citations — 4 self]

Download:
Download as a PDF | Download as a PS
by Carsten Lutz, Ulrike Sattler
In Proceedings of the International Workshop on Description Logics
http://www-lti.informatik.rwth-aachen.de/~clu/papers/archive/dl2000a.ps.gz
Add To MetaCart

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

Citations

234 Practical reasoning for expressive description logics – Horrocks, Sattler, et al. - 1999
219 A Correspondence Theory for Terminological Logics: Preliminary Report – Schild - 1991
187 The undecidability of the domino problem – Berger - 1966
177 The Classical Decision Problem – Borger, Graedel, et al.
167 Automata Theoretic Techniques for Modal Logics of Programs – Vardi, Wolper - 1986
115 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Baader - 1991
112 Complexity of Modal Logics – Spaan - 1993
95 The Art of Computer Programming, volume 1 – Knuth - 1973
70 An essay in combinatory dynamic logic – Passy, Tinchev - 1991
55 Decidability of Class-Based Knowledge Representation Formalisms – Giacomo - 1995
45 Issues of decidability for description logics in the framework of resolution – Hustadt, Schmidt - 2000
37 On the Decision Problem for Two-Variable FirstOrder Logic. Bulletin of Symbolic Logic – Gradel, Kolaitis, et al. - 1997
35 Modal environment for Boolean speculations – Gargov, Passy, et al. - 1987
30 Inaccessible worlds. Notre Dame – Humberstone - 1983
24 Natural language based inference procedures applied to schubert's steamroller – Givan, McAllester, et al. - 1991
23 The complexity of reasoning with boolean modal logics – Lutz, Sattler - 2000
19 Conjunctive query containment in description logics with n-ary relations – Calvanese, Giacomo, et al. - 1997
6 On the relative expressivness of description logics and predicate logics – Borgida - 1996