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.

Full text not available from this repository.

Official URL: http://ceur-ws.org/Vol-81/wolter-2.pdf

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

Archive Staff Only (login required)

Edit/View Item