Download:
|
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
|