Oppositeness refers to the paradigmatic relationship of two words holding the contrast meanings. The fact that linguistic opposite differs from logical contrast has been discussed in theories, but has not been tested in practice. In this paper, we investigate three main subtypes of Chinese oppositeness, via using logical tests of negation and double-negation. Result shows that purely logical te...

The chapter by Rose draws a sketch of negation in Mojeño Trinitario, an underdescribed South Arawak language spoken in Amazonian Bolivia, and discusses its interaction with irrealis. It starts with presenting the different negation markers and constructions used for each negation type: sentential negation (including the expression of apprehensive, and negation in subordinate clauses), free form...

Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed. The SLDNF approach of only allowing ground negative subgoals to execute is very restrictive in constraint logic programming where most variables appearing in a derivation never become ground. By describing a scheme for constructive negation in constrain...

Classical Description Logics (DLs) [2] cannot properly deal with the endemic imprecision of biomedical knowledge. For example, the current version of the SNOMEDCT ontology defines a “Perinatal Cyanotic Attack” as a cardiovascular disorder occurring in the perinatal period and manifested through cyanosis. This definition depends on two vague notions, namely the perinatal period—the period of tim...