When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

This thesis is based on the premise that small nations face unique challenges in the quest for economic prosperity. They have a small domestic economy and are more dependent than larger economies on international trade. Smallness typically entails a lack…

The lack of effective data integration and knowledge representation in patient monitoring limits its utility to clinicians. Intelligent alarm algorithms that use artificial intelligence techniques have the potential to reduce false alarm rates and to improve data integration and knowledge…

Yes or no is perhaps the most common answer we provide each day. Indeed, binary answers to well structured questions are the building blocks of our knowledge. I started my research career in drafting such answers in various circumstances within…

The collaboration of researchers in different fields, institutions, and nations continues to be important as new ideas and solutions result from the combination of different knowledge and experiences. The Cambridge MIT Institute (CMI) Online Project Assessment System(OPAS) aims to collect…

The use of concepts underlies the most basic cognitive processes. Consequently, psychologists have long been interested in understanding the behavioral and neural correlates of conceptual knowledge and its manipulation. This has led to a rich set of research results that…

This thesis presents research about the potential business impacts of the Semantic Web. The concept of the Semantic Web is an expansion of the Web for computers, enabling them to comprehend the meaning of information. In addition, Semantic Web Services…

Heavily used in the manufacture of integrated circuits, chemical-mechanical polishing (CMP) is becoming an enabling technology for microelectromechanical systems (MEMS). To reliably use CMP in the manufacturing process, designers must be able to accurately predict the CMP process and control…

The aim of this study was to analyse the interaction between game actions in high-level handball and verbal behaviour performed by the coach. For this purpose, a match of the 1st National Division of male Spanish handball was analysed. The…