Michael Grüninger

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 46

Top Venues

Publications

Yunpiao Bai, Michael Grüninger
A Spatiotemporal Ontology for Semantic Trajectories (extended abstract). JOWO (2023)
Yunpiao Bai, Michael Grüninger
An Ontology for Event Location. FOIS (2023)
Yixin Sun, Michael Grüninger
A Unifying Approach to Boundaries and Multidimensional Mereotopology. JOWO (2023)
Florent Leoty, Jona Thai, Bernard Archimède, Philippe Fillatreau, Michael Grüninger
Using Mereotopology for Automated Spatial Inference in Task and Motion Planning. RobOntics@RO-MAN (2023)
Yunpiao Bai, Jona Thai, Michael Grüninger
An Ontological Analysis of Robot Path Planning Problems. RobOntics@RO-MAN (2023)
Michael Grüninger, Amanda Chow, Janette Wong
Semiautomatic Design of Ontologies. PoEM (2023)
Bahar Aameri, Michael Grüninger
Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log. 24 (1) (2023)
Michael Grüninger, Yi Ru, Jona Thai
TUpper: A top level ontology within standards. Appl. Ontology 17 (1) (2022)
Jona Thai, Michael Grüninger
Qualitative Spatial Ontologies for Robot Dynamics. JOWO (2021)
Bahar Aameri, Carmen Chui, Michael Grüninger, Torsten Hahmann, Yi Ru
The FOUnt ontologies for quantities, units, and the physical world. Appl. Ontology 15 (3) (2020)
Jona Thai, Michael Grüninger
A BioSequence Ontology from Molecular Structure. ICBO/ODLS (2020)
Carmen Chui, Michael Grüninger, Janette Wong
An Ontology for Formal Models of Kinship. FOIS (2020)
Roberta Ferrario, Michael Grüninger
Proposed guidelines for publishing ontology papers. Appl. Ontology 15 (1) (2020)
Yixin Sun, Michael Grüninger
Open the Pod Bay Door: Using Ontology to Understand Instructions. JOWO (2020)
Bahar Aameri, Michael Grüninger
Location ontologies based on mereotopological pluralism. Appl. Ontology 15 (2) (2020)
Michael Grüninger, Carmen Chui, Yi Ru, Jona Thai
A Mereology for Connected Structures. FOIS (2020)
Jona Thai, Michael Grüninger
Robot Meets World. JOWO (2020)
Michael Grüninger, Megan Katsumi
Foundationless Ontologies. JOWO (2019)
Lydia Silva Muñoz, Michael Grüninger
A time-indexed mereology for SUMO. Data Knowl. Eng. 123 (2019)
Michael Grüninger
Ontology Validation as Dialogue. JOWO (2019)
Michael Grüninger, Megan Katsumi
PSL as a Foundational Ontology for the Industrial Ontologies Foundry. JOWO (2019)
Alison Emily Chow, Michael Grüninger
Multimodal Event Recognition with an Ontology for Cooking Recipes. JOWO (2019)
Michael Grüninger
The Discipline of Ontological Engineering. Ontology Makes Sense (2019)
Bahar Aameri, Michael Grüninger
A Representation Theorem for Change through Composition of Activities. ACM Trans. Comput. Log. 20 (4) (2019)
Yi Ru, Michael Grüninger
More than just One Box. JOWO (2019)
Bart Gajderowicz, Mark S. Fox, Michael Grüninger
Ontology of Social Service Needs: Perspective of a Cognitive Agent. JOWO (2018)
Michael Grüninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru
Foundational Ontologies for Units of Measure. FOIS (2018)
Megan Katsumi, Michael Grüninger
The metatheory of ontology reuse. Appl. Ontology 13 (3) (2018)
Yi Ru, Michael Grüninger
What's the Damage? Abnormality in Solid Physical Objects. JOWO (2018)
Roberta Ferrario, Michael Grüninger
Editorial announcement: Editorial Board changes. Appl. Ontology 13 (1) (2018)
Bart Gajderowicz, Mark S. Fox, Michael Grüninger
General Model of Human Motivation and Goal Ranking. AAAI Fall Symposia (2017)
Donna M. Fritzsche, Michael Grüninger, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Todd Schneider, Ram D. Sriram, Mark Underwood, Andrea Westerinen
Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems. Appl. Ontology 12 (2) (2017)
Megan Katsumi, Michael Grüninger
Choosing ontologies for reuse. Appl. Ontology 12 (3-4) (2017)
Roberta Ferrario, Michael Grüninger
Applied Ontology: A foreword by the new Editors-in-Chief. Appl. Ontology 12 (1) (2017)
Michael Grüninger, Bahar Aameri
A New Perspective on the Mereotopology of RCC8. COSIT (2017)
Michael Grüninger, Zhuojun Li
The Time Ontology of Allen's Interval Algebra. TIME (2017)
Bahar Aameri, Michael Grüninger, Carmen Chui
Anti-Modules. JOWO@FOIS (2016)
Carmen Chui, Michael Grüninger
A Molecular Structure Ontology for Medicinal Chemistry. FOIS (2016)
Megan Katsumi, Michael Grüninger
What Is Ontology Reuse? FOIS (2016)
Lydia Silva Muñoz, Michael Grüninger
Verifying and Mapping the Mereotopology of Upper-Level Ontologies. KEOD (2016)
Lydia Silva Muñoz, Michael Grüninger
Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. EKAW (2016)
Lydia Silva Muñoz, Michael Grüninger
The Mereologies of Upper Ontologies. IC3K (2016)
Lydia Silva Muñoz, Michael Grüninger
Mapping and Verification of the Time Ontology in SUMO. FOIS (2016)
Megan Katsumi, Michael Grüninger
Using PSL to Extend and Evaluate Event Ontologies. RuleML (2015)
Jyotsna Shrivastava, Michael Grüninger
Developing an Ontology for Joints in Furniture Design. FOMI (2015)
Carmen Chui, Michael Grüninger, Mark van Berkel
Ontology Mapping in an e-Commerce Application. FOMI (2015)
Carmen Chui, Michael Grüninger
Merging the DOLCE and PSL Upper Ontologies. KEOD (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
Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014. Appl. Ontology 9 (2) (2014)
Torsten Hahmann, Boyan Brodaric, Michael Grüninger
Interdependence among material objects and voids. FOIS (2014)
Carmen Chui, Michael Grüninger
Techniques for Merging Upper Ontologies. IC3K (Selected Papers) (2014)
Carmen Chui, Michael Grüninger
Mathematical Foundations for Participation Ontologies. FOIS (2014)
Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui
A Sideways Look at Upper Ontologies. FOIS (2014)
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
Proof Support for Common Logic. ARQNL@IJCAR (2014)
Torsten Hahmann, Michael Grüninger
Complementation in Representable Theories of Region-Based Space. Notre Dame J. Formal Log. 54 (2) (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
Towards ontology evaluation across the life cycleThe Ontology Summit 2013. Appl. Ontology 8 (3) (2013)
Michael Grüninger
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). RuleML (2013)
Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization CoRR (2012)
Michael Winter, Torsten Hahmann, Michael Grüninger
On the algebra of regular sets - Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. 65 (1) (2012)
Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde
Modular first-order ontologies via repositories. Appl. Ontology 7 (2) (2012)
Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility CoRR (2012)
Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus (2012)
Michael Grüninger, Megan Katsumi
Specifying Ontology Design Patterns with an Ontology Repository. WOP (2012)
Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Grüninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim, Barry Smith
Creating the ontologists of the future. Appl. Ontology 6 (1) (2011)
Michael Grüninger
Verification of the OWL-Time Ontology. ISWC (1) (2011)
Torsten Hahmann, Michael Grüninger
Multidimensional Mereotopology with Betweenness. IJCAI (2011)
Darren Ong, Michael Grüninger
Constructing an Ontology Repository: A Case Study with Theories of Time Intervals. WoMO (2011)
Michael Grüninger, Torsten Hahmann, Megan Katsumi
Exploiting Modularity for Ontology Verification. WoMO (2011)
Michael Grüninger, Darren Ong
Verification of Time Ontologies with Points and Intervals. TIME (2011)
Megan Katsumi, Michael Grüninger
Theorem Proving in the Ontology Lifecycle. KEOD (2010)
Michael Grüninger
Ontologies for Dates and Duration. KR (2010)
Atalay Özgövde, Michael Grüninger
Foundational Process Relations in Bio-Ontologies. FOIS (2010)
Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong
Ontology Verification with Repositories. FOIS (2010)
Megan Katsumi, Michael Grüninger
Automated Reasoning Support for Ontology Development. IC3K (2010)
Michael Grüninger
The Ontological Stance for a Manufacturing Scenario. J. Cases Inf. Technol. 11 (4) (2009)
Michael Grüninger, Arnaud Delaval
A First-Order Cutting Process Ontology for Sheet Metal Parts. FOMI (2009)
Michael Grüninger, Richard Hull, Sheila A. McIlraith
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31 (3) (2008)
J. Christopher Beck, Michael Grüninger
What's Your Problem? The Problem of Problem Definition. SARA (2007)
Michael Grüninger, Joseph Kopena
Semantic Integration through Invariants. AI Mag. 26 (1) (2005)
Michael Grüninger
Model-theoretic Approaches to Semantic Integration (Extended Abstract). Semantic Interoperability and Integration (2005)
Michael Uschold, Michael Grüninger
Architectures for Semantic Integration. Semantic Interoperability and Integration (2005)
Michael Uschold, Michael Grüninger
Ontologies and Semantics for Seamless Connectivity. SIGMOD Rec. 33 (4) (2004)
Michael Grüninger
Applications of PSL to Semantic Web Services. SWDB (2003)
Michael Grüninger, Christopher Menzel
The Process Specification Language (PSL) Theory and Applications. AI Mag. 24 (3) (2003)
Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones
Semantic Resolution for E-commerce. WRAC (2002)
Craig Schlenoff, Michael Grüninger
Towards a Formal Representation of Driving Behaviors. FAABS (2002)
Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones
Semantic resolution for e-commerce. AAMAS (2002)
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
Ontologies as a New Cost Factor in Enterprise Integration. ICEIMT (2002)
Michael Grüninger, Jintae Lee
Ontology Applications and Design - Introduction. Commun. ACM 45 (2) (2002)
Mihai Ciocoiu, Dana S. Nau, Michael Grüninger
Ontologies for Integrating Engineering Applications. J. Comput. Inf. Sci. Eng. 1 (1) (2001)
Christopher Menzel, Michael Grüninger
A formal foundation for process modeling. FOIS (2001)
Albert T. Jones, Nenad Ivezic, Michael Grüninger
Toward Self-Integrating Software Applications for Supply Chain Management. Inf. Syst. Frontiers 3 (4) (2001)
Michael Grüninger, Katy Atefi, Mark S. Fox
Ontologies to Support Process Integration in Enterprise Engineering. Comput. Math. Organ. Theory 6 (4) (2000)
Mark S. Fox, Michael Grüninger
Enterprise Modeling. AI Mag. 19 (3) (1998)
Michael Petit, Jan Goossenaerts, Michael Grüninger, James G. Nell, François B. Vernadat
Formal Semantics of Enterprise Models. ICEIMT (1997)
Mark S. Fox, Michael Grüninger
Ontologies for Enterprise Modelling. ICEIMT (1997)
Michael Grüninger
Integrated Ontologies for Enterprise Modelling. ICEIMT (1997)
Mark S. Fox, Mihai Barbuceanu, Michael Grüninger
An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour. WETICE (1995)
Henry M. Kim, Mark S. Fox, Michael Grüninger
An Ontology of Quality for Enterprise Modelling. WETICE (1995)
K. Donald Tham, Mark S. Fox, Michael Grüninger
A cost ontology for enterprise modelling. WETICE (1994)
Fadi George Fadel, Mark S. Fox, Michael Grüninger
A generic enterprise resource ontology. WETICE (1994)

Michael Grüninger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Grüninger