Michael Grüninger

According to our database, Michael Grüninger authored at least 139 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Reducible Theories and Amalgamations of Models.

Bahar Aameri, Michael Grüninger

ACM Trans. Comput. Log., January, 2023

Using Mereotopology for Automated Spatial Inference in Task and Motion Planning.

Florent Leoty, Jona Thai, Bernard Archimède, Philippe Fillatreau, Michael Grüninger

Proceedings of the Workshop on Ontologies for Autonomous Robotics co-located with The 32nd IEEE International Conference on Robot and Human Interactive Communication (IEEE RO-MAN 2023), 2023

An Ontological Analysis of Robot Path Planning Problems.

Yunpiao Bai, Jona Thai, Michael Grüninger

Proceedings of the Workshop on Ontologies for Autonomous Robotics co-located with The 32nd IEEE International Conference on Robot and Human Interactive Communication (IEEE RO-MAN 2023), 2023

A Unifying Approach to Boundaries and Multidimensional Mereotopology.

Yixin Sun, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

A Spatiotemporal Ontology for Semantic Trajectories (extended abstract).

Yunpiao Bai, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

Semiautomatic Design of Ontologies.

Michael Grüninger, Amanda Chow, Janette Wong

Proceedings of the Practice of Enterprise Modeling - 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28, 2023

An Ontology for Event Location.

Yunpiao Bai, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2023

2022

TUpper: A top level ontology within standards.

Michael Grüninger, Yi Ru, Jona Thai

Appl. Ontology, 2022

What's in a (Data) Type? Meaningful Type Safety for Data Science.

Riley Moher, Michael Gruninger, Scott Sanner

Proceedings of the Research Challenges in Information Science, 2022

Spatiotemporal = Spatial X Temporal.

Yunpiao Bai, Michael Gruninger

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Medial Spectral Coordinates for 3D Shape Analysis.

Morteza Rezanejad, Mohammad Khodadad, Hamidreza Mahyar, Herve Lombaert, Michael Gruninger, Dirk B. Walther, Kaleem Siddiqi

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021

Qualitative Spatial Ontologies for Robot Dynamics.

Jona Thai, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Can SysML Be Used for Enterprise Modelling?

Kimberly Lai, Michael Gruninger

Proceedings of the Practice of Enterprise Modeling, 2021

Contour-guided Image Completion with Perceptual Grouping.

Morteza Rezanejad, Sidharth Gupta, Chandra Gummaluru, Ryan Marten, John Wilder, Michael Gruninger, Dirk B. Walther

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

Proposed guidelines for publishing ontology papers.

Roberta Ferrario, Michael Grüninger

Appl. Ontology, 2020

Location ontologies based on mereotopological pluralism.

Bahar Aameri, Michael Grüninger

Appl. Ontology, 2020

The FOUnt ontologies for quantities, units, and the physical world.

Bahar Aameri, Carmen Chui, Michael Grüninger, Torsten Hahmann, Yi Ru

Appl. Ontology, 2020

Robot Meets World.

Jona Thai, Michael Grüninger

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Open the Pod Bay Door: Using Ontology to Understand Instructions.

Yixin Sun, Michael Grüninger

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

A BioSequence Ontology from Molecular Structure.

Jona Thai, Michael Grüninger

Proceedings of the 11th International Conference on Biomedical Ontologies (ICBO) joint with the 10th Workshop on Ontologies and Data in Life Sciences (ODLS) and part of the Bolzano Summer of Knowledge (BoSK 2020), 2020

A Mereology for Connected Structures.

Michael Grüninger, Carmen Chui, Yi Ru, Jona Thai

Proceedings of the Formal Ontology in Information Systems, 2020

An Ontology for Formal Models of Kinship.

Carmen Chui, Michael Grüninger, Janette Wong

Proceedings of the Formal Ontology in Information Systems, 2020

2019

A Representation Theorem for Change through Composition of Activities.

Bahar Aameri, Michael Grüninger

ACM Trans. Comput. Log., 2019

A time-indexed mereology for SUMO.

Lydia Silva Muñoz, Michael Grüninger

Data Knowl. Eng., 2019

Water features and their parts.

Boyan Brodaric, Torsten Hahmann, Michael Gruninger

Appl. Ontology, 2019

More than just One Box.

Yi Ru, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Foundationless Ontologies.

Michael Grüninger, Megan Katsumi

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

PSL as a Foundational Ontology for the Industrial Ontologies Foundry.

Michael Grüninger, Megan Katsumi

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Ontology Validation as Dialogue.

Michael Grüninger

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Multimodal Event Recognition with an Ontology for Cooking Recipes.

Alison Emily Chow, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

The Discipline of Ontological Engineering.

Michael Grüninger

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018

The metatheory of ontology reuse.

Megan Katsumi, Michael Grüninger

Appl. Ontology, 2018

Editorial announcement: Editorial Board changes.

Roberta Ferrario, Michael Grüninger

Appl. Ontology, 2018

What's the Damage? Abnormality in Solid Physical Objects.

Yi Ru, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2018 Episode IV: The South African Spring co-located with the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), 2018

Ontology of Social Service Needs: Perspective of a Cognitive Agent.

Bart Gajderowicz, Mark S. Fox, Michael Grüninger

Proceedings of the Joint Ontology Workshops 2018 Episode IV: The South African Spring co-located with the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), 2018

Foundational Ontologies for Units of Measure.

Michael Grüninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru

Proceedings of the Formal Ontology in Information Systems, 2018

Particular Types and Particular Dependence.

Boyan Brodaric, Michael Gruninger

Proceedings of the Formal Ontology in Information Systems, 2018

2017

Choosing ontologies for reuse.

Megan Katsumi, Michael Grüninger

Appl. Ontology, 2017

Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems.

Donna M. Fritzsche, Michael Grüninger, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Todd Schneider, Ram D. Sriram, Mark A. Underwood, Andrea Westerinen

Appl. Ontology, 2017

Applied Ontology: A foreword by the new Editors-in-Chief.

Roberta Ferrario, Michael Grüninger

Appl. Ontology, 2017

The Time Ontology of Allen's Interval Algebra.

Michael Grüninger, Zhuojun Li

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Parts Unknown: Mereologies for Solid Physical Objects.

Yi Ru, Michael Gruninger

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Upper Ontologies in COLORE.

Michael Gruninger, Carmen Chui, Megan Katsumi

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Verification and Modularization of the DOLCE Upper Ontology.

Carmen Chui, Michael Gruninger

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Encountering the Physical World.

Bahar Aameri, Michael Gruninger

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

A virtual marketplace for goods and services for people with social needs.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

Proceedings of the IEEE Canada International Humanitarian Technology Conference, 2017

Message from the VORTE 2017 Workshop Chairs.

João Paulo A. Almeida, Michael Gruninger, Giancarlo Guizzardi

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Workshop, 2017

A New Perspective on the Mereotopology of RCC8.

Michael Grüninger, Bahar Aameri

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

Proceedings of the 2017 AAAI Spring Symposia, 2017

General Model of Human Motivation and Goal Ranking.

Bart Gajderowicz, Mark S. Fox, Michael Grüninger

Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

The Mereologies of Upper Ontologies.

Lydia Silva Muñoz, Michael Grüninger

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2016

Verifying and Mapping the Mereotopology of Upper-Level Ontologies.

Lydia Silva Muñoz, Michael Grüninger

Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

Mapping and Verification of the Time Ontology in SUMO.

Lydia Silva Muñoz, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2016

What Is Ontology Reuse?

Megan Katsumi, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2016

A Molecular Structure Ontology for Medicinal Chemistry.

Carmen Chui, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2016

Anti-Modules.

Bahar Aameri, Michael Grüninger, Carmen Chui

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology.

Lydia Silva Muñoz, Michael Grüninger

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

2015

Internet of things: Toward smart networked systems and societies.

Mark A. Underwood, Michael Gruninger, Leo Obrst, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Torsten Hahmann, Ram D. Sriram

Appl. Ontology, 2015

Using PSL to Extend and Evaluate Event Ontologies.

Megan Katsumi, Michael Grüninger

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Developing an Ontology for Joints in Furniture Design.

Jyotsna Shrivastava, Michael Grüninger

Proceedings of the Formal Ontologies Meet Industry - 7th International Workshop, 2015

Ontology Mapping in an e-Commerce Application.

Carmen Chui, Michael Grüninger, Mark van Berkel

Proceedings of the Formal Ontologies Meet Industry - 7th International Workshop, 2015

An Activity-Based Ontology for Dates.

Michael Gruninger, Megan Katsumi

Proceedings of the 2015 AAAI Spring Symposia, 2015

A New Look at Ontology Correctness.

Bahar Aameri, Michael Gruninger

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.

Leo Obrst, Michael Grüninger, Ken Baclawski, Mike Bennett, Dan Brickley, Gary Berg-Cross, Pascal Hitzler, Krzysztof Janowicz, Christine Kapp, Oliver Kutz, Christoph Lange, Anatoly Levenchuk, Francesca Quattri, Alan L. Rector, Todd Schneider, Simon Spero, Anne E. Thessen, Marcela Vegetti, Amanda Vizedom, Andrea Westerinen, Matthew West, Peter Yim

Appl. Ontology, 2014

Techniques for Merging Upper Ontologies.

Carmen Chui, Michael Grüninger

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

Merging the DOLCE and PSL Upper Ontologies.

Carmen Chui, Michael Grüninger

Proceedings of the KEOD 2014, 2014

Interdependence among material objects and voids.

Torsten Hahmann, Boyan Brodaric, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2014

A Sideways Look at Upper Ontologies.

Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui

Proceedings of the Formal Ontology in Information Systems, 2014

Preservation of Modules.

Michael Gruninger, Bahar Aameri

Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Mathematical Foundations for Participation Ontologies.

Carmen Chui, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2014

Reuse with Domain and Process Ontologies.

Bahar Aameri, Michael Gruninger

Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Proof Support for Common Logic.

Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

The Complexity of Partial-Order Plan Viability Problems.

Xing Tan, Michael Gruninger

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Complementation in Representable Theories of Region-Based Space.

Torsten Hahmann, Michael Grüninger

Notre Dame J. Formal Log., 2013

Towards ontology evaluation across the life cycleThe Ontology Summit 2013.

Fabian Neuhaus, Amanda Vizedom, Kenneth Baclawski, Mike Bennett, Mike Dean, Michael Denny, Michael Grüninger, Ali Hashemi, Terry Longstreth, Leo Obrst, Steve Ray, Ram D. Sriram, Todd Schneider, Marcela Vegetti, Matthew West, Peter Yim

Appl. Ontology, 2013

Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk).

Michael Grüninger

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

2012

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale

CoRR, 2012

Ontology for Big Systems: The Ontology Summit 2012 Communiqué.

Todd Schneider, Ali Hashemi, Mike Bennett, Mary Brady, Cory Casanave, Henson Graves, Michael Gruninger, Nicola Guarino, Anatoly Levenchuk, Ernie Lucier, Leo Obrst, Steve Ray, Ram D. Sriram, Amanda Vizedom, Matthew West, Trish Whetzel, Peter Yim

Appl. Ontology, 2012

Modular first-order ontologies via repositories.

Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde

Appl. Ontology, 2012

On the algebra of regular sets - Properties of representable Stonian p-ortholattices.

Michael Winter, Torsten Hahmann, Michael Grüninger

Ann. Math. Artif. Intell., 2012

Specifying Ontology Design Patterns with an Ontology Repository.

Michael Grüninger, Megan Katsumi

Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA, November 12, 2012, 2012

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.

Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Creating the ontologists of the future.

Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Grüninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim, Barry Smith

Appl. Ontology, 2011

Constructing an Ontology Repository: A Case Study with Theories of Time Intervals.

Darren Ong, Michael Grüninger

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Exploiting Modularity for Ontology Verification.

Michael Grüninger, Torsten Hahmann, Megan Katsumi

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Verification of Time Ontologies with Points and Intervals.

Michael Grüninger, Darren Ong

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Thinking Outside (and Inside) the Box.

Michael Gruninger, Salim Bouafoud

Proceedings of the First Interdisciplinary Workshop on SHAPES, 2011

Verification of the OWL-Time Ontology.

Michael Grüninger

Proceedings of the Semantic Web - ISWC 2011, 2011

Multidimensional Mereotopology with Betweenness.

Torsten Hahmann, Michael Grüninger

Proceedings of the IJCAI 2011, 2011

A Naive Theory of Dimension for Qualitative Spatial Relations.

Torsten Hahmann, Michael Gruninger

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective.

Xing Tan, Michael Gruninger

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Ontologies for Dates and Duration.

Michael Grüninger

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Automated Reasoning Support for Ontology Development.

Megan Katsumi, Michael Grüninger

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2010

Theorem Proving in the Ontology Lifecycle.

Megan Katsumi, Michael Grüninger

Proceedings of the KEOD 2010, 2010

Foundational Process Relations in Bio-Ontologies.

Atalay Özgövde, Michael Grüninger

Proceedings of the Formal Ontology in Information Systems, 2010

Ontology Verification with Repositories.

Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong

Proceedings of the Formal Ontology in Information Systems, 2010

2009

Using the PSL Ontology.

Michael Grüninger

Proceedings of the Handbook on Ontologies, 2009

The Ontological Stance for a Manufacturing Scenario.

Michael Grüninger

J. Cases Inf. Technol., 2009

Stonian p-ortholattices: A new approach to the mereotopology RT₀.

Torsten Hahmann, Michael Winter, Michael Gruninger

Artif. Intell., 2009

Ontology Design through Modular Repositories.

Ali Hashemi, Michael Gruninger

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

A First-Order Cutting Process Ontology for Sheet Metal Parts.

Michael Grüninger, Arnaud Delaval

Proceedings of the Formal Ontologies Meet Industry, 2009

Reasoning about Partially Ordered Web Service Activities in PSL.

Michael Gruninger, Xing Tan

Proceedings of the Semantic Web, Fourth Asian Conference, 2009

Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes.

Torsten Hahmann, Michael Gruninger

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

On the Skeleton of Stonian p-Ortholattices.

Michael Winter, Torsten Hahmann, Michael Gruninger

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

The Ontological Stance for a Manufacturing Scenario.

Michael Gruninger

Proceedings of the Cases on Semantic Interoperability for Information Systems Integration, 2009

2008

A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.

Michael Grüninger, Richard Hull, Sheila A. McIlraith

IEEE Data Eng. Bull., 2008

Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding the distinctions.

Michael Gruninger, Olivier Bodenreider, Frank Olken, Leo Obrst, Peter Yim

Appl. Ontology, 2008

Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.

Torsten Hahmann, Michael Gruninger

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

CAD/CAPP Integration using Feature Ontology.

Christel Dartigues, Parisa Ghodous, Michael Gruninger, Denis Pallez, Ram D. Sriram

Concurr. Eng. Res. Appl., 2007

What's Your Problem? The Problem of Problem Definition.

J. Christopher Beck, Michael Grüninger

Proceedings of the Abstraction, 2007

2005

PSL: A semantic domain for flow models.

Conrad Bock, Michael Gruninger

Softw. Syst. Model., 2005

Semantic Integration through Invariants.

Michael Grüninger, Joseph Kopena

AI Mag., 2005

Architectures for Semantic Integration.

Michael Uschold, Michael Grüninger

Proceedings of the Semantic Interoperability and Integration, 2005

Model-theoretic Approaches to Semantic Integration (Extended Abstract).

Michael Grüninger

Proceedings of the Semantic Interoperability and Integration, 2005

2004

Ontologies and Semantics for Seamless Connectivity.

Michael Uschold, Michael Grüninger

SIGMOD Rec., 2004

Ontology of the Process Specification Language.

Michael Grüninger

Proceedings of the Handbook on Ontologies, 2004

2003

The Process Specification Language (PSL) Theory and Applications.

Michael Grüninger, Christopher Menzel

AI Mag., 2003

Applications of PSL to Semantic Web Services.

Michael Grüninger

Proceedings of SWDB'03, 2003

2002

Ontology Applications and Design - Introduction.

Michael Grüninger, Jintae Lee

Commun. ACM, 2002

Semantic Resolution for E-commerce.

Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones

Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

Ontologies as a New Cost Factor in Enterprise Integration.

H. Ted Goranson, Bei-tseng Chu, Michael Grüninger, Nenad Ivezic, Boonserm Kulvatunyou, Yannis Labrou, Ryusuke Masuoka, Yun Peng, Amit P. Sheth, David N. Shorter

Proceedings of the Enterprise Inter- and Intra-Organizational Integration: Building International Consensus, 2002

Towards a Formal Representation of Driving Behaviors.

Craig Schlenoff, Michael Grüninger

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2001

Ontologies for Integrating Engineering Applications.

Mihai Ciocoiu, Dana S. Nau, Michael Grüninger

J. Comput. Inf. Sci. Eng., 2001

Toward Self-Integrating Software Applications for Supply Chain Management.

Albert T. Jones, Nenad Ivezic, Michael Grüninger

Inf. Syst. Frontiers, 2001

A formal foundation for process modeling.

Christopher Menzel, Michael Grüninger

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000

Logical foundations of shape-based object recognition.

Michael Grüninger

PhD thesis, 2000

Ontologies to Support Process Integration in Enterprise Engineering.

Michael Grüninger, Katy Atefi, Mark S. Fox

Comput. Math. Organ. Theory, 2000

1998

The Process Interchange Format and Framework.

Jintae Lee, Michael Gruninger, Yan Jin, Thomas W. Malone, Austin Tate, Gregg Yost

Knowl. Eng. Rev., 1998

Enterprise Modeling.

Mark S. Fox, Michael Grüninger

AI Mag., 1998

1997

Integrated Ontologies for Enterprise Modelling.

Michael Grüninger

Proceedings of the Enterprise Engineering and Integration: Building International Consensus, 1997

Ontologies for Enterprise Modelling.

Mark S. Fox, Michael Grüninger

Proceedings of the Enterprise Engineering and Integration: Building International Consensus, 1997

Formal Semantics of Enterprise Models.

Michael Petit, Jan Goossenaerts, Michael Grüninger, James G. Nell, François B. Vernadat

Proceedings of the Enterprise Engineering and Integration: Building International Consensus, 1997

1996

Ontologies: principles, methods and applications.

Mike Uschold, Michael Gruninger

Knowl. Eng. Rev., 1996

1995

An Ontology of Quality for Enterprise Modelling.

Henry M. Kim, Mark S. Fox, Michael Grüninger

Proceedings of the 4th Workshop on Enabling Technologies, 1995

An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour.

Mark S. Fox, Mihai Barbuceanu, Michael Grüninger

Proceedings of the 4th Workshop on Enabling Technologies, 1995

1994

A cost ontology for enterprise modelling.

K. Donald Tham, Mark S. Fox, Michael Grüninger

Proceedings of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994

A generic enterprise resource ontology.

Fadi George Fadel, Mark S. Fox, Michael Grüninger

Proceedings of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994

Ontologies for Enterprise Integration.

Mark S. Fox, Michael Grüninger

Proceedings of the Second International Conference on Cooperative Information Systems, 1994