Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

@inproceedings{Giacomo1994BoostingTC,
  title={Boosting the Correspondence between Description Logics and Propositional Dynamic Logics},
  author={Giuseppe De Giacomo and Maurizio Lenzerini},
  booktitle={AAAI},
  year={1994}
}
One of the main themes in the area of Terminologi cal Reasoning has been to identify description logics DLs that are both very expressive and decidable A recent paper by Schild showed that this issue can be pro tably addressed by relying on a correspondence between DLs and propositional dynamic logics PDL However Schild left open three important problems related to the translation into PDLs of functional re strictions on roles both direct and inverse number restrictions and assertions on… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
115 Extracted Citations
22 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 115 extracted citations

Similar Papers

Loading similar papers…