BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:
C.Chui M.Katsumi A.Hashemi T.Hahmann
Talks about:
ontolog (5) mereotopolog (1) repositori (1) character (1) lifecycl (1) theoret (1) theorem (1) modular (1) design (1) upper (1)

Person: Michael Grüninger

DBLP DBLP: Gr=uuml=ninger:Michael

Contributed to:

KEOD 20142014
KEOD 20102010
KR 20102010
KEOD 20092009
KR 20082008

Wrote 5 papers:

KEOD-2014-ChuiG #ontology
Merging the DOLCE and PSL Upper Ontologies (CC, MG), pp. 16–26.
KEOD-2010-KatsumiG #lifecycle #ontology #proving #theorem proving
Theorem Proving in the Ontology Lifecycle (MK, MG), pp. 37–49.
KR-2010-Gruninger #ontology
Ontologies for Dates and Duration (MG).
KEOD-2009-HashemiG #composition #design #ontology #repository
Ontology Design through Modular Repositories (AH, MG), pp. 192–199.
KR-2008-HahmannG #ontology
Model-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology (TH, MG), pp. 263–273.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.