The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

Ensuring flexible and efficient manufacturing of customized products in an increasing dynamic and turbulent environment without sacrificing cost effectiveness, product quality and on-time delivery has become a key issue for most industrial enterprises. A promising approach to cope with this…

This essay is based on a previous “regression” testing knowledge, black box testing and user graphic interfaces testing. Besides, due to the fact that the testing life cycle is inside the software life cycle, the suggested focus promotes existing test…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

Las trampas adhesivas reducen el tiempo de trabajo y el operador sólo tiene que cambiarlas y llevar a cabo el recuento de insectos muertos. Pueden esperarse diferencias en los recuentos entre los operadores debido a un factor personal o "actitud"…

This paper aims to clarify an economic mechanism behind the growing dichotomy between geo-economics and the borderless global knowledge economy. The proposed hypothesis is that geo-economic fault-lines, which are the product of the past prejudices of racial, linguistic, and cultural…

Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…

The general objective of this thesis is the development of an adaptive technique for extracting knowledge in large databases. Nowadays, technology allows storing huge volumes of information. For this reason, the availability of techniques that allow, as a first stage,…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

Searching for information in databases or on the world wide web to enhance our knowledge has become an everyday task. The internet is a major source of information for education. When we want to make new material available in digital…