LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles. Sign Up to like articles & get recommendations!

Towards Contingent World Descriptions in Description Logics

Photo by pedroj_conesa from unsplash

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’… Click to show full 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.

Keywords: functional contingents; towards contingent; world; contingent world; world descriptions; description logics

Journal Title: Logic and Logical Philosophy
Year Published: 2019

Link to full text (if available)


Share on Social Media:                               Sign Up to like & get
recommendations!

Related content

More Information              News              Social Media              Video              Recommended



                Click one of the above tabs to view related content.