| Deborah L. McGuinness and Lori Alperin Resnick. Description-logic based configuration for consumers. In Proceedings of DL-95, 4th International Workshop on Description Logics, pages 109--111, Roma, Italy, 1995. |
.... to recast them in terms of mathematical logic, resulting in what are now called description logics (DLs) see e.g. 2] These have turned out to be one of the success stories of AI, to the point that AT T relies on their inference engine to process billions of dollars worth of customers orders [25], and that they are now popular among computer scientists as diverse as database theorists [10] and factory floor software en3 gineers [13] Although the history and underlying motivations of IR are profoundly di#erent from those of AI, we think that IR too would benefit from the application of ....
Deborah L. McGuinness and Lori Alperin Resnick. Description-logic based configuration for consumers. In Proceedings of DL-95, 4th International Workshop on Description Logics, pages 109--111, Roma, Italy, 1995.
....in terms of a description logic and a specific method for testing satisfiability of description logic terms based on a semantics given for Bhibs expressions. 2. 1 Defining the Configuration Space Similar to other many other configuration systems (e.g. those based on CLASSIC [ Borgida et al. 1989, McGuiness Resnick 1995, McGuiness et al. 1995 ] Plakon s as well as Konwerk s approach to configuration of technical devices is a model based one. The main idea of the configuration methodology of both systems is to use a conceptual model to describe the space of possible configurations of the devices in a certain ....
....logic and a specific method for testing satisfiability of description logic terms based on a semantics given for Bhibs expressions. 2. 1 Defining the Configuration Space Similar to other many other configuration systems (e.g. those based on CLASSIC [ Borgida et al. 1989, McGuiness Resnick 1995, McGuiness et al. 1995 ] Plakon s as well as Konwerk s approach to configuration of technical devices is a model based one. The main idea of the configuration methodology of both systems is to use a conceptual model to describe the space of possible configurations of the devices in a certain domain. For defining ....
Deborah McGuiness, Lori Alperin Resnick. Description Logic-based Configuration for Consumers. In: Proc. DL-95, 1995, pp. 109--111.
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