KSL-02-09 + redirect page
Description Logic for Configuration + Has identifier
Description Logic for Configuration + Ksl tr id
Description Logic for Configuration + Number
| Description Logic for Configuration |
Bibtype
techreport
Has publishing details
2002
Has title
Description Logic for Configuration
Has where published
KSL-02-09
Has year
2002
Title
Description Logic for Configuration
Year
2002
Abstract
Description logics are used to solve a wid … Description logics are used to solve a wide variety of problems with configuration applications being some of the largest and longest-lived. There is concrete, commercial evidence that shows that description logic-based configurators have been successfully fielded for over a decade. Additionally, it appears that configuration applications have a number of characteristics that make them well-suited to description logic-based solutions. This chapter will introduce the problem of configuration, describe some requirements of configuration applications that make them candidates for description logic-based solutions, show examples of these requirements in a configuration example, and introduce the largest and longest lived family of description logic-based configurators. of description logic-based configurators.
Author
Deborah L. McGuinness +
Has author
Deborah L. McGuinness +
Has identifier
Description Logic for Configuration +
Institution
In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. +
Ksl tr id
Description Logic for Configuration +
Number
Description Logic for Configuration +
Process note
NO +
Publisher
Cambridge University Press +
Categories KSL Technical Report +, Publication +, Technical Report +
|
