Ontologies for Integrating Engineering Applications

[+] Author and Article Information
Mihai Ciocoiu, Dana S. Nau

Department of Computer Science and Institute for Systems Research University of Maryland College Park, MD 20742

Michael Gruninger

Institute for Systems Research University of Maryland College Park, MD 20742

J. Comput. Inf. Sci. Eng 1(1), 12-22 (Nov 01, 2000) (11 pages) doi:10.1115/1.1344878 History: Received August 01, 2000; Revised November 01, 2000
Copyright © 2001 by ASME
Your Session has timed out. Please sign back in to continue.


Gruber, T. R., 1993, “Toward Principles of the Design of Ontologies Used for Knowledge Sharing,” in International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, Italy.
Lenat,  D., 1995, “Cyc: A Large-scale Investment in Knowledge Infrastructure,” Commun. ACM, 38, pp. 33–38.
Enderton, H. B., 1972, A Mathematical Introduction to Logic, Academic Press, New York.
Sowa, J. F., 2000, Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing, Pacific Grove, California.
Genesereth, M. R., and Fikes, R. E., 1992, Knowledge Interchange Format Version 3.0 Reference Manual. Technical Report, Logic Group, Stanford University, CA.
Ciocoiu, M. and Nau. D. S., 2000, “Ontology-based Semantics,” in Principles of Knowledge Representation and Reasoning. Proceedings of the Seventh International Conference, Cohn, A. G., Giunchiglia, F., and Selman, B., eds., pp. 539–546, Breckenridge, Colorado, Morgan Kaufmann.
Gruninger,  M., and Fox,  M. S., 1998, “Enterprise Modelling,” AI Magazine,19, pp. 109–121.
Gruninger, M., 1997, “Ontologies for Enterprise Engineering,” Enterprise Engineering and Integration: Building International Consensus.
Gruninger, M., and Pinto, J., 1995, “A Theory of Complex Actions for Enterprise Modelling,” in AA AI Spring Symposium Series 1995: Extending Theories of Action: Formal Theory and Practical Applications, AAAI Press, pp. 71–79.
Fadel, F., Fox, M. S., and Gruninger, M., 1994, “A Generic Enterprise Resource Ontology,” in Proceedings of the Third Workshop on Enabling Technologies—Infrastructures for Collaborative Enterprises, West Virginia University, pp. 86–92.
Tham, D., Fox, M. S., and Gruninger, 1994, “A Cost Ontology for Enterprise Modelling,” in Proceedings of the Third Workshop on Enabling Technologies—Infrastructures for Collaborative Enterprises, West Virginia University, pp. 111–117.
Kim,  H., Fox,  M. S., and Gruninger,  M., 1999, “An Ontology for Quality Management: Enabling Quality Problem Identification and Tracing,” BT Technol. J.,17, No. 4, pp. 215–231.
Fox,  M. S., Barbuceanu,  M., and Gruninger,  M., 1995, “An Organization Ontology for Enterprise Modelling: Preliminary Concepts for Linking Structure and Behavior,” Comput. Industry,29, pp. 123–134.
Lin,  J., Fox,  M. S., and Bilgic,  T., 1996, “A Requirements Ontology for Concurrent Engineering,” Conc. Eng.: Res. Appl.,4, pp. 279–291.
Gruninger, M., Atefi, K., and Fox, M. S., 2000, “Ontologies to support process integration in enterprise engineering,” Computational and Mathematical Organization Theory.
Clocksin, W., and Mellish, C., 1981, Programming in PROLOG, Springer-Verlag.
Uschold,  M., King,  M., Moralee,  S., and Zorgios,  Y., 1998, “The Enterprise Ontology,” Knowledge Eng. Rev.,13, pp. 47–76.
Fillion, F., and Menzel, C., 1995, “An Ontology-based Environment for Enterprise Model Integration,” in IJCAI Workshop on Basic Ontological issues in Knowledge Sharing.
Inc. Knowledge Based Systems, IDEF0 Overview. http://www.idef.com/idef0.html.
Inc. Knowledge Based Systems, IDEF1x Overview. http://wwww.idef.com/idef1x.html.
Lee,  J., Gruninger,  Y. M., Jin,  T., Malone,  T., Tate,  A., and Yost,  G. A., 1998, “The pif Process Interchange Format and Framework,” Knowledge Eng. Rev.,2, pp. 1–30.
Polyak, S. Lee, J. Gruninger, M., and Menzel, C., 1998, “Applying the Process Interchange Format (pif) to a Supply Chain Process Interoperability Scenario,” in European Conference on Artificial Intelligence, Wiley, New York, pp. 247–253.
Schlenoff, C., Knutilla, A., and Ray, S., 1996, Unified Process Specification Language: Requirements for Modeling Process,” Technical Report NISTIR 5910, National Institute of Standards and Technology, Gaithersburg, MD.
Gruninger, M., Schlenoff, C., and Knutilla, A., 1997, “Using Process Requirement as the Basis for the Creation and Evaluation of Process Ontologies for Enterprise Modeling,” ACM SIGGROUP Bulletin Special Issue on Enterprise Modelling, 18 , No. 3.
Schlenoff, C., Gruninger, M., and Ciocoiu, M., 1999, “The Essence of Process Specification,” submitted, by invitation, to the Special Issue on Modeling and Simulation of Manufacturing Systems for the Society for Computer Simulation International.
Mayer, R. J., Menzel, C. P., Painter, M. K., de Witte, P. S., Blinn, T. and Perakath, B., 1995, Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report, Technical Report, Knowledge Based Systems Inc., KBSI-IICE-90-STR-01-065922-02.
ILOG Scheduler 4.3 1998, Reference Manual, June.
Schlenoff, C., Ciocoiu, M., Libes, D., and Gruninger, M. 1999, “Process Specification Language: Results of the First Pilot Implementation,” in Proceedings of the International Mechanical Engineering Congress and Exposition (IMECE).
McKay, K. N., and Moore, J. B., 1991, Intelligent Manufacturing management, State of the Art Scheduling Survey 06-23-91, Technical Report R-91-IMM-01, CAM-I (Consortium for Advanced Manufacturing International).
Knowledge Based Systems Inc., 1995, Foundations for Product Realization Process Knowledge Sharing, Technical Report, U.S. Department of Commerce, NOAA contract No. 50-DKNB-7-90095.
Ciocoiu, M., 1998, Translating IDEF3 to PSL, Technical Report, University of Maryland, Computer Science Technical Report, CS-TR-3950.
Graham, P., 1969, ANSI Common Lisp, Prentice Hall, Englewood Cliffs, NJ.
W3C, Extensible Markup Language (XML), 1.0. http://www.w3.org/TR/REC-xml/.
e-STEEL: the Steel Commerce Solution, http://www.e-steel.com/home.shtml.
Workflow Management Coalition, http://www.aiim.org/wfmc/.
Public Petroleum Data Model Association, http://www.ppdm.org/.
Biztalk, http://www.biztalk.org/.


Grahic Jump Location
Information exchange among subsystems for concurrent engineering
Grahic Jump Location
A common ontology drastically reduces the number of translators needed
Grahic Jump Location
In this example, interoperability cannot be achieved simply by sharing terminology, because the term “resource” has different meanings in each application. Interoperability will require translation to be based on explicit definitions of the terms.
Grahic Jump Location
Part (a) is a taxonomic hierarchy of some of the categories 4 from an early version of Cyc. Part (b) shows a possible set of axioms one might use to represent this taxonomic hierarchy.
Grahic Jump Location
By explicitly providing definitions, the terminology of one application can be mapped to the terminology of the other application so that semantics are preserved
Grahic Jump Location
The KIF axioms from PSL-Core that axiomatize intuitions about time
Grahic Jump Location
An example translation from IDEF3 to ILOG using PSL



Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In