54 resultados para Non-reactive diluent
Resumo:
Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina
Resumo:
Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.
Resumo:
Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.
Resumo:
Dissertação apresentada para obtenção do Grau de Doutor em Bioquímica, ramo de Bioquímica-Física, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
Applied Mathematical Modelling, Vol.33
Resumo:
Signal Processing, vol. 86, nº 10
Resumo:
15th IEEE International Conference on Electronics, Circuits and Systems, Malta
Resumo:
Applied Physics B Lasers and Optics, vol.71
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores
Resumo:
Masters Thesis – Academic Year 2007/2008 - European Master’s Degree in Human Rights and Democratization (E.MA) - European Inter-university Centre for Human Rights and Democratization (EIUC) -Faculdade de Direito, Universidade Nova de Lisboa (UNL)
Resumo:
Dissertation presented to obtain a PhD degree in Biochemistry at Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa
Resumo:
Master Erasmus Mundus Crossways in European Humanities
Resumo:
Dissertation presented in fulfilment of the requirements for the Master’s degree in Conservation and Restoration
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Computational Logic
Resumo:
Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História da Arte da Antiguidade