Fuzzy Description Logics (DLs) generalize crisp ones by providing membership degree semantics for concepts and roles. A popular technique for reasoning in fuzzy DL ontologies is by providing a reduction to crisp DLs and then employ reasoning in the crisp DL. In this paper we adopt this approach to solve conjunctive query (CQ) answering problems for fuzzy DLs. We give reductions for Gödel, and Ł...

This study describes application of some approximate reasoning methods to analysis of hydrocyclone performance. In this manner, using a combining of Self Organizing Map (SOM), Neuro-Fuzzy Inference System (NFIS)-SONFISand Rough Set Theory (RST)-SORST-crisp and fuzzy granules are obtained. Balancing of crisp granules and non-crisp granules can be implemented in close-open iteration. Using differ...

This paper describes the use of weighted linked pyramid algorithms to achieve soft segmentation of images. A fundamental problem of region segmentation is that for many images no unique, correct region boundaries can be determined. In this situation the normal desire for a deenitive crisp segmentation may be unreasonable. It is proposed that soft segmentation is a more natural way to segment di...

The time has come to introduce ourselves as Editors-in-Chief of Cadernos de Saúde Pública/Reports in Public Health (CSP). The Director of the Sergio Arouca National School of Public Health at the Oswaldo Cruz Foundation (ENSP/Fiocruz) has honored us with the invitation to occupy this joint position. First, we wish to express our heartfelt recognition for the work of Carlos Coimbra Jr., whose le...

We use a combination of three techniques for the specification of processes, data and time: CSP, Object-Z and Duration Calculus. Whereas the combination of CSP and Object-Z is well established by the work of C. Fischer [2, 3], the integration with Duration Calculus is new. The combination is used to specify parts of a novel case study on radio controlled railway crossings.