Michael Grüninger

110 papers A* 2A 1B 2C 25Misc 1Journal 30Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Non-Monotonic Generalisation of an Ontology. JOWO Gabriele Sacco, Loris Bozzato, Oliver Kutz, Michael Grüninger
2025	—	`conf`	Object2Plan: An Ontological Approach to Automated Generation of Assembly Plans from Objects. RobOntics@ROBOTICC Jona Thai, Michael Grüninger
2023	—	`conf`	A Spatiotemporal Ontology for Semantic Trajectories (extended abstract). JOWO Yunpiao Bai, Michael Grüninger
2023	—	`conf`	A Unifying Approach to Boundaries and Multidimensional Mereotopology. JOWO Yixin Sun, Michael Grüninger
2023	—	`conf`	An Ontological Analysis of Robot Path Planning Problems. RobOntics@RO-MAN Yunpiao Bai, Jona Thai, Michael Grüninger
2023	C	`conf`	An Ontology for Event Location. FOIS Yunpiao Bai, Michael Grüninger
2023	—	`ed.`	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), Sherbrooke, Québec, Canada, July 19-20, 2023. JOWO Fumiaki Toyoshima, Megan Katsumi, Guendalina Righetti, Stefano De Giorgis, Maria M. Hedblom, Oliver Kutz, Boyan Brodaric, Michael Grüninger, Torsten Hahmann, Damion Dooley Simon, Matthew Lange, Hande Küçük-McGinty, Anoosha Sehar Simon, Rhiannon Cameron, Bart Gajderowicz, Daniela Rosu, Janna Hastings, Davide Audrito, Luigi Di Caro, Francesca Grasso, Roberto Nai, Emilio Sulis, Loris Bozzato, Cogan Shimizu, Antoine Zimmermann, Riccardo Baratella, Stefano Borgo, Sergio de Cesare, Tiago Prince Sales
2023	J	`jnl`	Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log. Bahar Aameri, Michael Grüninger
2023	Misc	`conf`	Semiautomatic Design of Ontologies. PoEM Michael Grüninger, Amanda Chow, Janette Wong
2023	—	`conf`	Using Mereotopology for Automated Spatial Inference in Task and Motion Planning. RobOntics@RO-MAN Florent Leoty, Jona Thai, Bernard Archimède, Philippe Fillatreau, Michael Grüninger
2022	J	`jnl`	TUpper: A top level ontology within standards. Appl. Ontology Michael Grüninger, Yi Ru, Jona Thai
2021	—	`ed.`	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), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021. JOWO Emilio M. Sanfilippo, Oliver Kutz, Nicolas Troquard, Torsten Hahmann, Claudio Masolo, Robert Hoehndorf, Randi Vita, Maria M. Hedblom, Guendalina Righetti, Dusan Sormaz, Walter Terkaj, Tiago Prince Sales, Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Ludger Jansen, Mathias Brochhausen, Daniele Porello, Pawel Garbacz, Selja Seppälä, Michael Grüninger, Amanda Vizedom, Damion M. Dooley, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Alsayed Algergawy, Naouel Karam, Friederike Klan, Franck Michel, Ilaria Rosati
2021	—	`conf`	Qualitative Spatial Ontologies for Robot Dynamics. JOWO Jona Thai, Michael Grüninger
2020	—	`conf`	A BioSequence Ontology from Molecular Structure. ICBO/ODLS Jona Thai, Michael Grüninger
2020	C	`conf`	A Mereology for Connected Structures. FOIS Michael Grüninger, Carmen Chui, Yi Ru, Jona Thai
2020	C	`conf`	An Ontology for Formal Models of Kinship. FOIS Carmen Chui, Michael Grüninger, Janette Wong
2020	J	`jnl`	Location ontologies based on mereotopological pluralism. Appl. Ontology Bahar Aameri, Michael Grüninger
2020	—	`conf`	Open the Pod Bay Door: Using Ontology to Understand Instructions. JOWO Yixin Sun, Michael Grüninger
2020	J	`jnl`	Proposed guidelines for publishing ontology papers. Appl. Ontology Roberta Ferrario, Michael Grüninger
2020	—	`conf`	Robot Meets World. JOWO Jona Thai, Michael Grüninger
2020	J	`jnl`	The FOUnt ontologies for quantities, units, and the physical world. Appl. Ontology Bahar Aameri, Carmen Chui, Michael Grüninger, Torsten Hahmann, Yi Ru
2019	J	`jnl`	A Representation Theorem for Change through Composition of Activities. ACM Trans. Comput. Log. Bahar Aameri, Michael Grüninger
2019	J	`jnl`	A time-indexed mereology for SUMO. Data Knowl. Eng. Lydia Silva Muñoz, Michael Grüninger
2019	—	`conf`	Foundationless Ontologies. JOWO Michael Grüninger, Megan Katsumi
2019	—	`conf`	More than just One Box. JOWO Yi Ru, Michael Grüninger
2019	—	`conf`	Multimodal Event Recognition with an Ontology for Cooking Recipes. JOWO Alison Emily Chow, Michael Grüninger
2019	—	`conf`	Ontology Validation as Dialogue. JOWO Michael Grüninger
2019	—	`conf`	PSL as a Foundational Ontology for the Industrial Ontologies Foundry. JOWO Michael Grüninger, Megan Katsumi
2019	—	`conf`	The Discipline of Ontological Engineering. Ontology Makes Sense Michael Grüninger
2018	J	`jnl`	Editorial announcement: Editorial Board changes. Appl. Ontology Roberta Ferrario, Michael Grüninger
2018	C	`conf`	Foundational Ontologies for Units of Measure. FOIS Michael Grüninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru
2018	—	`conf`	Ontology of Social Service Needs: Perspective of a Cognitive Agent. JOWO Bart Gajderowicz, Mark S. Fox, Michael Grüninger
2018	J	`jnl`	The metatheory of ontology reuse. Appl. Ontology Megan Katsumi, Michael Grüninger
2018	—	`conf`	What's the Damage? Abnormality in Solid Physical Objects. JOWO Yi Ru, Michael Grüninger
2017	—	`conf`	A New Perspective on the Mereotopology of RCC8. COSIT Michael Grüninger, Bahar Aameri
2017	J	`jnl`	Applied Ontology: A foreword by the new Editors-in-Chief. Appl. Ontology Roberta Ferrario, Michael Grüninger
2017	J	`jnl`	Choosing ontologies for reuse. Appl. Ontology Megan Katsumi, Michael Grüninger
2017	—	`conf`	General Model of Human Motivation and Goal Ranking. AAAI Fall Symposia Bart Gajderowicz, Mark S. Fox, Michael Grüninger
2017	J	`jnl`	Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems. Appl. Ontology Donna M. Fritzsche, Michael Grüninger, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Todd Schneider, Ram D. Sriram, Mark A. Underwood, Andrea Westerinen
2017	C	`conf`	The Time Ontology of Allen's Interval Algebra. TIME Michael Grüninger, Zhuojun Li
2016	C	`conf`	A Molecular Structure Ontology for Medicinal Chemistry. FOIS Carmen Chui, Michael Grüninger
2016	—	`conf`	Anti-Modules. JOWO@FOIS Bahar Aameri, Michael Grüninger, Carmen Chui
2016	B	`conf`	Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. EKAW Lydia Silva Muñoz, Michael Grüninger
2016	C	`conf`	Mapping and Verification of the Time Ontology in SUMO. FOIS Lydia Silva Muñoz, Michael Grüninger
2016	—	`ed.`	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), Annecy, France, July 6-9, 2016. JOWO@FOIS Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet
2016	C	`conf`	The Mereologies of Upper Ontologies. IC3K Lydia Silva Muñoz, Michael Grüninger
2016	C	`conf`	Verifying and Mapping the Mereotopology of Upper-Level Ontologies. KEOD Lydia Silva Muñoz, Michael Grüninger
2016	C	`conf`	What Is Ontology Reuse? FOIS Megan Katsumi, Michael Grüninger
2015	—	`conf`	Developing an Ontology for Joints in Furniture Design. FOMI Jyotsna Shrivastava, Michael Grüninger
2015	—	`conf`	Ontology Mapping in an e-Commerce Application. FOMI Carmen Chui, Michael Grüninger, Mark van Berkel
2015	—	`conf`	Using PSL to Extend and Evaluate Event Ontologies. RuleML Megan Katsumi, Michael Grüninger
2014	C	`conf`	A Sideways Look at Upper Ontologies. FOIS Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui
2014	C	`conf`	Interdependence among material objects and voids. FOIS Torsten Hahmann, Boyan Brodaric, Michael Grüninger
2014	C	`conf`	Mathematical Foundations for Participation Ontologies. FOIS Carmen Chui, Michael Grüninger
2014	C	`conf`	Merging the DOLCE and PSL Upper Ontologies. KEOD Carmen Chui, Michael Grüninger
2014	—	`conf`	Proof Support for Common Logic. ARQNL@IJCAR Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
2014	J	`jnl`	Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014. Appl. Ontology 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
2014	—	`conf`	Techniques for Merging Upper Ontologies. IC3K (Selected Papers) Carmen Chui, Michael Grüninger
2013	J	`jnl`	Complementation in Representable Theories of Region-Based Space. Notre Dame J. Formal Log. Torsten Hahmann, Michael Grüninger
2013	—	`conf`	Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). RuleML Michael Grüninger
2013	J	`jnl`	Towards ontology evaluation across the life cycleThe Ontology Summit 2013. Appl. Ontology 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
2012	J	`jnl`	Modular first-order ontologies via repositories. Appl. Ontology Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde
2012	J	`jnl`	On the algebra of regular sets - Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. Michael Winter, Torsten Hahmann, Michael Grüninger
2012	—	`conf`	Specifying Ontology Design Patterns with an Ontology Repository. WOP Michael Grüninger, Megan Katsumi
2012	J	`jnl`	The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization CoRR Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
2012	—	`conf`	The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
2012	J	`jnl`	The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility CoRR Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale
2011	—	`conf`	Constructing an Ontology Repository: A Case Study with Theories of Time Intervals. WoMO Darren Ong, Michael Grüninger
2011	J	`jnl`	Creating the ontologists of the future. Appl. Ontology Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Grüninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim, Barry Smith
2011	—	`conf`	Exploiting Modularity for Ontology Verification. WoMO Michael Grüninger, Torsten Hahmann, Megan Katsumi
2011	A*	`conf`	Multidimensional Mereotopology with Betweenness. IJCAI Torsten Hahmann, Michael Grüninger
2011	C	`conf`	Verification of Time Ontologies with Points and Intervals. TIME Michael Grüninger, Darren Ong
2011	—	`conf`	Verification of the OWL-Time Ontology. ISWC (1) Michael Grüninger
2010	C	`conf`	Automated Reasoning Support for Ontology Development. IC3K Megan Katsumi, Michael Grüninger
2010	C	`conf`	Foundational Process Relations in Bio-Ontologies. FOIS Atalay Özgövde, Michael Grüninger
2010	A*	`conf`	Ontologies for Dates and Duration. KR Michael Grüninger
2010	C	`conf`	Ontology Verification with Repositories. FOIS Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong
2010	C	`conf`	Theorem Proving in the Ontology Lifecycle. KEOD Megan Katsumi, Michael Grüninger
2009	—	`conf`	A First-Order Cutting Process Ontology for Sheet Metal Parts. FOMI Michael Grüninger, Arnaud Delaval
2009	J	`jnl`	The Ontological Stance for a Manufacturing Scenario. J. Cases Inf. Technol. Michael Grüninger
2009	—	`ch.`	Using the PSL Ontology. Handbook on Ontologies Michael Grüninger
2008	J	`jnl`	A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. Michael Grüninger, Richard Hull, Sheila A. McIlraith
2008	C	`ed.`	Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008 FOIS Carola Eschenbach, Michael Grüninger
2007	—	`conf`	What's Your Problem? The Problem of Problem Definition. SARA J. Christopher Beck, Michael Grüninger
2005	—	`conf`	Architectures for Semantic Integration. Semantic Interoperability and Integration Michael Uschold, Michael Grüninger
2005	—	`conf`	Model-theoretic Approaches to Semantic Integration (Extended Abstract). Semantic Interoperability and Integration Michael Grüninger
2005	J	`jnl`	Semantic Integration through Invariants. AI Mag. Michael Grüninger, Joseph Kopena
2004	J	`jnl`	Ontologies and Semantics for Seamless Connectivity. SIGMOD Rec. Michael Uschold, Michael Grüninger
2004	—	`ch.`	Ontology of the Process Specification Language. Handbook on Ontologies Michael Grüninger
2003	—	`conf`	Applications of PSL to Semantic Web Services. SWDB Michael Grüninger
2003	J	`jnl`	The Process Specification Language (PSL) Theory and Applications. AI Mag. Michael Grüninger, Christopher Menzel
2002	—	`conf`	Ontologies as a New Cost Factor in Enterprise Integration. ICEIMT 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
2002	J	`jnl`	Ontology Applications and Design - Introduction. Commun. ACM Michael Grüninger, Jintae Lee
2002	—	`conf`	Semantic Resolution for E-commerce. WRAC Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones
2002	A	`conf`	Semantic resolution for e-commerce. AAMAS Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones
2002	—	`conf`	Towards a Formal Representation of Driving Behaviors. FAABS Craig Schlenoff, Michael Grüninger
2001	C	`conf`	A formal foundation for process modeling. FOIS Christopher Menzel, Michael Grüninger
2001	J	`jnl`	Ontologies for Integrating Engineering Applications. J. Comput. Inf. Sci. Eng. Mihai Ciocoiu, Dana S. Nau, Michael Grüninger
2001	J	`jnl`	Toward Self-Integrating Software Applications for Supply Chain Management. Inf. Syst. Frontiers Albert T. Jones, Nenad Ivezic, Michael Grüninger
2000	—	`—`	Logical foundations of shape-based object recognition. Michael Grüninger
2000	J	`jnl`	Ontologies to Support Process Integration in Enterprise Engineering. Comput. Math. Organ. Theory Michael Grüninger, Katy Atefi, Mark S. Fox
1998	J	`jnl`	Enterprise Modeling. AI Mag. Mark S. Fox, Michael Grüninger
1997	—	`conf`	Formal Semantics of Enterprise Models. ICEIMT Michael Petit, Jan Goossenaerts, Michael Grüninger, James G. Nell, François B. Vernadat
1997	—	`conf`	Integrated Ontologies for Enterprise Modelling. ICEIMT Michael Grüninger
1997	—	`conf`	Ontologies for Enterprise Modelling. ICEIMT Mark S. Fox, Michael Grüninger
1995	C	`conf`	An Ontology of Quality for Enterprise Modelling. WETICE Henry M. Kim, Mark S. Fox, Michael Grüninger
1995	C	`conf`	An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour. WETICE Mark S. Fox, Mihai Barbuceanu, Michael Grüninger
1994	C	`conf`	A cost ontology for enterprise modelling. WETICE K. Donald Tham, Mark S. Fox, Michael Grüninger
1994	C	`conf`	A generic enterprise resource ontology. WETICE Fadi George Fadel, Mark S. Fox, Michael Grüninger
1994	B	`conf`	Ontologies for Enterprise Integration. CoopIS Mark S. Fox, Michael Grüninger