CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Explaining reasoning in description logics
Explaining reasoning in description logics
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Explicit representations of problem-solving strategies to support knowledge acquisition
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A model of multimedia information retrieval
Journal of the ACM (JACM)
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Automotive Product Documentation
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Supporting Product Configuration in a Virtual Store
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Decomposing and Distributing Configuration Problems
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
The description logic handbook
Decomposition strategies for configuration problems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A description logic-based configurator on the web
ACM SIGART Bulletin
An effective customization procedure with configurable standard models
Decision Support Systems
Reasoning on UML class diagrams
Artificial Intelligence
Kumbang: A domain ontology for modelling variability in software product families
Advanced Engineering Informatics
Hybrid Logics and Ontology Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Optimizing customer's selection for configurable product in B2C e-commerce application
Computers in Industry
Flexible planning using fuzzy description logics: Theory and application
Applied Soft Computing
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning on UML class diagrams
Artificial Intelligence
An effective customization procedure with configurable standard models
Decision Support Systems
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Non-standard inferences in description logics
Non-standard inferences in description logics
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
WeCoTin --A practical logic-based sales configurator
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |
Modern telecommunications equipment is highly modular and can scale to a wide range of applications. Usually, the equipment's cost and complexity requires that it be manufactured-to-order, or at least assembled-to-order. In this context, orders double as specifications, describing what should be manufactured as well as how the product should be installed. Producing a correct and complete order for such equipment can be challenging when requirements are incomplete, inconsistent, or when the final product is large and complicated. A good order is technically correct and meets customer requirements for network capacity and growth without over-engineering. Incomplete configurations can lead to cost overruns if the missing elements are discovered during manufacturing. If they are not, faulty products can result. Either way, the customers are unhappy.We have tackled the configuration problem for a number of large telecommunications products sold by AT&T and Lucent Technologies. Our Prose configurators are based on Classic, a description-logics-based knowledge-representation system developed at AT&T Bell Laboratories. Classic is freely available for academic purposes, and commercially available for other purposes, at http://www.research.att.com/sw/tools/classic. AT&T has distributed Classic to more than 100 universities; it is also in use for internal projects at AT&T, Lucent, and NCR. Implementations are available in LISP, C++, and C.Classic is part of a description-logic family that was developed with the goal of balancing usability, expressivity, and complexity. We have found it to be well suited to our configurator needs. Because it attempts to provide predictable performance in all cases, Classic is less expressive than many description-logic systems, but it has been widely used in both industrial applications and academic systems. Some of our configurators have been in use since 1990. They have processed more than $4 billion in orders and have many documented many benefits, including reduced order processing time, reduced staffing, and product-knowledge consistency checking.