Open Access. Powered by Scholars. Published by Universities.®

Operations Research, Systems Engineering and Industrial Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Series

Computer Sciences

2010

Knowledge management

Articles 1 - 1 of 1

Full-Text Articles in Operations Research, Systems Engineering and Industrial Engineering

Improved Knowledge Management Through First-Order Logic In Engineering Design Ontologies, Paul Witherell, Sundar Krishnamurty, Ian R. Grosse, Jack C. Wileden May 2010

Improved Knowledge Management Through First-Order Logic In Engineering Design Ontologies, Paul Witherell, Sundar Krishnamurty, Ian R. Grosse, Jack C. Wileden

Center for e-Design Publications

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 ...