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…

Information systems play an ever-increasing key role in our society. In particular, data intensive applications are in constant demand and there is need of computing environments with much more intelligent capabilities than those present in today’s Data-base Management Systems (DBMS).…

In this paper a methodology for accesing scientific data repositories on data grids is proposed. This methodology is based on ontology specification and knowledge representation. The concept of Knowledge Perspective is introduced, as the action of applying particular scientific conjectures…

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…

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

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…

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…

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…

Collaborative systems are becoming a widely used tool particularly among professional communities and research groups. They provide a suitable context for distributed people working on the same subject to concentrate their work in a shared place to which everyone has…