I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we...

Research on complementizer selection has shown that the presence of a negative particle in subordinate complement clause influences choice, leading to relatively higher proportion finite complementation patterns by increasing complexity syntactic environment. Studies have also different types negation, namely not - and no -negation, increase tendency towards more explicit options (Rohdenburg 20...

In Danish the base position of the negation and negated quantifier phrases is between the subject and the finite verb in embedded clauses. However, in embedded clauses introduced by a non-veridical complementizer such as hvis (‘if’) or om (‘whether’) the negation and negated quantifier phrases can also appear between the complementizer and the subject. This phenomenon is referred to as preposed...

Constructive negation in intuitionistic logic (called strong negation [7]) can be used to directly represent negative assertions, and for which its semantics [8, 1] is defined in Kripke models by two satisfaction relations (|= P and |= N ). However, the interpretation and satisfaction based on the conventional semantics do not fit in with the definition of negation in knowledge representation w...

Linguistic research has clearly shown that natural languages exhibit different forms of negation. Foremost among these are sentence negation and predicate negation. In this study, the relationship between both will be discussed. In particular, it wiu be argued that we can give an accurate description of the logical connections between sentence negation and predicate negation by reference to the...

The aim of this paper is to propose f-structure representations of two different types of negation: constituent negation and eventuality negation. In particular, the paper substantiates a suggestion recently made within the PARGRAM community that two binary-valued attributes are needed. We also show that, while the distinction between constituent and eventuality negation is often treated as epi...

In this paper we present a machine learning system that finds the scope of negation in biomedical texts. The system consists of two memory-based engines, one that decides if the tokens in a sentence are negation signals, and another that finds the full scope of the negation signals. Our approach to negation detection differs in two main aspects from existing research. First, we focus on finding...

In [10], several constructive description logics were proposed as intuitionistic variants of description logics, in which classical negation was replaced by strong negation as a component to treat negative atomic information. For conceptual representation, not only strong negation but also combining it with classical negation seems to be useful and necessary due to their respective features cor...

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its ne...