Baader, F. (1996). AFormal Denition for the ExpressivePower of Terminological Knowledge Representation Languages. Journal of Logic and Computation, 6 (1), 33-54.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
What's in an Attribute? - Consequences for the Least Common.. - Küsters, Borgida (2001) (Correct)
....size. Interestingly, it is possible to decide in polynomial time if the lcs exists. 1. Introduction Knowledge representation systems based on Description Logics (DLs) have been the subject of continued attention in Arti cial Intelligence, both as a subject of theoretical studies (Borgida, 1994; Baader, 1996; Baader Sattler, 2000; Giacomo Lenzerini, 1996; Calvanese, Giacomo, Lenzerini, 1999b) and in applications (Artale, Franconi, Guarino, Pazzi, 1996; Brachman, McGuinness, Patel Schneider, Borgida, 1999; McGuinness Patel Schneider, 1998) More impressively, DLs have found applications in ....
Baader, F. (1996). AFormal Denition for the ExpressivePower of Terminological Knowledge Representation Languages. Journal of Logic and Computation, 6 (1), 33-54.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC