default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Grüninger
Michael Gruninger
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j37]Bahar Aameri
, Michael Grüninger:
Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log. 24(1): 9:1-9:24 (2023)- [c96]Yunpiao Bai, Michael Grüninger:
An Ontology for Event Location. FOIS 2023: 3-16 - [c95]Michael Grüninger, Amanda Chow, Janette Wong:
Semiautomatic Design of Ontologies. PoEM 2023: 143-158 - [c94]Yunpiao Bai, Michael Grüninger:
A Spatiotemporal Ontology for Semantic Trajectories (extended abstract). JOWO 2023 - [c93]Yixin Sun, Michael Grüninger:
A Unifying Approach to Boundaries and Multidimensional Mereotopology. JOWO 2023 - [c92]Yunpiao Bai, Jona Thai, Michael Grüninger:
An Ontological Analysis of Robot Path Planning Problems. RobOntics@RO-MAN 2023 - [c91]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 - [e6]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:
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. CEUR Workshop Proceedings 3637, CEUR-WS.org 2023 [contents] - 2022
- [j36]Michael Grüninger, Yi Ru, Jona Thai:
TUpper: A top level ontology within standards. Appl. Ontology 17(1): 143-165 (2022) - [c90]Morteza Rezanejad, Mohammad Khodadad, Hamidreza Mahyar, Herve Lombaert, Michael Gruninger, Dirk B. Walther, Kaleem Siddiqi:
Medial Spectral Coordinates for 3D Shape Analysis. CVPR 2022: 2676-2686 - [c89]Yunpiao Bai, Michael Gruninger:
Spatiotemporal = Spatial X Temporal. JOWO 2022 - [c88]Riley Moher, Michael Gruninger, Scott Sanner:
What's in a (Data) Type? Meaningful Type Safety for Data Science. RCIS 2022: 20-38 - 2021
- [c87]Morteza Rezanejad, Sidharth Gupta, Chandra Gummaluru, Ryan Marten, John Wilder, Michael Gruninger, Dirk B. Walther:
Contour-guided Image Completion with Perceptual Grouping. BMVC 2021: 73 - [c86]Kimberly Lai, Michael Gruninger:
Can SysML Be Used for Enterprise Modelling? PoEM 2021: 257-266 - [c85]Jona Thai, Michael Grüninger:
Qualitative Spatial Ontologies for Robot Dynamics. JOWO 2021 - [e5]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:
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. CEUR Workshop Proceedings 2969, CEUR-WS.org 2021 [contents] - [i6]Morteza Rezanejad, Sidharth Gupta, Chandra Gummaluru, Ryan Marten, John Wilder, Michael Gruninger, Dirk B. Walther:
Contour-guided Image Completion with Perceptual Grouping. CoRR abs/2111.11322 (2021) - [i5]Morteza Rezanejad, Mohammad Khodadad, Hamidreza Mahyar, Herve Lombaert, Michael Gruninger, Dirk B. Walther, Kaleem Siddiqi:
Medial Spectral Coordinates for 3D Shape Analysis. CoRR abs/2111.13295 (2021) - 2020
- [j35]Roberta Ferrario, Michael Grüninger:
Proposed guidelines for publishing ontology papers. Appl. Ontology 15(1): 1-5 (2020) - [j34]Bahar Aameri, Michael Grüninger:
Location ontologies based on mereotopological pluralism. Appl. Ontology 15(2): 135-184 (2020) - [j33]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): 313-359 (2020) - [c84]Carmen Chui, Michael Grüninger, Janette Wong:
An Ontology for Formal Models of Kinship. FOIS 2020: 92-106 - [c83]Michael Grüninger, Carmen Chui, Yi Ru, Jona Thai:
A Mereology for Connected Structures. FOIS 2020: 171-185 - [c82]Jona Thai, Michael Grüninger:
A BioSequence Ontology from Molecular Structure. ICBO/ODLS 2020: 1-12 - [c81]Yixin Sun, Michael Grüninger:
Open the Pod Bay Door: Using Ontology to Understand Instructions. JOWO 2020 - [c80]Jona Thai, Michael Grüninger:
Robot Meets World. JOWO 2020
2010 – 2019
- 2019
- [j32]Boyan Brodaric, Torsten Hahmann, Michael Gruninger:
Water features and their parts. Appl. Ontology 14(1): 1-42 (2019) - [j31]Lydia Silva Muñoz, Michael Grüninger:
A time-indexed mereology for SUMO. Data Knowl. Eng. 123 (2019) - [j30]Bahar Aameri, Michael Grüninger:
A Representation Theorem for Change through Composition of Activities. ACM Trans. Comput. Log. 20(4): 20:1-20:31 (2019) - [c79]Michael Grüninger:
The Discipline of Ontological Engineering. Ontology Makes Sense 2019: 82-104 - [c78]Alison Emily Chow, Michael Grüninger:
Multimodal Event Recognition with an Ontology for Cooking Recipes. JOWO 2019 - [c77]Michael Grüninger:
Ontology Validation as Dialogue. JOWO 2019 - [c76]Michael Grüninger, Megan Katsumi:
PSL as a Foundational Ontology for the Industrial Ontologies Foundry. JOWO 2019 - [c75]Michael Grüninger, Megan Katsumi:
Foundationless Ontologies. JOWO 2019 - [c74]Yi Ru, Michael Grüninger:
More than just One Box. JOWO 2019 - 2018
- [j29]Roberta Ferrario, Michael Grüninger:
Editorial announcement: Editorial Board changes. Appl. Ontology 13(1): 1 (2018) - [j28]Megan Katsumi, Michael Grüninger:
The metatheory of ontology reuse. Appl. Ontology 13(3): 225-254 (2018) - [c73]Boyan Brodaric, Michael Gruninger:
Particular Types and Particular Dependence. FOIS 2018: 19-32 - [c72]Michael Grüninger, Bahar Aameri, Carmen Chui, Torsten Hahmann, Yi Ru:
Foundational Ontologies for Units of Measure. FOIS 2018: 211-224 - [c71]Bart Gajderowicz, Mark S. Fox, Michael Grüninger:
Ontology of Social Service Needs: Perspective of a Cognitive Agent. JOWO 2018 - [c70]Yi Ru, Michael Grüninger:
What's the Damage? Abnormality in Solid Physical Objects. JOWO 2018 - 2017
- [j27]Roberta Ferrario, Michael Grüninger:
Applied Ontology: A foreword by the new Editors-in-Chief. Appl. Ontology 12(1): 1-4 (2017) - [j26]Donna M. Fritzsche, Michael Grüninger, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Todd Schneider, Ram D. Sriram, Mark A. Underwood, Andrea Westerinen:
Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems. Appl. Ontology 12(2): 91-111 (2017) - [j25]Megan Katsumi, Michael Grüninger:
Choosing ontologies for reuse. Appl. Ontology 12(3-4): 195-221 (2017) - [c69]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:
Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace. AAAI Workshops 2017 - [c68]Bart Gajderowicz, Mark S. Fox, Michael Grüninger:
General Model of Human Motivation and Goal Ranking. AAAI Fall Symposia 2017: 332-337 - [c67]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:
Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace. AAAI Spring Symposia 2017 - [c66]Michael Grüninger, Bahar Aameri:
A New Perspective on the Mereotopology of RCC8. COSIT 2017: 2:1-2:13 - [c65]João Paulo A. Almeida, Michael Gruninger, Giancarlo Guizzardi:
Message from the VORTE 2017 Workshop Chairs. EDOC Workshops 2017: 100-101 - [c64]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:
A virtual marketplace for goods and services for people with social needs. IHTC 2017: 202-206 - [c63]Bahar Aameri, Michael Gruninger:
Encountering the Physical World. JOWO 2017 - [c62]Carmen Chui, Michael Gruninger:
Verification and Modularization of the DOLCE Upper Ontology. JOWO 2017 - [c61]Michael Gruninger, Carmen Chui, Megan Katsumi:
Upper Ontologies in COLORE. JOWO 2017 - [c60]Yi Ru, Michael Gruninger:
Parts Unknown: Mereologies for Solid Physical Objects. JOWO 2017 - [c59]Michael Grüninger, Zhuojun Li:
The Time Ontology of Allen's Interval Algebra. TIME 2017: 16:1-16:16 - 2016
- [c58]Lydia Silva Muñoz, Michael Grüninger:
Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. EKAW 2016: 606-620 - [c57]Bahar Aameri, Michael Grüninger, Carmen Chui:
Anti-Modules. JOWO@FOIS 2016 - [c56]Megan Katsumi, Michael Grüninger:
What Is Ontology Reuse? FOIS 2016: 9-22 - [c55]Lydia Silva Muñoz, Michael Grüninger:
Mapping and Verification of the Time Ontology in SUMO. FOIS 2016: 109-122 - [c54]Carmen Chui, Michael Grüninger:
A Molecular Structure Ontology for Medicinal Chemistry. FOIS 2016: 285-298 - [c53]Lydia Silva Muñoz, Michael Grüninger:
Verifying and Mapping the Mereotopology of Upper-Level Ontologies. KEOD 2016: 31-42 - [c52]Lydia Silva Muñoz, Michael Grüninger:
The Mereologies of Upper Ontologies. IC3K 2016: 191-212 - [e4]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:
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. CEUR Workshop Proceedings 1660, CEUR-WS.org 2016 [contents] - 2015
- [j24]Mark A. Underwood, Michael Gruninger, Leo Obrst, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Torsten Hahmann, Ram D. Sriram:
Internet of things: Toward smart networked systems and societies. Appl. Ontology 10(3-4): 355-365 (2015) - [c51]Bahar Aameri, Michael Gruninger:
A New Look at Ontology Correctness. AAAI Spring Symposia 2015 - [c50]Michael Gruninger, Megan Katsumi:
An Activity-Based Ontology for Dates. AAAI Spring Symposia 2015 - [c49]Carmen Chui, Michael Grüninger, Mark van Berkel:
Ontology Mapping in an e-Commerce Application. FOMI 2015: 25-38 - [c48]Jyotsna Shrivastava, Michael Grüninger:
Developing an Ontology for Joints in Furniture Design. FOMI 2015: 88-99 - [c47]Megan Katsumi, Michael Grüninger:
Using PSL to Extend and Evaluate Event Ontologies. RuleML 2015: 225-240 - 2014
- [j23]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): 155-170 (2014) - [c46]Xing Tan, Michael Gruninger:
The Complexity of Partial-Order Plan Viability Problems. ICAPS 2014 - [c45]Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58 - [c44]Bahar Aameri, Michael Gruninger:
Reuse with Domain and Process Ontologies. WoMO@FOIS 2014 - [c43]Michael Gruninger, Bahar Aameri:
Preservation of Modules. WoMO@FOIS 2014 - [c42]Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui:
A Sideways Look at Upper Ontologies. FOIS 2014: 9-22 - [c41]Torsten Hahmann, Boyan Brodaric, Michael Grüninger:
Interdependence among material objects and voids. FOIS 2014: 37-50 - [c40]Carmen Chui, Michael Grüninger:
Mathematical Foundations for Participation Ontologies. FOIS 2014: 105-118 - [c39]Carmen Chui, Michael Grüninger:
Merging the DOLCE and PSL Upper Ontologies. KEOD 2014: 16-26 - [c38]Carmen Chui, Michael Grüninger:
Techniques for Merging Upper Ontologies. IC3K (Selected Papers) 2014: 273-292 - [e3]Aldo Gangemi, Michael Gruninger, Karl Hammar, Laurent Lefort, Valentina Presutti, Ansgar Scherp:
Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 21, 2013. CEUR Workshop Proceedings 1188, CEUR-WS.org 2014 [contents] - 2013
- [j22]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): 179-194 (2013) - [j21]Torsten Hahmann, Michael Grüninger:
Complementation in Representable Theories of Region-Based Space. Notre Dame J. Formal Log. 54(2): 177-214 (2013) - [c37]Michael Grüninger:
Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk). RuleML 2013: 12 - 2012
- [j20]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): 25-60 (2012) - [j19]Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde:
Modular first-order ontologies via repositories. Appl. Ontology 7(2): 169-209 (2012) - [j18]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:
Ontology for Big Systems: The Ontology Summit 2012 Communiqué. Appl. Ontology 7(3): 357-371 (2012) - [c36]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: 463-467 - [c35]Michael Grüninger, Megan Katsumi:
Specifying Ontology Design Patterns with an Ontology Repository. WOP 2012 - [i4]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. CoRR abs/1204.5093 (2012) - [i3]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 abs/1208.0293 (2012) - 2011
- [j17]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): 91-98 (2011) - [c34]Torsten Hahmann, Michael Gruninger:
A Naive Theory of Dimension for Qualitative Spatial Relations. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c33]Torsten Hahmann, Michael Grüninger:
Multidimensional Mereotopology with Betweenness. IJCAI 2011: 906-911 - [c32]Michael Grüninger:
Verification of the OWL-Time Ontology. ISWC (1) 2011: 225-240 - [c31]Michael Gruninger, Salim Bouafoud:
Thinking Outside (and Inside) the Box. SHAPES 2011 - [c30]Michael Grüninger, Darren Ong:
Verification of Time Ontologies with Points and Intervals. TIME 2011: 31-38 - [c29]Michael Grüninger, Torsten Hahmann, Megan Katsumi:
Exploiting Modularity for Ontology Verification. WoMO 2011: 55-62 - [c28]Darren Ong, Michael Grüninger:
Constructing an Ontology Repository: A Case Study with Theories of Time Intervals. WoMO 2011: 110-125 - 2010
- [c27]Atalay Özgövde, Michael Grüninger:
Foundational Process Relations in Bio-Ontologies. FOIS 2010: 243-256 - [c26]Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong:
Ontology Verification with Repositories. FOIS 2010: 317-330 - [c25]Megan Katsumi, Michael Grüninger:
Theorem Proving in the Ontology Lifecycle. KEOD 2010: 37-49 - [c24]Megan Katsumi, Michael Grüninger:
Automated Reasoning Support for Ontology Development. IC3K 2010: 208-225 - [c23]Michael Grüninger:
Ontologies for Dates and Duration. KR 2010 - [c22]Xing Tan, Michael Gruninger:
Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. Web Intelligence 2010: 324-327
2000 – 2009
- 2009
- [j16]Torsten Hahmann, Michael Winter, Michael Gruninger:
Stonian p-ortholattices: A new approach to the mereotopology RT0. Artif. Intell. 173(15): 1424-1440 (2009) - [j15]Michael Grüninger:
The Ontological Stance for a Manufacturing Scenario. J. Cases Inf. Technol. 11(4): 1-25 (2009) - [c21]Michael Winter, Torsten Hahmann, Michael Gruninger:
On the Skeleton of Stonian p-Ortholattices. RelMiCS 2009: 351-365 - [c20]Torsten Hahmann, Michael Gruninger:
Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 11-16 - [c19]Michael Gruninger, Xing Tan:
Reasoning about Partially Ordered Web Service Activities in PSL. ASWC 2009: 231-245 - [c18]Michael Grüninger, Arnaud Delaval:
A First-Order Cutting Process Ontology for Sheet Metal Parts. FOMI 2009: 22-33 - [c17]Ali Hashemi, Michael Gruninger:
Ontology Design through Modular Repositories. KEOD 2009: 192-199 - [p3]Michael Gruninger:
The Ontological Stance for a Manufacturing Scenario. Cases on Semantic Interoperability for Information Systems Integration 2009: 22-42 - [p2]Michael Grüninger:
Using the PSL Ontology. Handbook on Ontologies 2009: 423-443 - 2008
- [j14]Michael Gruninger, Olivier Bodenreider, Frank Olken, Leo Obrst, Peter Yim:
Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding the distinctions. Appl. Ontology 3(3): 191-200 (2008) - [j13]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): 3-7 (2008) - [c16]Torsten Hahmann, Michael Gruninger:
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. KR 2008: 263-273 - [e2]Carola Eschenbach, Michael Grüninger:
Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008. Frontiers in Artificial Intelligence and Applications 183, IOS Press 2008, ISBN 978-1-58603-923-3 [contents] - 2007
- [j12]Christel Dartigues, Parisa Ghodous, Michael Gruninger, Denis Pallez, Ram D. Sriram:
CAD/CAPP Integration using Feature Ontology. Concurr. Eng. Res. Appl. 15(2): 237-249 (2007) - [c15]J. Christopher Beck, Michael Grüninger:
What's Your Problem? The Problem of Problem Definition. SARA 2007: 393-394 - 2005
- [j11]Michael Grüninger, Joseph Kopena:
Semantic Integration through Invariants. AI Mag. 26(1): 11-20 (2005) - [j10]Conrad Bock, Michael Gruninger:
PSL: A semantic domain for flow models. Softw. Syst. Model. 4(2): 209-231 (2005) - [i2]Michael Grüninger:
Model-theoretic Approaches to Semantic Integration (Extended Abstract). Semantic Interoperability and Integration 2005 - [i1]Michael Uschold, Michael Grüninger:
Architectures for Semantic Integration. Semantic Interoperability and Integration 2005 - 2004
- [j9]Michael Uschold, Michael Grüninger:
Ontologies and Semantics for Seamless Connectivity. SIGMOD Rec. 33(4): 58-64 (2004) - [p1]Michael Grüninger:
Ontology of the Process Specification Language. Handbook on Ontologies 2004: 575-592 - 2003
- [j8]Michael Grüninger, Christopher Menzel:
The Process Specification Language (PSL) Theory and Applications. AI Mag. 24(3): 63-74 (2003) - [c14]Michael Grüninger:
Applications of PSL to Semantic Web Services. SWDB 2003: 217-230 - 2002
- [j7]Michael Grüninger, Jintae Lee:
Ontology Applications and Design - Introduction. Commun. ACM 45(2): 39-41 (2002) - [c13]Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones:
Semantic resolution for e-commerce. AAMAS 2002: 1037-1038 - [c12]Craig Schlenoff, Michael Grüninger:
Towards a Formal Representation of Driving Behaviors. FAABS 2002: 290-291 - [c11]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: 253-263 - [c10]Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones:
Semantic Resolution for E-commerce. WRAC 2002: 355-366 - 2001
- [j6]Albert T. Jones, Nenad Ivezic, Michael Grüninger:
Toward Self-Integrating Software Applications for Supply Chain Management. Inf. Syst. Frontiers 3(4): 403-412 (2001) - [j5]Mihai Ciocoiu, Dana S. Nau, Michael Grüninger:
Ontologies for Integrating Engineering Applications. J. Comput. Inf. Sci. Eng. 1(1): 12-22 (2001) - [c9]Christopher Menzel, Michael Grüninger:
A formal foundation for process modeling. FOIS 2001: 256-269 - [e1]Asunción Gómez-Pérez, Michael Gruninger, Heiner Stuckenschmidt, Michael Uschold:
Proceedings of the IJCAI-01 Workshop on Ontologies and Information Sharing Seattle, USA, August 4-5, 2001. CEUR Workshop Proceedings 47, CEUR-WS.org 2001 [contents] - 2000
- [b1]Michael Grüninger:
Logical foundations of shape-based object recognition. University of Toronto, Canada, 2000 - [j4]Michael Grüninger, Katy Atefi, Mark S. Fox:
Ontologies to Support Process Integration in Enterprise Engineering. Comput. Math. Organ. Theory 6(4): 381-394 (2000)
1990 – 1999
- 1998
- [j3]Mark S. Fox, Michael Grüninger:
Enterprise Modeling. AI Mag. 19(3): 109-121 (1998) - [j2]Jintae Lee, Michael Gruninger, Yan Jin, Thomas W. Malone, Austin Tate, Gregg Yost:
The Process Interchange Format and Framework. Knowl. Eng. Rev. 13(1): 91-120 (1998) - 1997
- [c8]Michael Petit, Jan Goossenaerts, Michael Grüninger, James G. Nell, François B. Vernadat:
Formal Semantics of Enterprise Models. ICEIMT 1997: 135-139 - [c7]Mark S. Fox, Michael Grüninger:
Ontologies for Enterprise Modelling. ICEIMT 1997: 190-200 - [c6]Michael Grüninger:
Integrated Ontologies for Enterprise Modelling. ICEIMT 1997: 368-377 - 1996
- [j1]Mike Uschold, Michael Gruninger:
Ontologies: principles, methods and applications. Knowl. Eng. Rev. 11(2): 93-136 (1996) - 1995
- [c5]Mark S. Fox, Mihai Barbuceanu, Michael Grüninger:
An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour. WETICE 1995: 71-81 - [c4]Henry M. Kim, Mark S. Fox, Michael Grüninger:
An Ontology of Quality for Enterprise Modelling. WETICE 1995: 105-116 - 1994
- [c3]Mark S. Fox, Michael Grüninger:
Ontologies for Enterprise Integration. CoopIS 1994: 82-89 - [c2]Fadi George Fadel, Mark S. Fox, Michael Grüninger:
A generic enterprise resource ontology. WETICE 1994: 117-128 - [c1]K. Donald Tham, Mark S. Fox, Michael Grüninger:
A cost ontology for enterprise modelling. WETICE 1994: 197-210
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
