Abstract | ||
---|---|---|
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics as a modeling language. In particular, it addresses the extensions concerning: concrete domain constraints; modal, epistemic, and temporal operators; probabilities and fuzzy logic; and defaults.On the other hand, it considers non-standard inference problems for Description Logics, i.e., inference problems that - unlike subsumption or instance checking - are not available in all systems, but have turned out to be useful in applications. In particular, it addresses the non-standard inference problems: least common subsumer and most specific concept; unification and matching of concepts; and rewriting. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1017/CBO9780511711787.008 | Description Logic Handbook |
Keywords | Field | DocType |
fuzzy logic,common subsumer,non-standard inference problem,description logic,instance checking,specific concept,concrete domain constraint,inference problem,modeling language,basic framework,description logics | T-norm fuzzy logics,Logical consequence,Negation normal form,Accessibility relation,Inference,Unification,Description logic,Algorithm,Theoretical computer science,Modal logic,Mathematics | Conference |
ISBN | Citations | PageRank |
0-521-78176-0 | 19 | 1.39 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franz Baader | 1 | 8123 | 646.64 |
Ralf Küsters | 2 | 1014 | 69.62 |
Frank Wolter | 3 | 4454 | 266.99 |