Description logics with inverse roles, functional restrictions, and n-ary relations

DMCA

Description logics with inverse roles, functional restrictions, and n-ary relations (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Maurizio Lenzerini

Venue:	In Proceedings of the 4th European Workshop on Logics in Arti cial Intelligence, LNAI 838
Citations:	16 - 10 self

BibTeX

@INPROCEEDINGS{Lenzerini94descriptionlogics,
    author = {Maurizio Lenzerini},
    title = {Description logics with inverse roles, functional restrictions, and n-ary relations},
    booktitle = {In Proceedings of the 4th European Workshop on Logics in Arti cial Intelligence, LNAI 838},
    year = {1994},
    pages = {332--346},
    publisher = {Springer-Verlag}
}

OpenURL

Abstract

Abstract. Description Logics (DLs) are used in Arti cial Intelligence to represent knowledge in terms of objects grouped into classes, and o er structuring mechanisms for both characterizing the relevant properties of classes in terms of binary relations, and establishing several interdependencies among classes. One of the main themes in the area of DLs has been to identify DLs that are both very expressive and decidable. This issue can be pro tably addressed by relying on a correspondence between DLs and propositional dynamic logics (PDLs). In this paper, we exploit the correspondence as a framework to investigate the decidability and the complexity ofapowerful DL, in which functional restrictions on both atomic roles and their inverse are expressible. We then show that such DL is suitable to represent n-ary relations, as needed in the applications of class-based formalisms to databases. The PDL that we use in this work is a proper extension of Converse Deterministic PDL, and its decidability and complexity is established contextually. 1

Keyphrases

n-ary relation description logic functional restriction inverse role proper extension arti cial intelligence complexity ofapowerful dl converse deterministic pdl binary relation propositional dynamic logic atomic role main theme several interdependency relevant property class-based formalism

DMCA