Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) Reasoning about concepts and similarity. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.
Abstract
Suppose you want to use description logics (DLs) to develop an ontology of description logics. Such an ontology should contain information about standard DLs such as FL0, ALC, and ALCQO, description logics extended with temporal, epistemic, and dynamic operators, the computational complexity of DLs, known decision procedures, applications, publications, relevant workshops and conferences, and so on.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 01 Nov 2021 13:53 |
| Last Modified: | 09 Aug 2023 12:52 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/46557 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
