Search papers, labs, and topics across Lattice.
To address the inability of standard semantic triples to represent nuanced non-positive knowledge, this work formalizes three distinct modes of negation鈥攃ontradictory, opposite, and intermediary鈥攊nto an extended data structure termed the TCOI triple. Grounded in $SCOI$ set theory and $L_{COI}+PL_{COI}$ logic, the framework permits these negations to operate independently over individual elements (subject, predicate, object) or across the entire triple. The authors operationalize this representation by defining a continuous-valued truth algorithm for TCOI implication reasoning and validating its utility in modeling counterfactual assertions.
Standard semantic triples collapse all negative knowledge into a single binary absence, blinding structured representations to the critical distinctions between contradictory, opposite, and intermediary states required for counterfactual reasoning.
In various data models, the classical triple is a typical semantic data model. However, due to the design of the triple as a simple structure for representing positive assertions, it cannot sufficiently express different forms of negation present in the triple and its elements. This paper conceptually proposes that there are three distinct forms of negation within triples and their elements: contradictory negation, opposite negation and intermediary negation. Based on the the set SCOI and the logic LCOI+PLCOI with three kinds of negation, we propose an extension of triple that can distinguish and express these three different negations in the triple and its elements, called the TCOI triple with contradictory negation, opposite negation and intermediary negation. The TCOI triple is a semantic and structural extension of the classical triple. While retaining the ability to express positive assertions, it systematically introduces the three semantic dimensions of three negations, allowing these negations to independently act on the elements of the triple and on the whole triple. This significantly enhances the triple model capability to represent and reasoning about complex negative information. This paper also explores the expressive power and reasoning of the TCOI triple, as well as the application of TCOI triple implication reasoning in counterfactuals and counterfactual reasoning. We propose a truth-value (continuous value) algorithm for TCOI triple implication reasoning and perform its calculation through an example of the counterfactuals and counterfactual reasoning.
