Reasoning about concepts and similarity
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: | School of Business, Economics & Informatics > Computer Science and Information Systems |
Depositing User: | Sarah Hall |
Date Deposited: | 01 Nov 2021 13:53 |
Last Modified: | 01 Nov 2021 13:54 |
URI: | https://eprints.bbk.ac.uk/id/eprint/46557 |
Statistics
Additional statistics are available via IRStats2.