On the Decidability of Description Logics with Modal Operators

Sorry, there's nothing here.

Cite this paper

@inproceedings{Wolter1998OnTD, title={On the Decidability of Description Logics with Modal Operators}, author={Frank Wolter and Michael Zakharyaschev}, booktitle={KR}, year={1998} }