Towards Contingent World Descriptions in Description Logics

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Resumé

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.
OriginalsprogEngelsk
TidsskriftLogic and Logical Philosophy
Vol/bind29
Udgave nummer1
ISSN1425-3305
DOI
StatusUdgivet - mar. 2020

Fingerprint

Contingent
Description Logics
Logic
Modal Operators
Modal Logic
Formal Analysis

Citer dette

@article{5cd2d0c4e5e34e8ca696f6ae758c9731,
title = "Towards Contingent World Descriptions in Description Logics",
abstract = "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.",
author = "Farshad Badie",
year = "2020",
month = "3",
doi = "http://dx.doi.org/10.12775/LLP.2019.016",
language = "English",
volume = "29",
journal = "Logic and Logical Philosophy",
issn = "1425-3305",
publisher = "Nicolaus Copernicus University",
number = "1",

}

Towards Contingent World Descriptions in Description Logics. / Badie, Farshad.

I: Logic and Logical Philosophy, Bind 29, Nr. 1, 03.2020.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Towards Contingent World Descriptions in Description Logics

AU - Badie, Farshad

PY - 2020/3

Y1 - 2020/3

N2 - 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.

AB - 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.

U2 - http://dx.doi.org/10.12775/LLP.2019.016

DO - http://dx.doi.org/10.12775/LLP.2019.016

M3 - Journal article

VL - 29

JO - Logic and Logical Philosophy

JF - Logic and Logical Philosophy

SN - 1425-3305

IS - 1

ER -