publications

refereed journal articles:

Gruninger, M., Shapiro, S., Fox, M.S., and Weppner, H. (2009) Combining RFID with Ontologies to Create Smart Objects, to appear in International Journal of Production Research.

Hahmann, T., Gruninger, M. and Winter, M. (2009) Stonian p-Ortholattices: A new approach to the mereotopology RT0, Journal of Artificial Intelligence 173:1424-1440.

Dartigues, C., Ghodous, P., Grüninger, M., Pallez, D., Sriram, R. CAD/CAPP Integration using Feature Ontology, Concurrent Engineering, 15:237-249.

Young, R., Gunendran, A.G., Cutting-Decelle, A.F., Grüninger, M. (2006) Manufacturing knowledge sharing in PLM: a progression towards the use of heavy weight ontologies, International Journal of Production Research 45, no.7, pp. 1505-1519.

Grüninger, M. and Kopena, J. (2004) Semantic Integration through Invariants, AI Magazine, 26:11-20. (An earlier version of this paper appeared in Workshop on Semantic Integration, International Semantic Web Conference, Sanibel Island, Florida.)

Bock, C. and Grüninger, M. (2004) PSL: A semantic domain for flow models, Software and Systems Modeling.

Uschold, M. and Grüninger, M. (2004) Ontologies and Semantics for Seamless Connectivity, SIGMOD Record 33:58-64.

Cheng, J., Grüninger, M., Sriram, R., and Law, K. (2003) Process Specification Language for project scheduling information exchange, International Journal of IT in Architecture, Engineering and Construction, 1:307-328.

Grüninger, M. and Menzel, C. (2003) Process Specification Language: Principles and Applications, AI Magazine, 24:63-74.

Jones, A., Ivezic, N., and Grüninger, M. (2001) Toward self-integrating software applications for supply chain management, Information System Frontiers, 3:403-412.

Ciocoiu, M., Grüninger M., and Nau, D. (2001) Ontologies for integrating engineering applications, Journal of Computing and Information Science in Engineering, 1:45-60.

Grüninger, M., Atefi, K., and Fox, M.S., (2000) Ontologies to support process integration in enterprise engineering, Computational and Mathematical Organization Theory, 6:381-394.

Schlenoff, C., Grüninger, M., Ciocoiu, M., (1999) The Essence of the Process Specification Language, Transactions of the Society for Computer Simulation vol.16 no.4 (December 1999) pages 204-216.

Kim, H.M., Fox, M.S., and Grüninger, M. (1999) An Ontology for Quality Management: Enabling Quality Problem Identification and Tracing, BT Technology Journal, Kluwer, Netherlands, Vol. 17, No. 4, October, 1999.

Grüninger, M., and Fox, M.S., (1998), Enterprise Modelling, AI Magazine, 19:109-121 (Fall 1998), AAAI Press.

Lee, J., Grüninger, M., Jin, Y., Malone, T., Tate, A., Yost, G. (1998) The PIF Process Interchange Format and Framework, Knowledge Engineering Review, 2:1-30.

Fox, M.S., Barbeceanu, M., Grüninger, M. (1995) An Organisation Ontology for Enterprise Modelling: Preliminary Concepts for Linking Structure and Behaviour, Computers in Industry, Vol. 29, pp. 123-134.

Uschold, M. and Grüninger, M.(1996), Ontologies: Principles, Methods, and Applications, Knowledge Engineering Review, 1:96-137.

Grüninger, M. and You, J.H. (1989). Rational reconstruction of metalevel programming in Prolog, Computing and Information, 389-395.

top

refereed conference papers

Li, Zhuojun and Grüninger, M. (2017) The Time Ontology of Allen's Interval Algebra, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, Belgium.

Silva-Munoz, L. and Grüninger, M. (2016) Mapping and Verification of the Time Ontology in SUMO, Ninth International Conference on Formal Ontology in Information Systems. Nancy, France.

Chui, C. and Grüninger, M. (2014) Merging the DOLCE and PSL Upper Ontologies, Proceedings of the Seventh International Conference on Knowledge Engineering and Ontology Design, Rome, Italy.

Grüninger, M. (2011) Verification of the OWL-Time Ontology, Proceedings of the Tenth International Semantic Web Conference.

Grüninger, M. and Ong, D. (2011) Verification of Time Ontologies with Points and Intervals, 18th International Symposium on Temporal Representation and Reasoning, Lübeck, Germany.

Hahmann, T. and Grüninger, M. (2011) Multidimensional Mereotopology with Betweenness, Internation Joint Conference on Artificial Intelligence (IJCAI-11), Barcelona, Spain.

Hahmann, T. and Grüninger, M. (2011) A naive theory for qualitative spatial relations, Tenth International Symposium on Logical Formalizations of Commonsense Reasoning , Palo Alto, CA, USA.

Katsumi, M. and Grüninger, M. Theorem Proving in the Ontology Lifecycle, Knowledge Engineering and Ontology Design 2010, Valencia, Spain.

Ozgovde, A. and Grüninger, M. Foundational Process Relations in Bio-Ontologies, Formal Ontologies and Information Systems 2010.

Grüninger, M., Hahmann, T., Hashemi, A., and Ong, D. Ontology Verification with Repositories, Formal Ontologies and Information Systems 2010.

Tan, X. and Grüninger, M. Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2010, Toronto, Canada.

Tan, X SCOPE: A Situation Calculus Ontology of Petri Nets, Formal Ontologies and Information Systems 2010.

Grüninger, M. and Tan, X.(2009) Reasoning about Partially Ordered Web Services, Asian Semantic Web Conference , Shanghai, China.

Tan, X. and Grüninger, M. (2009) Towards tractable reasoning on temporal projection problems, IEEE International Conference on Intelligent Computing and Intelligent Systems, Shanghai, China.

Tan, X. and Grüninger, M. (2009) On the computational complexity of the reachability problem in UML activity diagrams, IEEE International Conference on Intelligent Computing and Intelligent Systems, Shanghai, China.

Grüninger, M. (2009) Definability and Process Ontologies, Ninth International Symposium on Logical Formalizations of Commonsense Reasoning , Toronto, Canada.

Grüninger, M. (2009) Ontologies and Domain Theories, Ninth International Symposium on Logical Formalizations of Commonsense Reasoning , Toronto, Canada.

Grüninger, M. and Delaval, A. (2009) A First-Order Cutting Process Ontology for Sheet Metal Parts, Fifth Conference on Formal Ontology Meets Industry , Vicenza, Italy.

Hashemi, A. and Grüninger, M. (2009) Ontology Design Through Modular Repositories, International Conference on Knowledge Engineering and Ontology Developmet.

Hahmann, T., Winter, M. and Grüninger, M. (2009) On the Skeleton of Stonian p-Ortholattices, Conference on Relational Methods in Computer Science .

Hahmann, T. and Grüninger, M. (2008) A Model-theoretic Analysis of Asher and Vieu's Mereotopology, Eleventh International Conference on Principles of Knowledge Representation and Reasoning, 203-218.

Beck, J.C. and Grüninger, M. (2007) What's Your Problem? The Problem of Problem Definition, Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007}, Whistler, Canada, July 18-21, 2007.

DesHayes, L., Foufou, S., Grüninger, M. (2006) An Ontology Architecture for Standards Integration and Conformance in Manufacturing, Integrated Design and Manufacture in Mechanical Engineering 2006, 364 - 369.

Uschold, M. and Grüninger, M. (2002) Creating Semantically Integrated Communities on the World Wide Web, Semantic Web 2002.

Menzel, C. and Grüninger, M. (2001) A formal foundation for process modeling, Second International Conference on Formal Ontologies in Information Systems, Welty and Smith (eds), 256-269.

Cutting-Decelle, A.F., Anumba, C.J., Baldwin, A.N., Grüninger, M. (2000), Towards a unified specification of construction process information: The PSL approach, Product and Process Modelling in Building and Construction, Steiger-Garcao and Scherer (eds), 199-207.

Schlenoff, C., Ciocoiu, M., Libes, D., Grüninger, M., Process Specification Language: Results of the First Pilot Implementation, Proceedings of the International Mechanical Engineering Congress, Nashville, Tennessee, November, 1999.

Fox, M.S. and Grüninger, M., (1994), Ontologies for Enterprise Integration, Proceedings of the 2nd Conference on Cooperative Information Systems, Toronto, Ontario.

Fox, M.S., Grüninger, M., and Zhan, Y. (1994), Enterprise Engineering: An Information Systems Perspective, Proceedings of the 3rd Industrial Engineering Research Conference, Norcross Georgia: Institute of Industrial Engineers, pp. 461-466.

Grüninger, M. (1997), Ontologies for Enterprise Engineering, Enterprise Engineering and Integration: Building International Consensus, Springer-Verlag.

Grüninger, M., and Fox, M.S., (1995), The Logic of Enterprise Modelling, Proceedings of the Industrial Engineering Research Conference, Atlanta GA: Institute for Industrial Engineering. Also appears in Proceedings of the Conference of Next Generation Information Technology, Israel.

Grüninger, M., Schlenoff, C., Knutilla, A., Ray, S. (1997) Using process requirements as the basis for the creation and evaluation of process ontologies for enterprise modelling, SIGGROUP Bulletin, Vol.18, No. 2, pp. 52-55 (August 1997).

top

refereed workshop papers

Ong, D. and Grüninger, M. (2011), Constructing an Ontology Repository: A Case Study with Theories of Time Intervals, 5th International Workshop on Modular Ontologies, ESSLLI 2011, Ljubljana, Slovenia.

Hahmann, T. and Gruninger, M. (2008) Detecting physical defects: A practical 2D-study of cracks and holes, AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

Gruninger, M., Hull, R. and McIlraith, S. (2005) A First-Order Ontology for Semantic Web Services, Proceedings of W3C Workshop on Frameworks for Semantic in Web Services, Innsbruck, Austria (9th - 10th June 2005)

Grüninger, M. (2003) Applications of PSL to Semantic Web Services, Workshop on Semantic Web and Databases. Very Large Databases Conference, Berlin.

Grüninger, M. and Schlenoff, C. (2002), Towards a Formal Representation of Driving Behaviors, Formal Approaches to Agent-Based Systems, NASA Goddard Space Flight Center.

Grüninger, M. (1999), Semantic Characterization of Ontologies, Workshop on Ontology Management, AAAI-99, Orlando.

Grüninger, M. (1996), Designing Generic Ontologies, Workshop on Ontological Engineering, European Conference on Artificial Intelligence 1996, Budapest.

Grüninger, M., and Fox, M.S. (1995), Methodology for the Design and Evaluation of Ontologies, Workshop on Basic Ontological Issues in Knowledge Sharing, IJCAI-95, Montreal.

Grüninger, M., and Pinto, J.A. (1995), A Theory of Complex Actions for Enterprise Modelling, Working Notes AAAI Spring Symposium Series 1995: Extending Theories of Action: Formal Theory and Practical Applications, Stanford.

Fox, M.S. and Grüninger, M., (1995), Integrating Ontologies for Reengineering, IFIP WG5.7 Working Conference on Reengineering the Enterprise, Galway, Ireland, April 95.

Kim, H., Fox, M.S., and Grüninger, M., (1995), An Ontology of Quality for Enterprise Modelling, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society Press.

Grüninger, M., and Fox, M.S., (1994), The Design and Evaluation of Ontologies for Enterprise Engineering, Workshop on Implemented Ontologies, European Conference on Artificial Intelligence 1994, Amsterdam, NL.

Grüninger, M., and Fox, M.S., (1994), An Advisor-based Architecture for Enterprise Engineering, Workshop on Artificial Intelligence in Business Process Reengineering, AAAI-94, Seattle.

Fadel, F., and Fox, M.S., Grüninger, M. (1994) A Generic Enterprise Resource Ontology, Proceedings of the Third Workshop on Enabling Technologies - Infrastructures for Collaborative Enterprises, West Virginia University.

Tham, D., Fox, M.S., and Grüninger, M., (1994) A cost ontology for enterprise modelling, Third Workshop on Enabling Technologies-Infrastructures for Collaborative Enterprises, IEEE Computer Society Press, pp. 197-210.

top

refereed book chapters

Hahmann, T., Gruninger, M., (2009) Region-based Theories of Space: Mereotopology and Beyond, submitted to Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions , Hazarika, S. (ed.)

Gruninger, M. (2009) Using the PSL Ontology, pp. 419-431, Handbook of Ontologies , S. Staab (ed.). Springer-Verlag, Berlin.

Grüninger, M. (2007) Process Ontologies, Handbook of Ontologies, S. Staab (ed.). Springer-Verlag, Berlin. to appear.

Grüninger, M. (2003) Ontology of the Process Specification Language, pp. 599-618, Handbook of Ontologies and Information Systems, S. Staab (ed.). Springer-Verlag, Berlin.

Grüninger, M. (2003) Enterprise Modelling: Languages and Ontologies, pp. 515-541, Handbook of Enterprise Architectures, P. Bernus, L. Nemes, G. Schmidt (eds.). Springer-Verlag, Berlin.

Grüninger, M., and Fox, M.S., (1997), Ontologies and Enterprise Modelling, Enterprise Engineering and Integration: Building International Consensus, Kosanke K. and Nell, J. (eds). Springer-Verlag, Berlin.

Grüninger, M., and Fox, M.S., (1996) Logic of enterprise modelling, Modelling and Methodologies for Enterprise Integration, Bernus, P. and Nemes, L. (eds). Chapman and Hall, London.

Grüninger, M., and Fox, M.S., (1995), The Role of Competency Questions in Enterprise Engineering, Benchmarking: Theory and Practice, Rolstadas, A. (ed). Kluwer Academic Publishers, Boston.

other publications

Grüninger, M., Bodenreider, O., and Obrst, L. (2007) Ontology, Taxonomy, Folksonomy: Understanding the Distinctions, to appear in Applied Ontology.

Grüninger, M., C. Schlenoff, A. Knutilla, Using Process Requirements as the Basis for the Creation and Evaluation of Process Ontologies for Enterprise Modeling, ACM SIGGROUP Bulletin Special Issue on Enterprise Modelling, Volume 18, Number 3, August 1997.

Özgövde, A., (2007) Common Sense Reasoning About Complex Actions, Master's research paper

technical reports

Bock, C., Grüninger, M. (2006), Messaging in the Process Specification Language, NIST Interagency Report NISTIR 7258, National Institute of Standards and Technology.

Bock, C., Grüninger M. (2004), Inputs and Outputs in the Process Specification Language NIST Interagency Report NISTIR 7152 National Institute of standards and Technology.

Schlenoff, C., Grüninger M., Tissot, F., The Process Specification Language (PSL): Version 1.0 (2001), NIST Interagency Report NISTIR 6743, National Institute of Standards and Technology.

Moncarz, H., Schlenoff, C., Grüninger, M. (1998), Proceedings of the First Process Information Technology (PIT) Workshop, NIST Interagency Report, NISTIR 6206, Gaithersburg, MD, July, 1998.

Kittel, I., Grüninger, M. (1995). Representation of Business Processes Technical Report FAW-TR-95004, Forschungsinstitut fur anwendungsorientierte Wissensverarbeitung.

top