3 results
Contributors
-
- By Aakash Agarwala, Linda S. Aglio, Rae M. Allain, Paul D. Allen, Houman Amirfarzan, Yasodananda Kumar Areti, Amit Asopa, Edwin G. Avery, Patricia R. Bachiller, Angela M. Bader, Rana Badr, Sibinka Bajic, David J. Baker, Sheila R. Barnett, Rena Beckerly, Lorenzo Berra, Walter Bethune, Sascha S. Beutler, Tarun Bhalla, Edward A. Bittner, Jonathan D. Bloom, Alina V. Bodas, Lina M. Bolanos-Diaz, Ruma R. Bose, Jan Boublik, John P. Broadnax, Jason C. Brookman, Meredith R. Brooks, Roland Brusseau, Ethan O. Bryson, Linda A. Bulich, Kenji Butterfield, William R. Camann, Denise M. Chan, Theresa S. Chang, Jonathan E. Charnin, Mark Chrostowski, Fred Cobey, Adam B. Collins, Mercedes A. Concepcion, Christopher W. Connor, Bronwyn Cooper, Jeffrey B. Cooper, Martha Cordoba-Amorocho, Stephen B. Corn, Darin J. Correll, Gregory J. Crosby, Lisa J. Crossley, Deborah J. Culley, Tomas Cvrk, Michael N. D'Ambra, Michael Decker, Daniel F. Dedrick, Mark Dershwitz, Francis X. Dillon, Pradeep Dinakar, Alimorad G. Djalali, D. John Doyle, Lambertus Drop, Ian F. Dunn, Theodore E. Dushane, Sunil Eappen, Thomas Edrich, Jesse M. Ehrenfeld, Jason M. Erlich, Lucinda L. Everett, Elliott S. Farber, Khaldoun Faris, Eddy M. Feliz, Massimo Ferrigno, Richard S. Field, Michael G. Fitzsimons, Hugh L. Flanagan Jr., Vladimir Formanek, Amanda A. Fox, John A. Fox, Gyorgy Frendl, Tanja S. Frey, Samuel M. Galvagno Jr., Edward R. Garcia, Jonathan D. Gates, Cosmin Gauran, Brian J. Gelfand, Simon Gelman, Alexander C. Gerhart, Peter Gerner, Omid Ghalambor, Christopher J. Gilligan, Christian D. Gonzalez, Noah E. Gordon, William B. Gormley, Thomas J. Graetz, Wendy L. Gross, Amit Gupta, James P. Hardy, Seetharaman Hariharan, Miriam Harnett, Philip M. Hartigan, Joaquim M. Havens, Bishr Haydar, Stephen O. Heard, James L. Helstrom, David L. Hepner, McCallum R. Hoyt, Robert N. Jamison, Karinne Jervis, Stephanie B. Jones, Swaminathan Karthik, Richard M. Kaufman, Shubjeet Kaur, Lee A. Kearse Jr., John C. Keel, Scott D. Kelley, Albert H. Kim, Amy L. Kim, Grace Y. Kim, Robert J. Klickovich, Robert M. Knapp, Bhavani S. Kodali, Rahul Koka, Alina Lazar, Laura H. Leduc, Stanley Leeson, Lisa R. Leffert, Scott A. LeGrand, Patricio Leyton, J. Lance Lichtor, John Lin, Alvaro A. Macias, Karan Madan, Sohail K. Mahboobi, Devi Mahendran, Christine Mai, Sayeed Malek, S. Rao Mallampati, Thomas J. Mancuso, Ramon Martin, Matthew C. Martinez, J. A. Jeevendra Martyn, Kai Matthes, Tommaso Mauri, Mary Ellen McCann, Shannon S. McKenna, Dennis J. McNicholl, Abdel-Kader Mehio, Thor C. Milland, Tonya L. K. Miller, John D. Mitchell, K. Annette Mizuguchi, Naila Moghul, David R. Moss, Ross J. Musumeci, Naveen Nathan, Ju-Mei Ng, Liem C. Nguyen, Ervant Nishanian, Martina Nowak, Ala Nozari, Michael Nurok, Arti Ori, Rafael A. Ortega, Amy J. Ortman, David Oxman, Arvind Palanisamy, Carlo Pancaro, Lisbeth Lopez Pappas, Benjamin Parish, Samuel Park, Deborah S. Pederson, Beverly K. Philip, James H. Philip, Silvia Pivi, Stephen D. Pratt, Douglas E. Raines, Stephen L. Ratcliff, James P. Rathmell, J. Taylor Reed, Elizabeth M. Rickerson, Selwyn O. Rogers Jr., Thomas M. Romanelli, William H. Rosenblatt, Carl E. Rosow, Edgar L. Ross, J. Victor Ryckman, Mônica M. Sá Rêgo, Nicholas Sadovnikoff, Warren S. Sandberg, Annette Y. Schure, B. Scott Segal, Navil F. Sethna, Swapneel K. Shah, Shaheen F. Shaikh, Fred E. Shapiro, Torin D. Shear, Prem S. Shekar, Stanton K. Shernan, Naomi Shimizu, Douglas C. Shook, Kamal K. Sikka, Pankaj K. Sikka, David A. Silver, Jeffrey H. Silverstein, Emily A. Singer, Ken Solt, Spiro G. Spanakis, Wolfgang Steudel, Matthias Stopfkuchen-Evans, Michael P. Storey, Gary R. Strichartz, Balachundhar Subramaniam, Wariya Sukhupragarn, John Summers, Shine Sun, Eswar Sundar, Sugantha Sundar, Neelakantan Sunder, Faraz Syed, Usha B. Tedrow, Nelson L. Thaemert, George P. Topulos, Lawrence C. Tsen, Richard D. Urman, Charles A. Vacanti, Francis X. Vacanti, Joshua C. Vacanti, Assia Valovska, Ivan T. Valovski, Mary Ann Vann, Susan Vassallo, Anasuya Vasudevan, Kamen V. Vlassakov, Gian Paolo Volpato, Essi M. Vulli, J. Matthias Walz, Jingping Wang, James F. Watkins, Maxwell Weinmann, Sharon L. Wetherall, Mallory Williams, Sarah H. Wiser, Zhiling Xiong, Warren M. Zapol, Jie Zhou
- Edited by Charles Vacanti, Scott Segal, Pankaj Sikka, Richard Urman
-
- Book:
- Essential Clinical Anesthesia
- Published online:
- 05 January 2012
- Print publication:
- 11 July 2011, pp xv-xxviii
-
- Chapter
- Export citation
Improved knowledge management through first-order logic in engineering design ontologies
- Paul Witherell, Sundar Krishnamurty, Ian R. Grosse, Jack C. Wileden
-
- Article
- Export citation
-
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.
Ontologies for supporting engineering analysis models
- IAN R. GROSSE, JOHN M. MILTON–BENOIT, JACK C. WILEDEN
-
- Article
- Export citation
-
In this paper we lay the foundations for exchanging, adapting, and interoperating engineering analysis models (EAMs). Our primary foundation is based upon the concept that engineering analysis models are knowledge-based abstractions of physical systems, and therefore knowledge sharing is the key to exchanging, adapting, and interoperating EAMs within or across organizations. To enable robust knowledge sharing, we propose a formal set of ontologies for classifying analysis modeling knowledge. To this end, the fundamental concepts that form the basis of all engineering analysis models are identified, described, and typed for implementation into a computational environment. This generic engineering analysis modeling ontology is extended to include distinct analysis subclasses. We discuss extension of the generic engineering analysis modeling class for two common analysis subclasses: continuum-based finite element models and lumped parameter or discrete analysis models. To illustrate how formal ontologies of engineering analysis modeling knowledge might facilitate knowledge exchange and improve reuse, adaptability, and interoperability of analysis models, we have developed a prototype engineering analysis modeling knowledge base, called ON-TEAM, based on our proposed ontologies. An industrial application is used to instantiate the ON-TEAM knowledge base and illustrate how such a system might improve the ability of organizations to efficiently exchange, adapt, and interoperate analysis models within a computer-based engineering environment. We have chosen Java as our implementation language for ON-TEAM so that we can fully exploit object-oriented technology, such as object inspection and the use of metaclasses and metaobjects, to operate on the knowledge base to perform a variety of tasks, such as knowledge inspection, editing, maintenance, model diagnosis, customized report generation of analysis models, model selection, automated customization of the knowledge interface based on the user expertise level, and interoperability assessment of distinct analysis models.