Foundations for Description Logics with Tuples and Sets

@inproceedings{Giacomo1995FoundationsFD,
  title={Foundations for Description Logics with Tuples and Sets},
  author={Giuseppe De Giacomo and Maurizio Lenzerini},
  year={1995}
}
Based on the research done in the last decade attempts have been made to propose descrip tion logics as unifying formalisms for the var ious class based representation languages used in di erent areas These attempts have made apparent that sound complete and decidable description logics still su er from several lim itations regarding modeling classes of… CONTINUE READING