Description

• Tytuł:
  Towards Contingent World Descriptions in Description Logics
• Twórca:
  Badie, Farshad
• Opis:
  The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ‘functional possibility’ and ‘functional necessity’ in DL world descriptions and (ii) logically and terminologically annotate DL world descriptions based on functional contingents. The most significant contributions of this research are the logical characterisation and terminological analysis of functional contingents in DL world descriptions. The ultimate goal is to investigate how modal operators can – logically and terminologically – be expressed within DL world descriptions.
• Dostępność obiektu:
  free access
• Prawa:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Data:
  2019.06.10
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  Logic and Logical Philosophy; Vol. 29 No. 1 (2020): March; 115-141;
  Logic and Logical Philosophy; Tom 29 Nr 1 (2020): March; 115-141;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2019.016/17681
• Temat i słowa kluczowe:
  conditional information;
  contingent interpretation;
  contingent world description;
  description logics;
  functional contingents;
  knowledge representation;
  modality;
  three-valued semantics;
  philosophical logic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2019.016
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text