An interest group at
University of Manchester, Department of Computer Science.


Mexican woman with red flag.
Our current research interests include Knowledge Representation and Reasoning in Artificial Intelligence, Description Logics, Computational Logics, Temporal Logics, Natural Language Formal Semantics, Formal Ontology, Knowledge Representation for Databases, in particular Conceptual Modeling and Flexible Access to Information.

Interested people
Relevant publications. The Department of Computer Science.
European ESPRIT project DWQ (Foundations of Data Warehouse Quality). CRACK on-line, a knowledge representation system based on description logics.
Pages on Description Logics, Knowledge Representation, Formal Ontology, Artificial Intelligence resources. Our directory of useful resources for researchers.


Please note: We are in the phase of moving the WWW server from IRST to the University of Manchester. Currently, some information may be out of date, and it is possible to find inconsistencies.

spacer image

[Server Road Map] -- [Maintained by]
Last modified: Wed Feb 3 18:03:50 GMT 1999