\n \n \n
\n
\n\n \n \n \n \n \n \n Verification and Modularization of the DOLCE Upper Ontology.\n \n \n \n \n\n\n \n Chui, C.; and Gruninger, M.\n\n\n \n\n\n\n In Borgo, S.; Kutz, O.; Loebe, F.; Neuhaus, F.; Adrian, K.; Antovic, M.; Basile, V.; Boeker, M.; Calvanese, D.; Caselli, T.; Colombo, G.; Confalonieri, R.; Daniele, L.; Euzenat, J.; Galton, A.; Gromann, D.; Hedblom, M. M.; Herre, H.; Hinterwaldner, I.; Janes, A.; Jansen, L.; Krois, K.; Lieto, A.; Masolo, C.; Peñaloza, R.; Porello, D.; Radicioni, D. P.; Sanfilippo, E. M.; Schober, D.; Stufano, R.; and Vizedom, A., editor(s),
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017, volume 2050, of
CEUR Workshop Proceedings, 2017. CEUR-WS.org\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/jowo/ChuiG17,\n author = {Carmen Chui and\n Michael Gruninger},\n editor = {Stefano Borgo and\n Oliver Kutz and\n Frank Loebe and\n Fabian Neuhaus and\n Kemo Adrian and\n Mihailo Antovic and\n Valerio Basile and\n Martin Boeker and\n Diego Calvanese and\n Tommaso Caselli and\n Giorgio Colombo and\n Roberto Confalonieri and\n Laura Daniele and\n J{\\'{e}}r{\\^{o}}me Euzenat and\n Antony Galton and\n Dagmar Gromann and\n Maria M. Hedblom and\n Heinrich Herre and\n Inge Hinterwaldner and\n Andrea Janes and\n Ludger Jansen and\n Kris Krois and\n Antonio Lieto and\n Claudio Masolo and\n Rafael Pe{\\~{n}}aloza and\n Daniele Porello and\n Daniele Paolo Radicioni and\n Emilio M. Sanfilippo and\n Daniel Schober and\n Rossella Stufano and\n Amanda Vizedom},\n title = {Verification and Modularization of the {DOLCE} Upper Ontology},\n booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean\n Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017},\n series = {{CEUR} Workshop Proceedings},\n volume = {2050},\n publisher = {CEUR-WS.org},\n year = {2017},\n url = {https://ceur-ws.org/Vol-2050/FOUST\\_paper\\_1.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},\n biburl = {https://dblp.org/rec/conf/jowo/ChuiG17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Upper Ontologies in COLORE.\n \n \n \n \n\n\n \n Gruninger, M.; Chui, C.; and Katsumi, M.\n\n\n \n\n\n\n In Borgo, S.; Kutz, O.; Loebe, F.; Neuhaus, F.; Adrian, K.; Antovic, M.; Basile, V.; Boeker, M.; Calvanese, D.; Caselli, T.; Colombo, G.; Confalonieri, R.; Daniele, L.; Euzenat, J.; Galton, A.; Gromann, D.; Hedblom, M. M.; Herre, H.; Hinterwaldner, I.; Janes, A.; Jansen, L.; Krois, K.; Lieto, A.; Masolo, C.; Peñaloza, R.; Porello, D.; Radicioni, D. P.; Sanfilippo, E. M.; Schober, D.; Stufano, R.; and Vizedom, A., editor(s),
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017, volume 2050, of
CEUR Workshop Proceedings, 2017. CEUR-WS.org\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/jowo/GruningerCK17,\n author = {Michael Gruninger and\n Carmen Chui and\n Megan Katsumi},\n editor = {Stefano Borgo and\n Oliver Kutz and\n Frank Loebe and\n Fabian Neuhaus and\n Kemo Adrian and\n Mihailo Antovic and\n Valerio Basile and\n Martin Boeker and\n Diego Calvanese and\n Tommaso Caselli and\n Giorgio Colombo and\n Roberto Confalonieri and\n Laura Daniele and\n J{\\'{e}}r{\\^{o}}me Euzenat and\n Antony Galton and\n Dagmar Gromann and\n Maria M. Hedblom and\n Heinrich Herre and\n Inge Hinterwaldner and\n Andrea Janes and\n Ludger Jansen and\n Kris Krois and\n Antonio Lieto and\n Claudio Masolo and\n Rafael Pe{\\~{n}}aloza and\n Daniele Porello and\n Daniele Paolo Radicioni and\n Emilio M. Sanfilippo and\n Daniel Schober and\n Rossella Stufano and\n Amanda Vizedom},\n title = {Upper Ontologies in {COLORE}},\n booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean\n Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017},\n series = {{CEUR} Workshop Proceedings},\n volume = {2050},\n publisher = {CEUR-WS.org},\n year = {2017},\n url = {https://ceur-ws.org/Vol-2050/FOUST\\_paper\\_2.pdf},\n timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/jowo/GruningerCK17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n