Satis ability problem in description logics with modal operatorsFrank

  title={Satis ability problem in description logics with modal operatorsFrank},
  author={WolterInstitut f ur InformatikUniversit at LeipzigAugustus - Platz},
  • WolterInstitut f ur InformatikUniversit at LeipzigAugustus - Platz
  • Published 1998
The paper considers the standard concept description language ALC augmented with various kinds of modal operators which can be applied to concepts and axioms. The main aim is to develop methods of proving decidability of the satis ability problem for this language and apply them to description logics with most important temporal and epistemic operators, thereby obtaining satis ability checking algorithms for these logics. We deal with the possible world semantics under the constant domain… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 25 references

Fusions of Modal Logics Revisited

Advances in Modal Logic • 1996
View 1 Excerpt

Temporal logic

J. van Benthem
D. Gab- • 1996
View 2 Excerpts

Transfer theorems for

K. Fine, G. Schurz

Transfer theorems for strati ed modal logics

J. Copeland
Logic and Reality , Essays in Pure and Applied Logic . In memory of Arthur Prior • 1996

Terminological logics with modal operators

H. J. Ohlbach
Proceedings of the 14 th International Joint Conference on Arti cial Intelligence • 1995
View 2 Excerpts

Similar Papers

Loading similar papers…