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…

El presente trabajo es la creación de un centro cultural
educativo enológico que sea capaz de brindar excelentes conocimientos en el arte de la producción y consumo del vino. En el cual podrá catar los mejores vinos y también deleitarse…

The purpose of this research was to generate the knowledge required to design compliant mechanisms that (1) attenuate undesired small-motion angular vibrations in rotational power transmission systems and (2) preserve the desired transmission of large-motion torque/angle inputs. This thesis investigates…

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…

Descripción completa.

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…

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…

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…