Hazardous wastes include numerous kinds of discarded chemicals and other wastes generated from industrial, commercial, and institutional activities. These types of waste present immediate or long-term risks to humans, animals, plants, or the environment and therefore require special handling for safe disposal. Landfills that can accept hazardous wastes are excavated or engineered sites where th...

One of the approaches for increasing yield and reduction rice production costs is precision agriculture. Complete correct determination nutrition status paddy soils necessary in precise To compare fuzz y Boolean methods mapping nitrogen phosphorus, 370 compound samples were collected from 306 ha Rice Research Institute Rasht County plots with dimension 50 × 100 m. Total available phosphorus con...

The Boolean network is a mathematical model of biological systems, and has attracted much attention as a qualitative tool for analyzing the regulatory system. The stable states and dynamics of Boolean networks are characterized by their attractors, whose properties have been analyzed computationally, yet not much work has been done from the viewpoint of logical inference systems. In this paper,...

This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. In particular, we de ne a sound and complete tableau calculus for the description logic ALBO and show that it provides a basis for decision procedures for this logic and numerous other description logics. ALBO is the extension o...

Qualitative thematic maps are graphic representations of the process of areal differentiation, a process recognized as one of the hallmarks of the geographer’s craft and one of geography’s grand traditions. Traditionally the process can best be described as classification based on Boolean Set Theory wherein the area bounded by the cartographic line is considered to be in that class for the targ...

The water crisis is harmful effects on human life. Also one of the most problems in the human society is water resources management. In this study, site selection of most suitable areas for artificial recharge using Boolean model. Criteria used to select the most suitable area for artificial recharge included: infiltration, slope, aquifer thickness, aquifer quality.  The layers were produced an...

This paper presents a tableau approach for deciding description logics outside the scope of OWL DL/1.1 and current state-of-the-art tableau-based description logic systems. In particular, we de ne a sound and complete tableau calculus for the description logic ALBO and show that it provides a basis for decision procedures for this logic and numerous other description logics with full role negat...