An industrial-strength description logic-based configurator platform

IEEE Intelligent Systems and Their Applications

Volumn 13, Issue 4, 1998, Pages 69-77

  McGuinness, Deborah L ^{a,b,c,d,e,f,g,h}   Wright, Jon R ^a,h,i,j  

^a AT AND T LABS RESEARCH   (United States)

^b Home Information Systems   (United States)

^c Personal Online Services Division   (United States)

^d DUKE UNIVERSITY   (United States)

^e UNIVERSITY OF CALIFORNIA   (United States)

^f RUTGERS UNIVERSITY   (United States)

^g ACM   (United States)

^h AT AND T LABS RESEARCH   (United States)

ⁱ UNIVERSITY OF TULSA   (United States)

^j RICE UNIVERSITY   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; DECISION SUPPORT SYSTEMS; FORMAL LOGIC; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; TELECOMMUNICATION EQUIPMENT;

DESCRIPTION LOGICS; OBJECT ORIENTED MODELING TOOLS;

INFERENCE ENGINES;

EID: 0032119616     PISSN: 10947167     EISSN: None     Source Type: Journal    
DOI: 10.1109/5254.708435     Document Type: Article

References (12)

1. A. Borgida et al., "CLASSIC: A Structural Data Model for Objects," Proc. 1989 ACM SIGMOD Int'l Conf. Management of Data, ACM Press, New York, 1989, pp. 59-67.
2. D.L. McGuinness, Explaining Reasoning in Description Logics, doctoral thesis/Tech. Report LCSR-TR-277, Dept. of Computer Science, Rutgers University, New Brunswick, N.J., 1996.
3. D.L. McGuinnes and A. Borgida, "Explaining Subsumption in Description Logics," Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI-95), AAAI Press, Menlo Park, Calif., pp. 816-821, 1995.
4. N. Rychtyckyj, "DLMS: An Evaluation of KL-ONE in the Automotive Industry," Proc. Fifth Int'l Conf. Principles of Knowledge Representation and Reasoning, 1996, Morgan Kaufmann, San Francisco, pp. 588-596.
5. J.R. Wright et al., "A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems," AI Magazine, Vol. 14, No. 3, 1993, pp. 69-80.
6. D.L. McGuinness, L.A. Resnick, and C. Isbell, "Description Logic in Practice: A CLASSIC Application," Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI-95), AAAI Press, Menlo Park, Calif., pp. 2045-2046, 1995.
7. J. Sowa, Principles of Semantic Networks: Explorations in the Representation of Knowledge. Morgan Kaufmann, San Francisco, 1991.
8. R. Weida, "Closed Terminologies in Description Logics," Proc. AAAI Fall Symp. Series on Configuration, AAAI Press, 1996, pp. 11-18.
9. Y. Gil And E. Melz, "Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition," Proc. 13th Nat'l Conf. Artificial Intelligence, AAAI Press, 1996, pp. 469-476.
10. D.L. McGuinness and J.R. Wright, "Conceptual Modeling for Configuration: A Description Logic-Based Approach," to appear in AI in Engineering, Design and Manufacturing (AIEDAM), Fall 1998.
11. J.I. Berman, H.H. Moore IV, and J.R. Wright, "The CLASSIC and PROSE Stories: Enabling Technologies for Knowledge-Based Systems," AT&T Technical Journal, Vol. 73, No. 1, 1994, pp. 69-80.
12. J.R. Wright et al., "Conceptual Modeling Using Knowledge Representation: Configurator Applications," Proc. Artificial Intelligence in Distributed Information Networks, Proc. Int'l Joint Conf. AI, IJCAI-95, AAAI Press, 1995.