Darren Ong

Verification of Time Ontologies with Points and Intervals

Michael Grüninger, Darren Ong, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Modular first-order ontologies via repositories

Torsten Hahmann, Michael Grüninger, Ali Hashemi, 2012, Appl. Ontology.

Semantic Integration of Time Ontologies

Darren Ong, 2011 .

Constructing an Ontology Repository: A Case Study with Theories of Time Intervals

Michael Grüninger, Darren Ong, 2011, WoMO.

Ontology Verification with Repositories

Torsten Hahmann, Michael Grüninger, Ali Hashemi, 2010, FOIS.