Towards Contingent World Descriptions in Description Logics
Sign Up to like & getrecommendations! Published in 2019 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2019.016
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.… read more here.
Keywords: functional contingents; towards contingent; world; contingent world ... See more keywords