Michael Grüninger

Michael Gruninger

	2011
43		Torsten Hahmann, Michael Gruninger: A Naive Theory of Dimension for Qualitative Spatial Relations. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
42		Torsten Hahmann, Michael Grüninger: Multidimensional Mereotopology with Betweenness. IJCAI 2011: 906-911
41		Michael Grüninger: Verification of the OWL-Time Ontology. International Semantic Web Conference (1) 2011: 225-240
40		Michael Grüninger, Darren Ong: Verification of Time Ontologies with Points and Intervals. TIME 2011: 31-38
39		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. Applied Ontology 6(1): 91-98 (2011)
	2010
38		Atalay Özgövde, Michael Grüninger: Foundational Process Relations in Bio-Ontologies. FOIS 2010: 243-256
37		Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong: Ontology Verification with Repositories. FOIS 2010: 317-330
36		Megan Katsumi, Michael Grüninger: Theorem Proving in the Ontology Lifecycle. KEOD 2010: 37-49
35		Michael Grüninger: Ontologies for Dates and Duration. KR 2010
34		Xing Tan, Michael Gruninger: Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. Web Intelligence 2010: 324-327
	2009
33		Michael Gruninger, Xing Tan: Reasoning about Partially Ordered Web Service Activities in PSL. ASWC 2009: 231-245
32		Michael Grüninger, Arnaud Delaval: A First-Order Cutting Process Ontology for Sheet Metal Parts. FOMI 2009: 22-33
31		Ali Hashemi, Michael Gruninger: Ontology Design through Modular Repositories. KEOD 2009: 192-199
30		Michael Winter, Torsten Hahmann, Michael Gruninger: On the Skeleton of Stonian p-Ortholattices. RelMiCS 2009: 351-365
29		Torsten Hahmann, Michael Winter, Michael Gruninger: Stonian p-ortholattices: A new approach to the mereotopology RT0. Artif. Intell. 173(15): 1424-1440 (2009)
28		Michael Grüninger: The Ontological Stance for a Manufacturing Scenario. J. Cases on Inf. Techn. 11(4): 1-25 (2009)
	2008
27		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 IOS Press 2008
26		Torsten Hahmann, Michael Gruninger: Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. KR 2008: 263-273
25		Michael Gruninger, Olivier Bodenreider, Frank Olken, Leo Obrst, Peter Yim: Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding the distinctions. Applied Ontology 3(3): 191-200 (2008)
24		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)
	2007
23		J. Christopher Beck, Michael Grüninger: What's Your Problem? The Problem of Problem Definition. SARA 2007: 393-394
22		Christel Dartigues, Parisa Ghodous, Michael Gruninger, Denis Pallez, Ram Sriram: CAD/CAPP Integration using Feature Ontology. Concurrent Engineering: R&A 15(2): 237-249 (2007)
	2005
21		Michael Uschold, Michael Grüninger: Architectures for Semantic Integration. Semantic Interoperability and Integration 2005
20		Michael Grüninger: Model-theoretic Approaches to Semantic Integration (Extended Abstract). Semantic Interoperability and Integration 2005
19		Michael Grüninger, Joseph Kopena: Semantic Integration through Invariants. AI Magazine 26(1): 11-20 (2005)
18		Conrad Bock, Michael Gruninger: PSL: A semantic domain for flow models. Software and System Modeling 4(2): 209-231 (2005)
	2004
17		Michael Grüninger: Ontology of the Process Specification Language. Handbook on Ontologies 2004: 575-592
16		Michael Uschold, Michael Grüninger: Ontologies and Semantics for Seamless Connectivity. SIGMOD Record 33(4): 58-64 (2004)
	2003
15		Michael Grüninger: Applications of PSL to Semantic Web Services. SWDB 2003: 217-230
14		Michael Grüninger, Christopher Menzel: The Process Specification Language (PSL) Theory and Applications. AI Magazine 24(3): 63-74 (2003)
	2002
13		Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert Jones: Semantic resolution for e-commerce. AAMAS 2002: 1037-1038
12		Craig Schlenoff, Michael Grüninger: Towards a Formal Representation of Driving Behaviors. FAABS 2002: 290-291
11		H. Ted Goranson, Bei-tseng Chu, Michael Grüninger, Nenad Ivezic, Boonserm Kulvatunyou, Yannis Labrou, Ryusuke Masuoka, Yun Peng, Amit P. Sheth, David Shorter: Ontologies as a New Cost Factor in Enterprise Integration. ICEIMT 2002: 253-263
10		Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert Jones: Semantic Resolution for E-commerce. WRAC 2002: 355-366
9		Michael Grüninger, Jintae Lee: Ontology Applications and Design - Introduction. Commun. ACM 45(2): 39-41 (2002)
	2001
8		Christopher Menzel, Michael Grüninger: A formal foundation for process modeling. FOIS 2001: 256-269
7		Albert Jones, Nenad Ivezic, Michael Grüninger: Toward Self-Integrating Software Applications for Supply Chain Management. Information Systems Frontiers 3(4): 403-412 (2001)
6		Mihai Ciocoiu, Dana S. Nau, Michael Grüninger: Ontologies for Integrating Engineering Applications. J. Comput. Inf. Sci. Eng. 1(1): 12-22 (2001)
	2000
5		Michael Grüninger, Katy Atefi, Mark S. Fox: Ontologies to Support Process Integration in Enterprise Engineering. Computational & Mathematical Organization Theory 6(4): 381-394 (2000)
	1998
4		Mark S. Fox, Michael Grüninger: Enterprise Modeling. AI Magazine 19(3): 109-121 (1998)
	1995
3		Henry M. Kim, Mark S. Fox, Michael Grüninger: An Ontology of Quality for Enterprise Modelling. WETICE 1995: 105-116
2		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
	1994
1		Mark S. Fox, Michael Grüninger: Ontologies for Enterprise Integration. CoopIS 1994: 82-89

Coauthor Index

1	Katy Atefi	[5]
2	Mihai Barbuceanu	[2]
3	J. Christopher Beck	[23]
4	Conrad Bock	[18]
5	Olivier Bodenreider	[25]
6	Bei-tseng Chu	[11]
7	Mihai Ciocoiu	[6]
8	Christel Dartigues-Pallez (Christel Dartigues)	[22]
9	Arnaud Delaval	[32]
10	Carola Eschenbach	[27]
11	Elizabeth Florescu	[39]
12	Mark S. Fox	[1] [2] [3] [4] [5]
13	Antony Galton	[39]
14	Parisa Ghodous	[22]
15	H. Ted Goranson	[11]
16	Nicola Guarino	[39]
17	Torsten Hahmann	[26] [29] [30] [37] [42] [43]
18	Ali Hashemi	[31] [37]
19	Richard Hull	[24]
20	Nenad Ivezic	[7] [10] [11] [13]
21	Albert Jones	[7] [10] [13]
22	Megan Katsumi	[36]
23	Henry M. Kim	[3]
24	Joseph B. Kopena (Joseph Kopena)	[19]
25	Boonserm Kulvatunyou	[11]
26	Yannis Labrou	[11]
27	Jintae Lee	[9]
28	Xiaocheng Luan	[10] [13]
29	Ryusuke Masuoka	[11]
30	Sheila A. McIlraith	[24]
31	Christopher Menzel	[8] [14]
32	Dana S. Nau	[6]
33	Fabian Neuhaus	[39]
34	Leo Obrst	[25] [39]
35	Frank Olken	[25]
36	Darren Ong	[37] [40]
37	Atalay Özgövde	[38]
38	Denis Pallez	[22]
39	Yun Peng	[10] [11] [13]
40	Arturo Sanchez	[39]
41	Craig Schlenoff	[12]
42	Amit P. Sheth	[11]
43	David Shorter	[11]
44	Barry Smith	[39]
45	Ram Sriram	[22]
46	Xing Tan	[33] [34]
47	Michael Uschold	[16] [21]
48	Amanda Vizedom	[39]
49	Michael Winter	[29] [30]
50	Peter Yim	[25] [39]
51	Youyong Zou	[10] [13]

Colors in the list of coauthors

Last update Thu Feb 16 00:55:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page