Buddhism Zen Buddhism is divided into two main schools: Rinzai (臨済宗) and Sōtō (曹洞宗), the former greatly favouring the use in meditation on the koan (公案, a meditative riddle or puzzle) as a device for spiritual break-through, and the latter (while certainly employing koans) focusing more on "shikantaza" or "just sitting". Zen Buddhism is primarily found in Japan, with some presence in South Korea and Vietnam. The scholars of Japanese Soto Zen tradition in recent times have critiqued the mainstream Japanese Buddhism for "dhatu-vada", that is assuming things have substantiality, a view they assert to be non-Buddhist and "out of tune
Reasoning system world assumption (OWA). The OWA is often associated with ontological knowledge representation and the Semantic Web. Different systems exhibit a variety of approaches to negation. As well as logical or bitwise complement, systems may support existential forms of strong and weak negation including negation-as-failure and ‘inflationary’ negation (negation of non-ground atoms). Different reasoning systems may support monotonic or non-monotonic reasoning, stratification and other logical techniques. Many reasoning systems provide capabilities for reasoning under uncertainty. This is important when building situated reasoning agents which must deal with uncertain representations of the world. There are several common approaches to handling uncertainty. These