Michael Gruninger

Michael Gruninger's AcademicInfluence.com Rankings

Michael Gruninger

Computer Science

#2841

World Rank

#2973

Historical Rank

Database

#3296

World Rank

#3434

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Michael Gruninger Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael Gruninger is a Canadian computer scientist and Professor of Industrial Engineering at the University of Toronto, known for his work on Ontologies in information science. particularly with the Process Specification Language, and in enterprise modelling on the TOVE Project with Mark S. Fox.

(See a Problem?)

Michael Gruninger's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Ontologies: principles, methods and applications (1996) (3847)
Methodology for the Design and Evaluation of Ontologies (1995) (1666)
Ontologies and semantics for seamless connectivity (2004) (474)
ONTOLOGY Applications and Design (2002) (343)
The Role of Competency Questions in Enterprise Engineering (1995) (329)
The Process Specification Language (PSL) Overview and Version 1.0 Specification (2000) (281)
An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour (1995) (269)
Enterprise Modeling (1998) (261)
The Process Specification Language (PSL) Theory and Applications (2003) (177)
An Organization Ontology for Enterprise Modelling (2002) (168)
Ontologies to Support Process Integration in Enterprise Engineering (2000) (130)
Ontologies for Integrating Engineering Applications (2001) (130)
PSL: A semantic domain for flow models (2005) (124)
Manufacturing knowledge sharing in PLM: a progression towards the use of heavy weight ontologies (2007) (122)
An ontology of quality for enterprise modelling (1995) (117)
An organizational ontology for enterprise modeling (1998) (114)
The Process Interchange Format and Framework (1998) (105)
Ontologies for Enterprise Integration (1994) (100)
A generic enterprise resource ontology (1994) (94)
Ontology Applications and Design - Introduction. (2002) (91)
CAD/CAPP Integration using Feature Ontology (2007) (78)
The essence of the process specification language (1999) (67)
An Ontology for Quality Management — Enabling Quality Problem Identification and Tracing (1999) (66)
Towards ontology evaluation across the life cycleThe Ontology Summit 2013 (2013) (62)
Ontology of the Process Specification Language (2004) (62)
The Logic of Enterprise Modelling (1996) (57)
An Activity Ontology for Enterprise Modelling (1994) (55)
The Design and Evaluation of Ontologies for Enterprise Engineering (1994) (53)
A cost ontology for enterprise modelling (1994) (50)
Ontologies for Enterprise Modelling (1997) (49)
Creating Semantically Integrated Communities on the World Wide Web (2002) (48)
Semantic Integration through Invariants (2005) (46)
Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding the distinctions (2008) (46)
Modular first-order ontologies via repositories (2012) (45)
Ontology of the Process Specification Language (2004) (42)
Region-Based Theories of Space: Mereotopology and Beyond (2012) (35)
Ontology Verification with Repositories (2010) (31)
Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014 (2014) (31)
Using the PSL Ontology (2009) (30)
Process Specification Language (PSL): Results of the First Pilot Implementation (1999) (30)
A formal foundation for process modeling (2001) (29)
Designing and Evaluating Generic Ontologies (2007) (29)
Combining RFID with ontologies to create smart objects (2010) (28)
A First-Order Cutting Process Ontology for Sheet Metal Parts (2009) (26)
Process Specification Language for project scheduling information exchange (2003) (26)
Using process requirements as the basis for the creation and evaluation of process ontologies for enterprise modeling (1997) (24)
A Naive Theory of Dimension for Qualitative Spatial Relations (2011) (23)
Using the PSL Ontology (2009) (22)
Toward Self-Integrating Software Applications for Supply Chain Management (2001) (22)
Integrated Ontologies for Enterprise Modelling (1997) (21)
Stonian p-ortholattices: A new approach to the mereotopology RT0 (2009) (20)
Process Specification Language for Project Information Exchange (2003) (20)
Formal Semantics of Enterprise Models (1997) (19)
Healthcare Strategic Focus Area: Clinical Informatics (2005) (19)
Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems (2017) (18)
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services (2008) (18)
An Ontology Architecture for Standards Integration and Conformance in Manufacturing (2007) (18)
Semantic resolution for E-Commerce (2002) (17)
Multidimensional Mereotopology with Betweenness (2011) (17)
Thinking Outside (and Inside) the Box (2011) (16)
Theorem Proving in the Ontology Lifecycle (2010) (16)
Verification of Time Ontologies with Points and Intervals (2011) (16)
Choosing ontologies for reuse (2017) (15)
Creating the ontologists of the future (2011) (15)
Enterprise Engineering: An Information Systems Perspective (1993) (14)
Applications of PSL to Semantic Web Services (2003) (14)
Ontology for Big Systems: The Ontology Summit 2012 Communiqué (2012) (14)
Towards a First-Order Ontology for Semantic Web Services (14)
A First-Order Ontology for Semantic Web Services (13)
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization (2012) (13)
Verification of the OWL-Time Ontology (2011) (12)
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility (2012) (12)
Applications of PSL to semantic web services (2003) (12)
Mapping and Verification of the Time Ontology in SUMO (2016) (12)
On the Skeleton of Stonian p-Ortholattices (2009) (11)
Towards Computer-Aided Conceptual Design of Mechatronic Devices With Multiple Interaction-States (2005) (11)
Water features and their parts (2019) (11)
ISO 18629 PSL : A STANDARDISED LANGUAGE FOR SPECIFYING AND EXCHANGING PROCESS INFORMATION (2005) (11)
The Time Ontology of Allen's Interval Algebra (2017) (11)
What Is Ontology Reuse? (2016) (11)
Upper Ontologies in COLORE (2017) (10)
Specifying Ontology Design Patterns with an Ontology Repository (2012) (10)
The Ontological Stance for a Manufacturing Scenario (2009) (10)
Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes (2009) (10)
Inputs and outputs in the process specification language (2004) (10)
Foundational Process Relations in Bio-Ontologies (2010) (9)
Introduction (2002) (8)
Verifying and Mapping the Mereotopology of Upper-Level Ontologies (2016) (7)
An Agent-based Model to Support the Formation of VirtualEnterprisesSobah (2000) (7)
Evaluating Reasoning Systems (2006) (7)
Verification of the OWL-time ontology (2011) (7)
Definability and Process Ontologies (2009) (6)
Ontologies as a New Cost Factor in Enterprise Integration (2002) (6)
Internet of things: Toward smart networked systems and societies (2015) (6)
Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008 (2008) (6)
Model-theoretic Approaches to Semantic Integration (Extended Abstract) (2005) (6)
Architectures for Semantic Integration (2005) (6)
Proof Support for Common Logic (2014) (6)
Applied Ontology: A foreword by the new Editors-in-Chief (2017) (6)
Merging the DOLCE and PSL Upper Ontologies (2014) (6)
A Sideways Look at Upper Ontologies (2014) (6)
Location ontologies based on mereotopological pluralism (2020) (6)
PIF The Process Interchange Format (1998) (6)
On the algebra of regular sets Properties of representable Stonian p-Ortholattices (2012) (5)
Interdependence among material objects and voids (2014) (5)
On the algebra of regular sets (2012) (5)
The Complexity of Partial-Order Plan Viability Problems (2014) (5)
A New Look at Ontology Correctness (2015) (5)
The Ontological Stance for a Manufacturing Scenario (2009) (5)
Parts Unknown: Mereologies for Solid Physical Objects (2017) (5)
Automated Reasoning Support for Ontology Development (2010) (5)
Mathematical Foundations for Participation Ontologies (2014) (5)
Ontologies for Dates and Duration (2010) (5)
Requirements for Modeling Manufacturing Process: A New Perspective (1997) (5)
Ontologies for dates and duration (2010) (4)
Reasoning about Partially Ordered Web Service Activities in PSL (2009) (4)
On the computational complexity of the reachability problem in UML activity diagrams (2009) (4)
Ontology of Social Service Needs: Perspective of a Cognitive Agent (2018) (4)
Using PSL to Extend and Evaluate Event Ontologies (2015) (4)
Foundational Process Relations in Bio-Ontologies (2010) (4)
Encountering the Physical World (2017) (4)
Ontology Validation as Dialogue (2019) (4)
A New Perspective on the Mereotopology of RCC8 (2017) (4)
Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications (2008) (4)
Ontology Summit 2008 Communiqué: Towards an open ontology repository (2008) (3)
Enterprise Modelling (2001) (3)
Medial Spectral Coordinates for 3D Shape Analysis (2021) (3)
The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability (2012) (3)
General Model of Human Motivation and Goal Ranking (2017) (3)
Constructing an Ontology Repository: A Case Study with Theories of Time Intervals (2011) (3)
Towards tractable reasoning on temporal projection problems (2009) (3)
TUpper: A top level ontology within standards (2022) (3)
Ontology repositories make a world of difference (2013) (3)
Foundational Ontologies for Units of Measure (2018) (3)
Process Interchange Format (PIF) for Sharing Ontologies (1996) (3)
A Review of Machine Learning at AAAI-87 (1988) (3)
A Mereology for Connected Structures (2020) (3)
A Theory of Multidimensional Qualitative Space : Semantic Integration of Spatial Theories that Distinguish Interior from Boundary Contact ( Extended (2011) (3)
Model-theoretic Approaches to Semantic Integration (Extended Abstract) (2005) (3)
Preservation of Modules (2014) (3)
The metatheory of ontology reuse (2018) (3)
The FOUnt ontologies for quantities, units, and the physical world (2020) (3)
Requirements for an Ontological Foundation for Modelling Social Service Chains (2014) (2)
Ontologies and Domain Theories (2009) (2)
Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace (2017) (2)
Towards a simplification of COMM-based multimedia annotations (2008) (2)
Logical foundations of shape-based object recognition (2000) (2)
Semantic Integration : Position Statement (2003) (2)
The Process Interchange Format (1998) (2)
Ontology Design through Modular Repositories (2009) (2)
Reuse with Domain and Process Ontologies (2014) (2)
Inputs and Outputs in PSL (2004) (2)
A Molecular Structure Ontology for Medicinal Chemistry (2016) (2)
Developing an Ontology for Joints in Furniture Design (2015) (2)
Towards a unified specification of construction process information (2000) (2)
A virtual marketplace for goods and services for people with social needs (2017) (2)
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology (2008) (2)
Complementation in Representable Theories of Region-Based Space (2013) (2)
More than just One Box (2019) (2)
Exploiting Modularity for Ontology Verification (2011) (2)
Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace (2017) (2)
An Activity-Based Ontology for Dates (2015) (2)
Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective (2010) (2)
Proposed guidelines for publishing ontology papers (2020) (1)
Contour-guided Image Completion with Perceptual Grouping (2021) (1)
An Ontology Representation for Water Bodies (2015) (1)
Semantic Characterization of Ontologies (2007) (1)
Robot Meets World (2020) (1)
Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009 (2009) (1)
Modeling Technology for a Model-Intensive Enterprise (2001) (1)
Editorial announcement: Editorial Board changes (2018) (1)
Towards a Formal Representation of Driving Behaviors (2002) (1)
The Role of Goal Ranking and Mood-Based Utility in Dynamic Replanning Strategies (2018) (1)
Verification and Modularization of the DOLCE Upper Ontology (2017) (1)
Messaging in the process specification language (2005) (1)
What's the Damage? Abnormality in Solid Physical Objects (2018) (1)
REVISION OF ISO 24707 (COMMON LOGIC) (2013) (1)
Issues Raised by the Panelists of the What is the Role of Ontologies in Performance Evaluation? Panel - Discussion at the PerMIS Conference (2002) (1)
Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns - Volume 1188 (2013) (1)
Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns (2014) (1)
Anti-Modules (2016) (1)
Particular Types and Particular Dependence (2018) (1)
City Knowledge Patterns: A Standard for Smart City Knowledge Management (2014) (1)
The Discipline of Ontological Engineering (2019) (0)
Reducible Theories and Amalgamations of Models (2022) (0)
On the algebra of regular sets (2012) (0)
Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology (2016) (0)
What's Your Problem? The Problem of Problem Definition (2007) (0)
A Representation Theorem for Change through Composition of Activities (2019) (0)
Ontologies for Enterprise Integration 1 (1994) (0)
Can SysML Be Used for Enterprise Modelling? (2021) (0)
Logical foundations of shape-based object recognition (2000) (0)
Open the Pod Bay Door: Using Ontology to Understand Instructions (2020) (0)
Multimodal Event Recognition with an Ontology for Cooking Recipes (2019) (0)
A BioSequence Ontology from Molecular Structure (2020) (0)
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk) (2013) (0)
NIST Workshop on Process Information Technology: From Research to Industry (1998) (0)
Trust : Formal Semantics and Transitivity (2007) (0)
What's in a (Data) Type? Meaningful Type Safety for Data Science (2022) (0)
MODEL-THEORETIC APPROACHES TO SEMANTIC (2004) (0)
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). (2013) (0)
An Ontology for Formal Models of Kinship (2020) (0)
Qualitative Spatial Ontologies for Robot Dynamics (2021) (0)
Ontology Mapping in an e-Commerce Application (2015) (0)
Foundationless Ontologies (2019) (0)
The Mereologies of Upper Ontologies (2016) (0)
Using Model-Theoretic Invariants for Semantic Integration (2004) (0)
NISTIR 7310 Evaluating Reasoning Systems (2006) (0)
Techniques for Merging Upper Ontologies (2014) (0)
NIST WORKSHOP ON PROCESS INFORMATION TECHNOLOGY: RESEARCH (1998) (0)
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) (2008) (0)
Information Technology for Engineering and Manufacturing | NIST (2000) (0)
Standards Integration Using Ontologies : Application to Turning Tools (2007) (0)
Process information technology: : from research to industry; workshop proceedings (1998) (0)
A time-indexed mereology for SUMO (2019) (0)
Making the case for ontology (vol 6, pg 377, 2011) (2012) (0)
Mereotopology and Beyond (2012) (0)
This Is a Publication of the American Association for Artificial Intelligence Motivation: Integrating the Enterprise (1998) (0)
AAAI 1997 Spring Symposium Reports (1997) (0)
Spatiotemporal = Spatial X Temporal (2022) (0)
Properties of representable Stonian p-ortholattices (2012) (0)
Integrated Ontologies for Enterprise Modelling (1997) (0)
An Ontological Analysis of Water Features (2016) (0)
Message from the VORTE 2017 Workshop Chairs (2017) (0)
PSL as a Foundational Ontology for the Industrial Ontologies Foundry (2019) (0)

This paper list is powered by the following services:

Other Resources About Michael Gruninger

en.wikipedia.org

What Schools Are Affiliated With Michael Gruninger?

Michael Gruninger is affiliated with the following schools:

Michael Gruninger's Academic­Influence.com Rankings