Vol-2049⫷ Vol-2050 ⫸Vol-2051
urn:nbn:de:0074-2050-0


Vol-2050/fomi-paper8⫷Vol-2050/foust-paper1⫸Vol-2050/foust-paper2
Carmen ChuiMichael Grüninger

Verification and Modularization of the DOLCE Upper Ontology