从ALC到SHOQ(D):描述逻辑及其Tableau算法

[1] An Overview of Tableau Algorithms for Description Logics [J]. Studia Logica, 2001, 69 (1) : 5 - 40

[2] Attributive concept descriptions with complements .2 Schmidt-Schauμ M,Smolka G. Artificial Intelligence . 1991

[3] Description logics with transitive roles .2 Horrocks I,Gough G. Proc. of DL‘97 . 1997

[4] Relationships between nondeterministic and deterministic tape complexities .2 Savitch,W.J. Journal of Computer and System Sciences . 1970

[1] An Overview of Tableau Algorithms for Description Logics [J]. Studia Logica, 2001, 69 (1) : 5 - 40

[2] Attributive concept descriptions with complements .2 Schmidt-Schauμ M,Smolka G. Artificial Intelligence . 1991

[3] Description logics with transitive roles .2 Horrocks I,Gough G. Proc. of DL‘97 . 1997

[4] Relationships between nondeterministic and deterministic tape complexities .2 Savitch,W.J. Journal of Computer and System Sciences . 1970