A four-valued semantics for terminological logics (Q1115428): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 02:14, 5 March 2024

scientific article
Language Label Description Also known as
English
A four-valued semantics for terminological logics
scientific article

    Statements

    A four-valued semantics for terminological logics (English)
    0 references
    1989
    0 references
    A certain formal semantics for terminological logics formalizing the notion of frames is proposed. The four-valued semantics considered here includes the possibility to have inconsistent knowledge about some proposition without being totally inconsistent. A detailed discussion concerning the proposed semantics is given in the fourth section of the paper. For concepts and roles in canonical form, Theorem 1 in the fifth section gives a sound and complete characterization of subsumption. Next, an algorithm for subsumption for canonical form concepts and roles is derived from the given characterization. Technical results, mainly the proofs of the asserted properties as soundness and completeness corresponding to the proposed algorithm, are given in Appendix A.
    0 references
    formal semantics
    0 references
    terminological logics
    0 references
    frames
    0 references
    inconsistent knowledge
    0 references
    subsumption
    0 references
    algorithm
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references