Knowledge representation and Semantic Web

The ongoing goal of the Semantic Web is to allow computers to analyse and manipulate information in more sophisticated ways through the use of appropriate knowledge representation and reasoning mechanisms. Our research covers fundamental issues arising in logics and theories of cognition as well problems arising in practical systems. We seek to improve human-computer interaction through the development and evaluation of appropriate knowledge representation and reasoning techniques for specific contexts. Current research includes investigation of logics for reasoning with spatial and temporal information, use of ontologies for providing users with more effective ways of searching for information, representing and using knowledge about learners and learning objects, and representing and querying community knowledge.