Megan Katsumi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

2 Michael Grüninger, Torsten Hahmann, Megan Katsumi: Exploiting Modularity for Ontology Verification. WoMO 2011: 55-62

2010

1 Megan Katsumi, Michael Grüninger: Theorem Proving in the Ontology Lifecycle. KEOD 2010: 37-49

	2011
2		Michael Grüninger, Torsten Hahmann, Megan Katsumi: Exploiting Modularity for Ontology Verification. WoMO 2011: 55-62
	2010
1		Megan Katsumi, Michael Grüninger: Theorem Proving in the Ontology Lifecycle. KEOD 2010: 37-49

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Michael Grüninger (Michael Gruninger)	[1] [2]
2	Torsten Hahmann	[2]