F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Framework for the reliable generation and control of analysis idealization
Computer Methods in Applied Mechanics and Engineering
Proceedings of the international workshop on Expert systems in engineering : Principles and applications: Principles and applications
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Knowledge-Based Assistance for Finite-Element Modeling
IEEE Expert: Intelligent Systems and Their Applications
Design Repositories: Engineering Design's New Knowledge Base
IEEE Intelligent Systems
Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Ontologies for supporting engineering analysis models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology-Based project management for acceleration of innovation projects
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
AIERO: An algorithm for identifying engineering relationships in ontologies
Advanced Engineering Informatics
A semantic knowledge management system for laminated composites
Advanced Engineering Informatics
A formal ontology for a generalized inventive design methodology
Applied Ontology
Hi-index | 0.00 |
This paper presents the use of first-order logic to improve upon currently employed engineering design knowledge management techniques. Specifically, this work uses description logic in unison with Horn logic, to not only guide the knowledge acquisition process but also to offer much needed support in decision making during the engineering design process in a distributed environment. The knowledge management methods introduced are highlighted by the ability to identify modeling knowledge inconsistencies through the recognition of model characteristic limitations, such as those imposed by model idealizations. The adopted implementation languages include the Semantic Web Rule Language, which enables Horn-like rules to be applied to an ontological knowledge base and the Semantic Web's native Web Ontology Language. As part of this work, an ontological tool, OPTEAM, was developed to capture key aspects of the design process through a set of design-related ontologies and to serve as an application platform for facilitating the engineering design process. The design, analysis, and optimization of a classical I-beam problem are presented as a test-bed case study to illustrate the capabilities of these ontologies in OPTEAM. A second, more extensive test-bed example based on an industry-supplied medical device design problem is also introduced. Results indicate that well-defined, networked relationships within an ontological knowledge base can ultimately lead to a refined design process, with guidance provided by the identification of infeasible solutions and the introduction of “best-case” alternatives. These case studies also show how the application of first-order logic to engineering design improves the knowledge acquisition, knowledge management, and knowledge validation processes.