{"type":"ScholarlyArticle","title":"A Correspondence Theory for Terminological Logics: Preliminary Report","authors":[{"name":"Klaus Schild","slug":"klaus-schild","given":"Klaus","family":"Schild","affiliation":""}],"abstract":"We show that the terminological logic A.CC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)· To demonstrate the utility of the correspondence, we give two of its immediate by-products. Namely , we axiomatize A.CC and give a simple proof that subsumption in A.CC is PSPACE-complete, replacing the original six-page one. Furthermore, we consider an extension of A.CC additionally containing both the identity role and the composition, union, transitive-reflexive closure, rang e restriction, and inverse of roles. It turns out that this language, called T S.C , is a notational variant of the propositional dynamic logic converse-PDL. Using this correspondence, we prove that it suffices to consider finite T S.Cmodels, show that T S.C-subsumption is decidable, and obtain an axiomatization ofT S.C. By discovering that features correspond to deterministic programs in dynamic logic, we show that adding them to T S.C preserves decidability, although violates its finite model property. Additionally, we describe an algorithm for deciding the coherence of inverse-free T S.Cconcepts with features. Finally, we prove that universal implications can be expressed within TS.C .","doi":null,"url":"https://ijcai.org/proceedings/1991/70","pdf":"https://ijcai.org/proceedings/1991/0070.pdf","markdown":"https://ijcai.org/proceedings/1991/70.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/70","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":70,"pages":{"first":466,"last":470},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}