%0 Conference Paper %1 conf/jowo/ChuiG17 %A Chui, Carmen %A Gruninger, Michael %B JOWO %D 2017 %E Borgo, Stefano %E Kutz, Oliver %E Loebe, Frank %E Neuhaus, Fabian %E Adrian, Kemo %E Antovic, Mihailo %E Basile, Valerio %E Boeker, Martin %E Calvanese, Diego %E Caselli, Tommaso %E Colombo, Giorgio %E Confalonieri, Roberto %E Daniele, Laura %E Euzenat, Jérôme %E Galton, Antony %E Gromann, Dagmar %E Hedblom, Maria M. %E Herre, Heinrich %E Hinterwaldner, Inge %E Janes, Andrea %E Jansen, Ludger %E Krois, Kris %E Lieto, Antonio %E Masolo, Claudio %E Peñaloza, Rafael %E Porello, Daniele %E Radicioni, Daniele Paolo %E Sanfilippo, Emilio M. %E Schober, Daniel %E Stufano, Rossella %E Vizedom, Amanda %I CEUR-WS.org %K dblp %T Verification and Modularization of the DOLCE Upper Ontology. %U http://dblp.uni-trier.de/db/conf/jowo/jowo2017.html#ChuiG17 %V 2050

@inproceedings{conf/jowo/ChuiG17, added-at = {2023-03-10T00:00:00.000+0100}, author = {Chui, Carmen and Gruninger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/213f52635ab09ef15d2acfd731f513890/dblp}, booktitle = {JOWO}, crossref = {conf/jowo/2017}, editor = {Borgo, Stefano and Kutz, Oliver and Loebe, Frank and Neuhaus, Fabian and Adrian, Kemo and Antovic, Mihailo and Basile, Valerio and Boeker, Martin and Calvanese, Diego and Caselli, Tommaso and Colombo, Giorgio and Confalonieri, Roberto and Daniele, Laura and Euzenat, Jérôme and Galton, Antony and Gromann, Dagmar and Hedblom, Maria M. and Herre, Heinrich and Hinterwaldner, Inge and Janes, Andrea and Jansen, Ludger and Krois, Kris and Lieto, Antonio and Masolo, Claudio and Peñaloza, Rafael and Porello, Daniele and Radicioni, Daniele Paolo and Sanfilippo, Emilio M. and Schober, Daniel and Stufano, Rossella and Vizedom, Amanda}, ee = {https://ceur-ws.org/Vol-2050/FOUST_paper_1.pdf}, interhash = {1e98bdad2facea7a104064d8ffba5dd4}, intrahash = {13f52635ab09ef15d2acfd731f513890}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:05:38.000+0200}, title = {Verification and Modularization of the DOLCE Upper Ontology.}, url = {http://dblp.uni-trier.de/db/conf/jowo/jowo2017.html#ChuiG17}, volume = 2050, year = 2017 }