\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n

\n generated by\n \n $\"bibbase.org\"\n$ \n \n

\n \n\n

\n\n

\n \n Group by\n \n \n
- \n Year\n
- \n Author\n
- \n Type\n
- \n Keyword\n
- \n Downloads\n
\n
\n \n \n \n \n
- \n \n Expand/Collapse All\n \n
- \n \n Download BibTeX\n \n
- \n \n RSS Feed\n \n
\n

\n\n\n

\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n

\n JavaScript\n (easiest)\n

\n            <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F29%2F4227.bib&jsonp=1&jsonp=1\"></script>\n

\n\n PHP\n

\n            <?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F29%2F4227.bib&jsonp=1\");\n            print_r($contents);\n            ?>\n

\n\n iFrame\n (not recommended)\n

\n            <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F29%2F4227.bib&jsonp=1\"></iframe>\n

\n\n

\n For more details see the documention.\n

\n\n

\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n

\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

renew the authorization for BibBase on Mendeley, and
update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n

\n\n

\n \n \n Fix it now\n

\n\n

\n\n\n

\n \n \n

\n \n 2023\n \n \n (8)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Reducible Theories and Amalgamations of Models.\n \n \n \n \n\n\n \n Aameri, B.; and Grüninger, M.\n\n\n \n\n\n\n ACM Trans. Comput. Log., 24(1): 9:1–9:24. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Reducible$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/tocl/AameriG23,\n  author       = {Bahar Aameri and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Reducible Theories and Amalgamations of Models},\n  journal      = {{ACM} Trans. Comput. Log.},\n  volume       = {24},\n  number       = {1},\n  pages        = {9:1--9:24},\n  year         = {2023},\n  url          = {https://doi.org/10.1145/3565364},\n  doi          = {10.1145/3565364},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/tocl/AameriG23.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 An Ontology for Event Location.\n \n \n \n \n\n\n \n Bai, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Aussenac-Gilles, N.; Hahmann, T.; Galton, A.; and Hedblom, M. M., editor(s), Formal Ontology in Information Systems - Proceedings of the 13th International Conference (FOIS 2023), Sherbrooke, Quebec, Canada, July 17-20, 2013 and Virtual Event, September 18-20, 2013, volume 377, of Frontiers in Artificial Intelligence and Applications, pages 3–16, 2023. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/BaiG23,\n  author       = {Yunpiao Bai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Nathalie Aussenac{-}Gilles and\n                  Torsten Hahmann and\n                  Antony Galton and\n                  Maria M. Hedblom},\n  title        = {An Ontology for Event Location},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 13th International\n                  Conference {(FOIS} 2023), Sherbrooke, Quebec, Canada, July 17-20,\n                  2013 and Virtual Event, September 18-20, 2013},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {377},\n  pages        = {3--16},\n  publisher    = {{IOS} Press},\n  year         = {2023},\n  url          = {https://doi.org/10.3233/FAIA231114},\n  doi          = {10.3233/FAIA231114},\n  timestamp    = {Wed, 31 Jan 2024 15:59:48 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/BaiG23.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 Semiautomatic Design of Ontologies.\n \n \n \n \n\n\n \n Grüninger, M.; Chow, A.; and Wong, J.\n\n\n \n\n\n\n In Almeida, J. P. A.; Kaczmarek-Heß, M.; Koschmider, A.; and Proper, H. A., editor(s), The Practice of Enterprise Modeling - 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings, volume 497, of Lecture Notes in Business Information Processing, pages 143–158, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Semiautomatic$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/ifip8-1/GruningerCW23,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Amanda Chow and\n                  Janette Wong},\n  editor       = {Jo{\\~{a}}o Paulo A. Almeida and\n                  Monika Kaczmarek{-}He{\\ss} and\n                  Agnes Koschmider and\n                  Henderik A. Proper},\n  title        = {Semiautomatic Design of Ontologies},\n  booktitle    = {The Practice of Enterprise Modeling - 16th {IFIP} Working Conference,\n                  PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings},\n  series       = {Lecture Notes in Business Information Processing},\n  volume       = {497},\n  pages        = {143--158},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-48583-1\\_9},\n  doi          = {10.1007/978-3-031-48583-1\\_9},\n  timestamp    = {Mon, 27 Nov 2023 16:36:19 +0100},\n  biburl       = {https://dblp.org/rec/conf/ifip8-1/GruningerCW23.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 A Spatiotemporal Ontology for Semantic Trajectories (extended abstract).\n \n \n \n \n\n\n \n Bai, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Toyoshima, F.; Katsumi, M.; Righetti, G.; Giorgis, S. D.; Hedblom, M. M.; Kutz, O.; Brodaric, B.; Grüninger, M.; Hahmann, T.; Simon, D. D.; Lange, M.; Küçük-McGinty, H.; Simon, A. S.; Cameron, R.; Gajderowicz, B.; Rosu, D.; Hastings, J.; Audrito, D.; Caro, L. D.; Grasso, F.; Nai, R.; Sulis, E.; Bozzato, L.; Shimizu, C.; Zimmermann, A.; Baratella, R.; Borgo, S.; de Cesare, S.; and Sales, T. P., editor(s), Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Sherbrooke, Québec, Canada, July 19-20, 2023, volume 3637, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/jowo/BaiG23,\n  author       = {Yunpiao Bai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Fumiaki Toyoshima and\n                  Megan Katsumi and\n                  Guendalina Righetti and\n                  Stefano De Giorgis and\n                  Maria M. Hedblom and\n                  Oliver Kutz and\n                  Boyan Brodaric and\n                  Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Damion Dooley Simon and\n                  Matthew Lange and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Anoosha Sehar Simon and\n                  Rhiannon Cameron and\n                  Bart Gajderowicz and\n                  Daniela Rosu and\n                  Janna Hastings and\n                  Davide Audrito and\n                  Luigi Di Caro and\n                  Francesca Grasso and\n                  Roberto Nai and\n                  Emilio Sulis and\n                  Loris Bozzato and\n                  Cogan Shimizu and\n                  Antoine Zimmermann and\n                  Riccardo Baratella and\n                  Stefano Borgo and\n                  Sergio de Cesare and\n                  Tiago Prince Sales},\n  title        = {A Spatiotemporal Ontology for Semantic Trajectories (extended abstract)},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2023 Episode {IX:} The\n                  Quebec Summer of Ontology co-located with the 13th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2023), Sherbrooke,\n                  Qu{\\'{e}}bec, Canada, July 19-20, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3637},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3637/paper35.pdf},\n  timestamp    = {Sun, 04 Aug 2024 19:43:58 +0200},\n  biburl       = {https://dblp.org/rec/conf/jowo/BaiG23.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 A Unifying Approach to Boundaries and Multidimensional Mereotopology.\n \n \n \n \n\n\n \n Sun, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Toyoshima, F.; Katsumi, M.; Righetti, G.; Giorgis, S. D.; Hedblom, M. M.; Kutz, O.; Brodaric, B.; Grüninger, M.; Hahmann, T.; Simon, D. D.; Lange, M.; Küçük-McGinty, H.; Simon, A. S.; Cameron, R.; Gajderowicz, B.; Rosu, D.; Hastings, J.; Audrito, D.; Caro, L. D.; Grasso, F.; Nai, R.; Sulis, E.; Bozzato, L.; Shimizu, C.; Zimmermann, A.; Baratella, R.; Borgo, S.; de Cesare, S.; and Sales, T. P., editor(s), Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Sherbrooke, Québec, Canada, July 19-20, 2023, volume 3637, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/jowo/SunG23,\n  author       = {Yixin Sun and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Fumiaki Toyoshima and\n                  Megan Katsumi and\n                  Guendalina Righetti and\n                  Stefano De Giorgis and\n                  Maria M. Hedblom and\n                  Oliver Kutz and\n                  Boyan Brodaric and\n                  Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Damion Dooley Simon and\n                  Matthew Lange and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Anoosha Sehar Simon and\n                  Rhiannon Cameron and\n                  Bart Gajderowicz and\n                  Daniela Rosu and\n                  Janna Hastings and\n                  Davide Audrito and\n                  Luigi Di Caro and\n                  Francesca Grasso and\n                  Roberto Nai and\n                  Emilio Sulis and\n                  Loris Bozzato and\n                  Cogan Shimizu and\n                  Antoine Zimmermann and\n                  Riccardo Baratella and\n                  Stefano Borgo and\n                  Sergio de Cesare and\n                  Tiago Prince Sales},\n  title        = {A Unifying Approach to Boundaries and Multidimensional Mereotopology},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2023 Episode {IX:} The\n                  Quebec Summer of Ontology co-located with the 13th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2023), Sherbrooke,\n                  Qu{\\'{e}}bec, Canada, July 19-20, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3637},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3637/paper9.pdf},\n  timestamp    = {Sat, 17 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/SunG23.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 An Ontological Analysis of Robot Path Planning Problems.\n \n \n \n \n\n\n \n Bai, Y.; Thai, J.; and Grüninger, M.\n\n\n \n\n\n\n In Pomarlan, M.; Beßler, D.; Borgo, S.; and Diab, M., editor(s), Proceedings of the Workshop on Ontologies for Autonomous Robotics co-located with The 32nd IEEE International Conference on Robot and Human Interactive Communication (IEEE RO-MAN 2023), Busan, S. Korea, August 28, 2023, volume 3595, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@inproceedings{DBLP:conf/robontics/BaiTG23,\n  author       = {Yunpiao Bai and\n                  Jona Thai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Mihai Pomarlan and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab},\n  title        = {An Ontological Analysis of Robot Path Planning Problems},\n  booktitle    = {Proceedings of the Workshop on Ontologies for Autonomous Robotics\n                  co-located with The 32nd {IEEE} International Conference on Robot\n                  and Human Interactive Communication {(IEEE} {RO-MAN} 2023), Busan,\n                  S. Korea, August 28, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3595},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3595/paper4.pdf},\n  timestamp    = {Tue, 02 Jan 2024 17:44:44 +0100},\n  biburl       = {https://dblp.org/rec/conf/robontics/BaiTG23.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 Using Mereotopology for Automated Spatial Inference in Task and Motion Planning.\n \n \n \n \n\n\n \n Leoty, F.; Thai, J.; Archimède, B.; Fillatreau, P.; and Grüninger, M.\n\n\n \n\n\n\n In Pomarlan, M.; Beßler, D.; Borgo, S.; and Diab, M., editor(s), Proceedings of the Workshop on Ontologies for Autonomous Robotics co-located with The 32nd IEEE International Conference on Robot and Human Interactive Communication (IEEE RO-MAN 2023), Busan, S. Korea, August 28, 2023, volume 3595, of CEUR Workshop Proceedings, 2023. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ 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

@inproceedings{DBLP:conf/robontics/LeotyTAFG23,\n  author       = {Florent Leoty and\n                  Jona Thai and\n                  Bernard Archim{\\`{e}}de and\n                  Philippe Fillatreau and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Mihai Pomarlan and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab},\n  title        = {Using Mereotopology for Automated Spatial Inference in Task and Motion\n                  Planning},\n  booktitle    = {Proceedings of the Workshop on Ontologies for Autonomous Robotics\n                  co-located with The 32nd {IEEE} International Conference on Robot\n                  and Human Interactive Communication {(IEEE} {RO-MAN} 2023), Busan,\n                  S. Korea, August 28, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3595},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3595/paper3.pdf},\n  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/robontics/LeotyTAFG23.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 Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Sherbrooke, Québec, Canada, July 19-20, 2023.\n \n \n \n \n\n\n \n Toyoshima, F.; Katsumi, M.; Righetti, G.; Giorgis, S. D.; Hedblom, M. M.; Kutz, O.; Brodaric, B.; Grüninger, M.; Hahmann, T.; Simon, D. D.; Lange, M.; Küçük-McGinty, H.; Simon, A. S.; Cameron, R.; Gajderowicz, B.; Rosu, D.; Hastings, J.; Audrito, D.; Caro, L. D.; Grasso, F.; Nai, R.; Sulis, E.; Bozzato, L.; Shimizu, C.; Zimmermann, A.; Baratella, R.; Borgo, S.; de Cesare, S.; and Sales, T. P.,\n editors.\n \n\n\n \n\n\n\n Volume 3637, of CEUR Workshop Proceedings.CEUR-WS.org. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:conf/jowo/2023,\n  editor       = {Fumiaki Toyoshima and\n                  Megan Katsumi and\n                  Guendalina Righetti and\n                  Stefano De Giorgis and\n                  Maria M. Hedblom and\n                  Oliver Kutz and\n                  Boyan Brodaric and\n                  Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Damion Dooley Simon and\n                  Matthew Lange and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Anoosha Sehar Simon and\n                  Rhiannon Cameron and\n                  Bart Gajderowicz and\n                  Daniela Rosu and\n                  Janna Hastings and\n                  Davide Audrito and\n                  Luigi Di Caro and\n                  Francesca Grasso and\n                  Roberto Nai and\n                  Emilio Sulis and\n                  Loris Bozzato and\n                  Cogan Shimizu and\n                  Antoine Zimmermann and\n                  Riccardo Baratella and\n                  Stefano Borgo and\n                  Sergio de Cesare and\n                  Tiago Prince Sales},\n  title        = {Proceedings of the Joint Ontology Workshops 2023 Episode {IX:} The\n                  Quebec Summer of Ontology co-located with the 13th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2023), Sherbrooke,\n                  Qu{\\'{e}}bec, Canada, July 19-20, 2023},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3637},\n  publisher    = {CEUR-WS.org},\n  year         = {2023},\n  url          = {https://ceur-ws.org/Vol-3637},\n  urn          = {urn:nbn:de:00743637-6},\n  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/jowo/2023.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 2022\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n TUpper: A top level ontology within standards.\n \n \n \n \n\n\n \n Grüninger, M.; Ru, Y.; and Thai, J.\n\n\n \n\n\n\n Appl. Ontology, 17(1): 143–165. 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"TUpper:$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{DBLP:journals/ao/GruningerRT22,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Yi Ru and\n                  Jona Thai},\n  title        = {TUpper: {A} top level ontology within standards},\n  journal      = {Appl. Ontology},\n  volume       = {17},\n  number       = {1},\n  pages        = {143--165},\n  year         = {2022},\n  url          = {https://doi.org/10.3233/AO-220263},\n  doi          = {10.3233/AO-220263},\n  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/GruningerRT22.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 Medial Spectral Coordinates for 3D Shape Analysis.\n \n \n \n \n\n\n \n Rezanejad, M.; Khodadad, M.; Mahyar, H.; Lombaert, H.; Gruninger, M.; Walther, D. B.; and Siddiqi, K.\n\n\n \n\n\n\n In IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022, New Orleans, LA, USA, June 18-24, 2022, pages 2676–2686, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Medial$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/cvpr/RezanejadKMLGWS22,\n  author       = {Morteza Rezanejad and\n                  Mohammad Khodadad and\n                  Hamidreza Mahyar and\n                  Herve Lombaert and\n                  Michael Gruninger and\n                  Dirk B. Walther and\n                  Kaleem Siddiqi},\n  title        = {Medial Spectral Coordinates for 3D Shape Analysis},\n  booktitle    = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,\n                  {CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},\n  pages        = {2676--2686},\n  publisher    = {{IEEE}},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/CVPR52688.2022.00271},\n  doi          = {10.1109/CVPR52688.2022.00271},\n  timestamp    = {Sun, 19 Jan 2025 13:39:04 +0100},\n  biburl       = {https://dblp.org/rec/conf/cvpr/RezanejadKMLGWS22.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 Spatiotemporal = Spatial X Temporal.\n \n \n \n \n\n\n \n Bai, Y.; and Gruninger, M.\n\n\n \n\n\n\n In Sales, T. P.; Hedblom, M. M.; Tan, H.; Righetti, G.; Kutz, O.; Glauer, M.; Hastings, J.; Mossakowski, T.; Neuhaus, F.; Álvarez, L. G.; Peñaloza, R.; Vesic, S.; Fonseca, C. M.; Thai, J.; Borgo, S.; Dooley, D. M.; Cameron, R.; Chan, L. E.; Cavalieri, D.; Warren, R.; Küçük-McGinty, H.; Lange, M.; Forea, F.; Vitali, F.; Gajderowicz, B.; Rosu, D.; Gangemi, A.; Porzel, R.; Beßler, D.; Pomarlan, M.; Diab, M.; and Alarcos, A. O., editor(s), Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022, volume 3249, of CEUR Workshop Proceedings, 2022. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Spatiotemporal$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/jowo/BaiG22,\n  author       = {Yunpiao Bai and\n                  Michael Gruninger},\n  editor       = {Tiago Prince Sales and\n                  Maria M. Hedblom and\n                  He Tan and\n                  Guendalina Righetti and\n                  Oliver Kutz and\n                  Martin Glauer and\n                  Janna Hastings and\n                  Till Mossakowski and\n                  Fabian Neuhaus and\n                  Luc{\\'{\\i}}a G{\\'{o}}mez {\\'{A}}lvarez and\n                  Rafael Pe{\\~{n}}aloza and\n                  Srdjan Vesic and\n                  Claudenir Morais Fonseca and\n                  Jona Thai and\n                  Stefano Borgo and\n                  Damion M. Dooley and\n                  Rhiannon Cameron and\n                  Lauren E. Chan and\n                  Duccio Cavalieri and\n                  Robert Warren and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Matthew Lange and\n                  Fernanda Forea and\n                  Francesco Vitali and\n                  Bart Gajderowicz and\n                  Daniela Rosu and\n                  Aldo Gangemi and\n                  Robert Porzel and\n                  Daniel Be{\\ss}ler and\n                  Mihai Pomarlan and\n                  Mohammed Diab and\n                  Alberto Olivares Alarcos},\n  title        = {Spatiotemporal = Spatial {X} Temporal},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2022 Episode {VIII:} The\n                  Svear Sommar of Ontology, J{\\"{o}}nk{\\"{o}}ping, Sweden, August 15-19,\n                  2022},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {3249},\n  publisher    = {CEUR-WS.org},\n  year         = {2022},\n  url          = {https://ceur-ws.org/Vol-3249/paper2-FOUST.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/BaiG22.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 What's in a (Data) Type? Meaningful Type Safety for Data Science.\n \n \n \n \n\n\n \n Moher, R.; Gruninger, M.; and Sanner, S.\n\n\n \n\n\n\n In Guizzardi, R. S. S.; Ralyté, J.; and Franch, X., editor(s), Research Challenges in Information Science - 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings, volume 446, of Lecture Notes in Business Information Processing, pages 20–38, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"What's$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 17 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/rcis/MoherGS22,\n  author       = {Riley Moher and\n                  Michael Gruninger and\n                  Scott Sanner},\n  editor       = {Renata S. S. Guizzardi and\n                  Jolita Ralyt{\\'{e}} and\n                  Xavier Franch},\n  title        = {What's in a (Data) Type? Meaningful Type Safety for Data Science},\n  booktitle    = {Research Challenges in Information Science - 16th International Conference,\n                  {RCIS} 2022, Barcelona, Spain, May 17-20, 2022, Proceedings},\n  series       = {Lecture Notes in Business Information Processing},\n  volume       = {446},\n  pages        = {20--38},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-05760-1\\_2},\n  doi          = {10.1007/978-3-031-05760-1\\_2},\n  timestamp    = {Mon, 16 May 2022 13:37:10 +0200},\n  biburl       = {https://dblp.org/rec/conf/rcis/MoherGS22.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 2021\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Contour-guided Image Completion with Perceptual Grouping.\n \n \n \n \n\n\n \n Rezanejad, M.; Gupta, S.; Gummaluru, C.; Marten, R.; Wilder, J.; Gruninger, M.; and Walther, D. B.\n\n\n \n\n\n\n In 32nd British Machine Vision Conference 2021, BMVC 2021, Online, November 22-25, 2021, pages 73, 2021. BMVA Press\n \n\n\n\n
\n\n\n\n \n \n $\"Contour-guided$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/bmvc/RezanejadGGMWGW21,\n  author       = {Morteza Rezanejad and\n                  Sidharth Gupta and\n                  Chandra Gummaluru and\n                  Ryan Marten and\n                  John Wilder and\n                  Michael Gruninger and\n                  Dirk B. Walther},\n  title        = {Contour-guided Image Completion with Perceptual Grouping},\n  booktitle    = {32nd British Machine Vision Conference 2021, {BMVC} 2021, Online,\n                  November 22-25, 2021},\n  pages        = {73},\n  publisher    = {{BMVA} Press},\n  year         = {2021},\n  url          = {https://www.bmvc2021-virtualconference.com/assets/papers/1075.pdf},\n  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/bmvc/RezanejadGGMWGW21.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 Can SysML Be Used for Enterprise Modelling?.\n \n \n \n \n\n\n \n Lai, K.; and Gruninger, M.\n\n\n \n\n\n\n In Serral, E.; Stirna, J.; Ralyté, J.; and Grabis, J., editor(s), The Practice of Enterprise Modeling - 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings, volume 432, of Lecture Notes in Business Information Processing, pages 257–266, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Can$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ifip8-1/LaiG21,\n  author       = {Kimberly Lai and\n                  Michael Gruninger},\n  editor       = {Estefan{\\'{\\i}}a Serral and\n                  Janis Stirna and\n                  Jolita Ralyt{\\'{e}} and\n                  Janis Grabis},\n  title        = {Can SysML Be Used for Enterprise Modelling?},\n  booktitle    = {The Practice of Enterprise Modeling - 14th {IFIP} {WG} 8.1 Working\n                  Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings},\n  series       = {Lecture Notes in Business Information Processing},\n  volume       = {432},\n  pages        = {257--266},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-91279-6\\_18},\n  doi          = {10.1007/978-3-030-91279-6\\_18},\n  timestamp    = {Sun, 19 Jan 2025 13:15:27 +0100},\n  biburl       = {https://dblp.org/rec/conf/ifip8-1/LaiG21.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 Qualitative Spatial Ontologies for Robot Dynamics.\n \n \n \n \n\n\n \n Thai, J.; and Grüninger, M.\n\n\n \n\n\n\n In Sanfilippo, E. M.; Kutz, O.; Troquard, N.; Hahmann, T.; Masolo, C.; Hoehndorf, R.; Vita, R.; Hedblom, M. M.; Righetti, G.; Sormaz, D.; Terkaj, W.; Sales, T. P.; de Cesare, S.; Gailly, F.; Guizzardi, G.; Lycett, M.; Partridge, C.; Pastor, O.; Beßler, D.; Borgo, S.; Diab, M.; Gangemi, A.; Alarcos, A. O.; Pomarlan, M.; Porzel, R.; Jansen, L.; Brochhausen, M.; Porello, D.; Garbacz, P.; Seppälä, S.; Grüninger, M.; Vizedom, A.; Dooley, D. M.; Warren, R.; Küçük-McGinty, H.; Lange, M.; Algergawy, A.; Karam, N.; Klan, F.; Michel, F.; and Rosati, I., editor(s), Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021, volume 2969, of CEUR Workshop Proceedings, 2021. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Qualitative$ 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

@inproceedings{DBLP:conf/jowo/ThaiG21,\n  author       = {Jona Thai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Emilio M. Sanfilippo and\n                  Oliver Kutz and\n                  Nicolas Troquard and\n                  Torsten Hahmann and\n                  Claudio Masolo and\n                  Robert Hoehndorf and\n                  Randi Vita and\n                  Maria M. Hedblom and\n                  Guendalina Righetti and\n                  Dusan Sormaz and\n                  Walter Terkaj and\n                  Tiago Prince Sales and\n                  Sergio de Cesare and\n                  Frederik Gailly and\n                  Giancarlo Guizzardi and\n                  Mark Lycett and\n                  Chris Partridge and\n                  Oscar Pastor and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab and\n                  Aldo Gangemi and\n                  Alberto Olivares Alarcos and\n                  Mihai Pomarlan and\n                  Robert Porzel and\n                  Ludger Jansen and\n                  Mathias Brochhausen and\n                  Daniele Porello and\n                  Pawel Garbacz and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Michael Gr{\\"{u}}ninger and\n                  Amanda Vizedom and\n                  Damion M. Dooley and\n                  Robert Warren and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Matthew Lange and\n                  Alsayed Algergawy and\n                  Naouel Karam and\n                  Friederike Klan and\n                  Franck Michel and\n                  Ilaria Rosati},\n  title        = {Qualitative Spatial Ontologies for Robot Dynamics},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The\n                  Bolzano Summer of Knowledge co-located with the 12th International\n                  Conference on Formal Ontology in Information Systems {(FOIS} 2021),\n                  and the 12th International Conference on Biomedical Ontologies {(ICBO}\n                  2021), Bolzano, Italy, September 11-18, 2021},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2969},\n  publisher    = {CEUR-WS.org},\n  year         = {2021},\n  url          = {https://ceur-ws.org/Vol-2969/paper78-RobOntics.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/ThaiG21.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 Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021.\n \n \n \n \n\n\n \n Sanfilippo, E. M.; Kutz, O.; Troquard, N.; Hahmann, T.; Masolo, C.; Hoehndorf, R.; Vita, R.; Hedblom, M. M.; Righetti, G.; Sormaz, D.; Terkaj, W.; Sales, T. P.; de Cesare, S.; Gailly, F.; Guizzardi, G.; Lycett, M.; Partridge, C.; Pastor, O.; Beßler, D.; Borgo, S.; Diab, M.; Gangemi, A.; Alarcos, A. O.; Pomarlan, M.; Porzel, R.; Jansen, L.; Brochhausen, M.; Porello, D.; Garbacz, P.; Seppälä, S.; Grüninger, M.; Vizedom, A.; Dooley, D. M.; Warren, R.; Küçük-McGinty, H.; Lange, M.; Algergawy, A.; Karam, N.; Klan, F.; Michel, F.; and Rosati, I.,\n editors.\n \n\n\n \n\n\n\n Volume 2969, of CEUR Workshop Proceedings.CEUR-WS.org. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:conf/jowo/2021,\n  editor       = {Emilio M. Sanfilippo and\n                  Oliver Kutz and\n                  Nicolas Troquard and\n                  Torsten Hahmann and\n                  Claudio Masolo and\n                  Robert Hoehndorf and\n                  Randi Vita and\n                  Maria M. Hedblom and\n                  Guendalina Righetti and\n                  Dusan Sormaz and\n                  Walter Terkaj and\n                  Tiago Prince Sales and\n                  Sergio de Cesare and\n                  Frederik Gailly and\n                  Giancarlo Guizzardi and\n                  Mark Lycett and\n                  Chris Partridge and\n                  Oscar Pastor and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab and\n                  Aldo Gangemi and\n                  Alberto Olivares Alarcos and\n                  Mihai Pomarlan and\n                  Robert Porzel and\n                  Ludger Jansen and\n                  Mathias Brochhausen and\n                  Daniele Porello and\n                  Pawel Garbacz and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Michael Gr{\\"{u}}ninger and\n                  Amanda Vizedom and\n                  Damion M. Dooley and\n                  Robert Warren and\n                  Hande K{\\"{u}}{\\c{c}}{\\"{u}}k{-}McGinty and\n                  Matthew Lange and\n                  Alsayed Algergawy and\n                  Naouel Karam and\n                  Friederike Klan and\n                  Franck Michel and\n                  Ilaria Rosati},\n  title        = {Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The\n                  Bolzano Summer of Knowledge co-located with the 12th International\n                  Conference on Formal Ontology in Information Systems {(FOIS} 2021),\n                  and the 12th International Conference on Biomedical Ontologies {(ICBO}\n                  2021), Bolzano, Italy, September 11-18, 2021},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2969},\n  publisher    = {CEUR-WS.org},\n  year         = {2021},\n  url          = {https://ceur-ws.org/Vol-2969},\n  urn          = {urn:nbn:de:0074-2969-5},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/2021.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 Contour-guided Image Completion with Perceptual Grouping.\n \n \n \n \n\n\n \n Rezanejad, M.; Gupta, S.; Gummaluru, C.; Marten, R.; Wilder, J.; Gruninger, M.; and Walther, D. B.\n\n\n \n\n\n\n CoRR, abs/2111.11322. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Contour-guided$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{DBLP:journals/corr/abs-2111-11322,\n  author       = {Morteza Rezanejad and\n                  Sidharth Gupta and\n                  Chandra Gummaluru and\n                  Ryan Marten and\n                  John Wilder and\n                  Michael Gruninger and\n                  Dirk B. Walther},\n  title        = {Contour-guided Image Completion with Perceptual Grouping},\n  journal      = {CoRR},\n  volume       = {abs/2111.11322},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2111.11322},\n  eprinttype    = {arXiv},\n  eprint       = {2111.11322},\n  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-11322.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 Medial Spectral Coordinates for 3D Shape Analysis.\n \n \n \n \n\n\n \n Rezanejad, M.; Khodadad, M.; Mahyar, H.; Lombaert, H.; Gruninger, M.; Walther, D. B.; and Siddiqi, K.\n\n\n \n\n\n\n CoRR, abs/2111.13295. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Medial$ 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

@article{DBLP:journals/corr/abs-2111-13295,\n  author       = {Morteza Rezanejad and\n                  Mohammad Khodadad and\n                  Hamidreza Mahyar and\n                  Herve Lombaert and\n                  Michael Gruninger and\n                  Dirk B. Walther and\n                  Kaleem Siddiqi},\n  title        = {Medial Spectral Coordinates for 3D Shape Analysis},\n  journal      = {CoRR},\n  volume       = {abs/2111.13295},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2111.13295},\n  eprinttype    = {arXiv},\n  eprint       = {2111.13295},\n  timestamp    = {Wed, 01 Dec 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-13295.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 2020\n \n \n (8)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Proposed guidelines for publishing ontology papers.\n \n \n \n \n\n\n \n Ferrario, R.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 15(1): 1–5. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Proposed$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/FerrarioG20,\n  author       = {Roberta Ferrario and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Proposed guidelines for publishing ontology papers},\n  journal      = {Appl. Ontology},\n  volume       = {15},\n  number       = {1},\n  pages        = {1--5},\n  year         = {2020},\n  url          = {https://doi.org/10.3233/AO-200227},\n  doi          = {10.3233/AO-200227},\n  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/FerrarioG20.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 Location ontologies based on mereotopological pluralism.\n \n \n \n \n\n\n \n Aameri, B.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 15(2): 135–184. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Location$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/AameriG20,\n  author       = {Bahar Aameri and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Location ontologies based on mereotopological pluralism},\n  journal      = {Appl. Ontology},\n  volume       = {15},\n  number       = {2},\n  pages        = {135--184},\n  year         = {2020},\n  url          = {https://doi.org/10.3233/AO-200224},\n  doi          = {10.3233/AO-200224},\n  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/AameriG20.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 The FOUnt ontologies for quantities, units, and the physical world.\n \n \n \n \n\n\n \n Aameri, B.; Chui, C.; Grüninger, M.; Hahmann, T.; and Ru, Y.\n\n\n \n\n\n\n Appl. Ontology, 15(3): 313–359. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{DBLP:journals/ao/AameriCGHR20,\n  author       = {Bahar Aameri and\n                  Carmen Chui and\n                  Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Yi Ru},\n  title        = {The FOUnt ontologies for quantities, units, and the physical world},\n  journal      = {Appl. Ontology},\n  volume       = {15},\n  number       = {3},\n  pages        = {313--359},\n  year         = {2020},\n  url          = {https://doi.org/10.3233/AO-200231},\n  doi          = {10.3233/AO-200231},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/AameriCGHR20.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 An Ontology for Formal Models of Kinship.\n \n \n \n \n\n\n \n Chui, C.; Grüninger, M.; and Wong, J.\n\n\n \n\n\n\n In Brodaric, B.; and Neuhaus, F., editor(s), Formal Ontology in Information Systems - Proceedings of the 11th International Conference, FOIS 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020, volume 330, of Frontiers in Artificial Intelligence and Applications, pages 92–106, 2020. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/fois/ChuiGW20,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger and\n                  Janette Wong},\n  editor       = {Boyan Brodaric and\n                  Fabian Neuhaus},\n  title        = {An Ontology for Formal Models of Kinship},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 11th International\n                  Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September\n                  14-17, 2020},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {330},\n  pages        = {92--106},\n  publisher    = {{IOS} Press},\n  year         = {2020},\n  url          = {https://doi.org/10.3233/FAIA200663},\n  doi          = {10.3233/FAIA200663},\n  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/ChuiGW20.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 A Mereology for Connected Structures.\n \n \n \n \n\n\n \n Grüninger, M.; Chui, C.; Ru, Y.; and Thai, J.\n\n\n \n\n\n\n In Brodaric, B.; and Neuhaus, F., editor(s), Formal Ontology in Information Systems - Proceedings of the 11th International Conference, FOIS 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020, volume 330, of Frontiers in Artificial Intelligence and Applications, pages 171–185, 2020. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/GruningerCRT20,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Carmen Chui and\n                  Yi Ru and\n                  Jona Thai},\n  editor       = {Boyan Brodaric and\n                  Fabian Neuhaus},\n  title        = {A Mereology for Connected Structures},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 11th International\n                  Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September\n                  14-17, 2020},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {330},\n  pages        = {171--185},\n  publisher    = {{IOS} Press},\n  year         = {2020},\n  url          = {https://doi.org/10.3233/FAIA200670},\n  doi          = {10.3233/FAIA200670},\n  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/GruningerCRT20.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 A BioSequence Ontology from Molecular Structure.\n \n \n \n \n\n\n \n Thai, J.; and Grüninger, M.\n\n\n \n\n\n\n In Hastings, J.; and Loebe, F., editor(s), Proceedings of the 11th International Conference on Biomedical Ontologies (ICBO) joint with the 10th Workshop on Ontologies and Data in Life Sciences (ODLS) and part of the Bolzano Summer of Knowledge (BoSK 2020), Virtual conference hosted in Bolzano, Italy, September 17, 2020, volume 2807, of CEUR Workshop Proceedings, pages 1–12, 2020. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/icbo/ThaiG20,\n  author       = {Jona Thai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Janna Hastings and\n                  Frank Loebe},\n  title        = {A BioSequence Ontology from Molecular Structure},\n  booktitle    = {Proceedings of the 11th International Conference on Biomedical Ontologies\n                  {(ICBO)} joint with the 10th Workshop on Ontologies and Data in Life\n                  Sciences {(ODLS)} and part of the Bolzano Summer of Knowledge (BoSK\n                  2020), Virtual conference hosted in Bolzano, Italy, September 17,\n                  2020},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2807},\n  pages        = {1--12},\n  publisher    = {CEUR-WS.org},\n  year         = {2020},\n  url          = {https://ceur-ws.org/Vol-2807/paperJ.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},\n  biburl       = {https://dblp.org/rec/conf/icbo/ThaiG20.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 Open the Pod Bay Door: Using Ontology to Understand Instructions.\n \n \n \n \n\n\n \n Sun, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Hammar, K.; Kutz, O.; Dimou, A.; Hahmann, T.; Hoehndorf, R.; Masolo, C.; Vita, R.; Abbès, S. B.; Hantach, R.; Calvez, P.; Sales, T. P.; Porello, D.; Beßler, D.; Borgo, S.; Diab, M.; Gangemi, A.; Alarcos, A. O.; Pomarlan, M.; Porzel, R.; Skjæveland, M. G.; Lupp, D. P.; Horrocks, I.; Klüwer, J. W.; Kindermann, C.; Bozzato, L.; Mossakowski, T.; and Serafini, L., editor(s), Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020, volume 2708, of CEUR Workshop Proceedings, 2020. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Open$ 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

@inproceedings{DBLP:conf/jowo/SunG20,\n  author       = {Yixin Sun and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Karl Hammar and\n                  Oliver Kutz and\n                  Anastasia Dimou and\n                  Torsten Hahmann and\n                  Robert Hoehndorf and\n                  Claudio Masolo and\n                  Randi Vita and\n                  Sarra Ben Abb{\\`{e}}s and\n                  Rim Hantach and\n                  Philippe Calvez and\n                  Tiago Prince Sales and\n                  Daniele Porello and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab and\n                  Aldo Gangemi and\n                  Alberto Olivares Alarcos and\n                  Mihai Pomarlan and\n                  Robert Porzel and\n                  Martin G. Skj{\\ae}veland and\n                  Daniel P. Lupp and\n                  Ian Horrocks and\n                  Johan W. Kl{\\"{u}}wer and\n                  Christian Kindermann and\n                  Loris Bozzato and\n                  Till Mossakowski and\n                  Luciano Serafini},\n  title        = {Open the Pod Bay Door: Using Ontology to Understand Instructions},\n  booktitle    = {Proceedings of the Joint Ontology Workshops co-located with the Bolzano\n                  Summer of Knowledge {(BOSK} 2020), Virtual {\\&} Bozen-Bolzano, Italy,\n                  August 31st to October 7th, 2020},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2708},\n  publisher    = {CEUR-WS.org},\n  year         = {2020},\n  url          = {https://ceur-ws.org/Vol-2708/robontics7.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/SunG20.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 Robot Meets World.\n \n \n \n \n\n\n \n Thai, J.; and Grüninger, M.\n\n\n \n\n\n\n In Hammar, K.; Kutz, O.; Dimou, A.; Hahmann, T.; Hoehndorf, R.; Masolo, C.; Vita, R.; Abbès, S. B.; Hantach, R.; Calvez, P.; Sales, T. P.; Porello, D.; Beßler, D.; Borgo, S.; Diab, M.; Gangemi, A.; Alarcos, A. O.; Pomarlan, M.; Porzel, R.; Skjæveland, M. G.; Lupp, D. P.; Horrocks, I.; Klüwer, J. W.; Kindermann, C.; Bozzato, L.; Mossakowski, T.; and Serafini, L., editor(s), Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020, volume 2708, of CEUR Workshop Proceedings, 2020. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Robot$ 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

@inproceedings{DBLP:conf/jowo/ThaiG20,\n  author       = {Jona Thai and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Karl Hammar and\n                  Oliver Kutz and\n                  Anastasia Dimou and\n                  Torsten Hahmann and\n                  Robert Hoehndorf and\n                  Claudio Masolo and\n                  Randi Vita and\n                  Sarra Ben Abb{\\`{e}}s and\n                  Rim Hantach and\n                  Philippe Calvez and\n                  Tiago Prince Sales and\n                  Daniele Porello and\n                  Daniel Be{\\ss}ler and\n                  Stefano Borgo and\n                  Mohammed Diab and\n                  Aldo Gangemi and\n                  Alberto Olivares Alarcos and\n                  Mihai Pomarlan and\n                  Robert Porzel and\n                  Martin G. Skj{\\ae}veland and\n                  Daniel P. Lupp and\n                  Ian Horrocks and\n                  Johan W. Kl{\\"{u}}wer and\n                  Christian Kindermann and\n                  Loris Bozzato and\n                  Till Mossakowski and\n                  Luciano Serafini},\n  title        = {Robot Meets World},\n  booktitle    = {Proceedings of the Joint Ontology Workshops co-located with the Bolzano\n                  Summer of Knowledge {(BOSK} 2020), Virtual {\\&} Bozen-Bolzano, Italy,\n                  August 31st to October 7th, 2020},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2708},\n  publisher    = {CEUR-WS.org},\n  year         = {2020},\n  url          = {https://ceur-ws.org/Vol-2708/robontics8.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/ThaiG20.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 2019\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Water features and their parts.\n \n \n \n \n\n\n \n Brodaric, B.; Hahmann, T.; and Gruninger, M.\n\n\n \n\n\n\n Appl. Ontology, 14(1): 1–42. 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"Water$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/BrodaricHG19,\n  author       = {Boyan Brodaric and\n                  Torsten Hahmann and\n                  Michael Gruninger},\n  title        = {Water features and their parts},\n  journal      = {Appl. Ontology},\n  volume       = {14},\n  number       = {1},\n  pages        = {1--42},\n  year         = {2019},\n  url          = {https://doi.org/10.3233/AO-190205},\n  doi          = {10.3233/AO-190205},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/BrodaricHG19.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 A time-indexed mereology for SUMO.\n \n \n \n \n\n\n \n Muñoz, L. S.; and Grüninger, M.\n\n\n \n\n\n\n Data Knowl. Eng., 123. 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/dke/MunozG19,\n  author       = {Lydia Silva Mu{\\~{n}}oz and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {A time-indexed mereology for {SUMO}},\n  journal      = {Data Knowl. Eng.},\n  volume       = {123},\n  year         = {2019},\n  url          = {https://doi.org/10.1016/j.datak.2019.101724},\n  doi          = {10.1016/J.DATAK.2019.101724},\n  timestamp    = {Mon, 09 Dec 2019 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/dke/MunozG19.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 A Representation Theorem for Change through Composition of Activities.\n \n \n \n \n\n\n \n Aameri, B.; and Grüninger, M.\n\n\n \n\n\n\n ACM Trans. Comput. Log., 20(4): 20:1–20:31. 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/tocl/AameriG19,\n  author       = {Bahar Aameri and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {A Representation Theorem for Change through Composition of Activities},\n  journal      = {{ACM} Trans. Comput. Log.},\n  volume       = {20},\n  number       = {4},\n  pages        = {20:1--20:31},\n  year         = {2019},\n  url          = {https://doi.org/10.1145/3329121},\n  doi          = {10.1145/3329121},\n  timestamp    = {Wed, 18 Sep 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/tocl/AameriG19.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 The Discipline of Ontological Engineering.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Borgo, S.; Ferrario, R.; Masolo, C.; and Vieu, L., editor(s), Ontology Makes Sense - Essays in honor of Nicola Guarino, volume 316, of Frontiers in Artificial Intelligence and Applications, pages 82–104, 2019. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/birthday/Gruninger19,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Stefano Borgo and\n                  Roberta Ferrario and\n                  Claudio Masolo and\n                  Laure Vieu},\n  title        = {The Discipline of Ontological Engineering},\n  booktitle    = {Ontology Makes Sense - Essays in honor of Nicola Guarino},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {316},\n  pages        = {82--104},\n  publisher    = {{IOS} Press},\n  year         = {2019},\n  url          = {https://doi.org/10.3233/978-1-61499-955-3-82},\n  doi          = {10.3233/978-1-61499-955-3-82},\n  timestamp    = {Sun, 14 Apr 2019 14:33:54 +0200},\n  biburl       = {https://dblp.org/rec/conf/birthday/Gruninger19.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 Multimodal Event Recognition with an Ontology for Cooking Recipes.\n \n \n \n \n\n\n \n Chow, A. E.; and Grüninger, M.\n\n\n \n\n\n\n In Barton, A.; Seppälä, S.; and Porello, D., editor(s), Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019, volume 2518, of CEUR Workshop Proceedings, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Multimodal$ 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

@inproceedings{DBLP:conf/jowo/ChowG19,\n  author       = {Alison Emily Chow and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Adrien Barton and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Daniele Porello},\n  title        = {Multimodal Event Recognition with an Ontology for Cooking Recipes},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The\n                  Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2518},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2518/paper-CREOL1.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/ChowG19.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 Ontology Validation as Dialogue.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Barton, A.; Seppälä, S.; and Porello, D., editor(s), Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019, volume 2518, of CEUR Workshop Proceedings, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ 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

@inproceedings{DBLP:conf/jowo/Gruninger19,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Adrien Barton and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Daniele Porello},\n  title        = {Ontology Validation as Dialogue},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The\n                  Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2518},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2518/paper-WINKS3.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/Gruninger19.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 PSL as a Foundational Ontology for the Industrial Ontologies Foundry.\n \n \n \n \n\n\n \n Grüninger, M.; and Katsumi, M.\n\n\n \n\n\n\n In Barton, A.; Seppälä, S.; and Porello, D., editor(s), Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019, volume 2518, of CEUR Workshop Proceedings, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"PSL$ 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

@inproceedings{DBLP:conf/jowo/GruningerK19,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Megan Katsumi},\n  editor       = {Adrien Barton and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Daniele Porello},\n  title        = {{PSL} as a Foundational Ontology for the Industrial Ontologies Foundry},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The\n                  Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2518},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2518/paper-FOMI2.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/GruningerK19.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 Foundationless Ontologies.\n \n \n \n \n\n\n \n Grüninger, M.; and Katsumi, M.\n\n\n \n\n\n\n In Barton, A.; Seppälä, S.; and Porello, D., editor(s), Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019, volume 2518, of CEUR Workshop Proceedings, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Foundationless$ 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

@inproceedings{DBLP:conf/jowo/GruningerK19a,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Megan Katsumi},\n  editor       = {Adrien Barton and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Daniele Porello},\n  title        = {Foundationless Ontologies},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The\n                  Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2518},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2518/paper-FOUST6.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/GruningerK19a.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 More than just One Box.\n \n \n \n \n\n\n \n Ru, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Barton, A.; Seppälä, S.; and Porello, D., editor(s), Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019, volume 2518, of CEUR Workshop Proceedings, 2019. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"More$ 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

@inproceedings{DBLP:conf/jowo/RuG19,\n  author       = {Yi Ru and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Adrien Barton and\n                  Selja Sepp{\\"{a}}l{\\"{a}} and\n                  Daniele Porello},\n  title        = {More than just One Box},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The\n                  Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2518},\n  publisher    = {CEUR-WS.org},\n  year         = {2019},\n  url          = {https://ceur-ws.org/Vol-2518/paper-SHAPES3.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/RuG19.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 2018\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Editorial announcement: Editorial Board changes.\n \n \n \n \n\n\n \n Ferrario, R.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 13(1): 1. 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"Editorial$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/FerrarioG18,\n  author       = {Roberta Ferrario and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Editorial announcement: Editorial Board changes},\n  journal      = {Appl. Ontology},\n  volume       = {13},\n  number       = {1},\n  pages        = {1},\n  year         = {2018},\n  url          = {https://doi.org/10.3233/AO-180194},\n  doi          = {10.3233/AO-180194},\n  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/FerrarioG18.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 The metatheory of ontology reuse.\n \n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 13(3): 225–254. 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/KatsumiG18,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {The metatheory of ontology reuse},\n  journal      = {Appl. Ontology},\n  volume       = {13},\n  number       = {3},\n  pages        = {225--254},\n  year         = {2018},\n  url          = {https://doi.org/10.3233/AO-180199},\n  doi          = {10.3233/AO-180199},\n  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/KatsumiG18.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 Particular Types and Particular Dependence.\n \n \n \n \n\n\n \n Brodaric, B.; and Gruninger, M.\n\n\n \n\n\n\n In Borgo, S.; Hitzler, P.; and Kutz, O., editor(s), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, FOIS 2018, Cape Town, South Africa, 19-21 September 2018, volume 306, of Frontiers in Artificial Intelligence and Applications, pages 19–32, 2018. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Particular$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/BrodaricG18,\n  author       = {Boyan Brodaric and\n                  Michael Gruninger},\n  editor       = {Stefano Borgo and\n                  Pascal Hitzler and\n                  Oliver Kutz},\n  title        = {Particular Types and Particular Dependence},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 10th International\n                  Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September\n                  2018},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {306},\n  pages        = {19--32},\n  publisher    = {{IOS} Press},\n  year         = {2018},\n  url          = {https://doi.org/10.3233/978-1-61499-910-2-19},\n  doi          = {10.3233/978-1-61499-910-2-19},\n  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/BrodaricG18.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 Foundational Ontologies for Units of Measure.\n \n \n \n \n\n\n \n Grüninger, M.; Aameri, B.; Chui, C.; Hahmann, T.; and Ru, Y.\n\n\n \n\n\n\n In Borgo, S.; Hitzler, P.; and Kutz, O., editor(s), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, FOIS 2018, Cape Town, South Africa, 19-21 September 2018, volume 306, of Frontiers in Artificial Intelligence and Applications, pages 211–224, 2018. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Foundational$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/fois/GruningerACHR18,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Bahar Aameri and\n                  Carmen Chui and\n                  Torsten Hahmann and\n                  Yi Ru},\n  editor       = {Stefano Borgo and\n                  Pascal Hitzler and\n                  Oliver Kutz},\n  title        = {Foundational Ontologies for Units of Measure},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 10th International\n                  Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September\n                  2018},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {306},\n  pages        = {211--224},\n  publisher    = {{IOS} Press},\n  year         = {2018},\n  url          = {https://doi.org/10.3233/978-1-61499-910-2-211},\n  doi          = {10.3233/978-1-61499-910-2-211},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/GruningerACHR18.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 Ontology of Social Service Needs: Perspective of a Cognitive Agent.\n \n \n \n \n\n\n \n Gajderowicz, B.; Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In Jansen, L.; Radicioni, D. P.; and Gromann, D., editor(s), Proceedings of the Joint Ontology Workshops 2018 Episode IV: The South African Spring co-located with the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), Cape Town, South Africa, September 17-18, 2018, volume 2205, of CEUR Workshop Proceedings, 2018. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/jowo/GajderowiczFG18,\n  author       = {Bart Gajderowicz and\n                  Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ludger Jansen and\n                  Daniele Paolo Radicioni and\n                  Dagmar Gromann},\n  title        = {Ontology of Social Service Needs: Perspective of a Cognitive Agent},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2018 Episode {IV:} The\n                  South African Spring co-located with the 10th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2018), Cape Town,\n                  South Africa, September 17-18, 2018},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2205},\n  publisher    = {CEUR-WS.org},\n  year         = {2018},\n  url          = {https://ceur-ws.org/Vol-2205/paper13\\_caos2.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/GajderowiczFG18.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 What's the Damage? Abnormality in Solid Physical Objects.\n \n \n \n \n\n\n \n Ru, Y.; and Grüninger, M.\n\n\n \n\n\n\n In Jansen, L.; Radicioni, D. P.; and Gromann, D., editor(s), Proceedings of the Joint Ontology Workshops 2018 Episode IV: The South African Spring co-located with the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), Cape Town, South Africa, September 17-18, 2018, volume 2205, of CEUR Workshop Proceedings, 2018. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"What's$ 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

@inproceedings{DBLP:conf/jowo/RuG18,\n  author       = {Yi Ru and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ludger Jansen and\n                  Daniele Paolo Radicioni and\n                  Dagmar Gromann},\n  title        = {What's the Damage? Abnormality in Solid Physical Objects},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2018 Episode {IV:} The\n                  South African Spring co-located with the 10th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2018), Cape Town,\n                  South Africa, September 17-18, 2018},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {2205},\n  publisher    = {CEUR-WS.org},\n  year         = {2018},\n  url          = {https://ceur-ws.org/Vol-2205/paper7\\_ontocom2.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/RuG18.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 2017\n \n \n (14)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Applied Ontology: A foreword by the new Editors-in-Chief.\n \n \n \n \n\n\n \n Ferrario, R.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 12(1): 1–4. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Applied$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/FerrarioG17,\n  author       = {Roberta Ferrario and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Applied Ontology: {A} foreword by the new Editors-in-Chief},\n  journal      = {Appl. Ontology},\n  volume       = {12},\n  number       = {1},\n  pages        = {1--4},\n  year         = {2017},\n  url          = {https://doi.org/10.3233/AO-170178},\n  doi          = {10.3233/AO-170178},\n  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/FerrarioG17.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 Ontology Summit 2016 Communique: Ontologies within semantic interoperability ecosystems.\n \n \n \n \n\n\n \n Fritzsche, D. M.; Grüninger, M.; Baclawski, K.; Bennett, M.; Berg-Cross, G.; Schneider, T.; Sriram, R. D.; Underwood, M. A.; and Westerinen, A.\n\n\n \n\n\n\n Appl. Ontology, 12(2): 91–111. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/FritzscheGBBBSS17,\n  author       = {Donna M. Fritzsche and\n                  Michael Gr{\\"{u}}ninger and\n                  Ken Baclawski and\n                  Mike Bennett and\n                  Gary Berg{-}Cross and\n                  Todd Schneider and\n                  Ram D. Sriram and\n                  Mark A. Underwood and\n                  Andrea Westerinen},\n  title        = {Ontology Summit 2016 Communique: Ontologies within semantic interoperability\n                  ecosystems},\n  journal      = {Appl. Ontology},\n  volume       = {12},\n  number       = {2},\n  pages        = {91--111},\n  year         = {2017},\n  url          = {https://doi.org/10.3233/AO-170181},\n  doi          = {10.3233/AO-170181},\n  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/FritzscheGBBBSS17.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 Choosing ontologies for reuse.\n \n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n Appl. Ontology, 12(3-4): 195–221. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Choosing$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/KatsumiG17,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Choosing ontologies for reuse},\n  journal      = {Appl. Ontology},\n  volume       = {12},\n  number       = {3-4},\n  pages        = {195--221},\n  year         = {2017},\n  url          = {https://doi.org/10.3233/AO-160171},\n  doi          = {10.3233/AO-160171},\n  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/KatsumiG17.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 Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace.\n \n \n \n \n\n\n \n Rosu, D.; Aleman, D. M.; Beck, J. C.; Chignell, M. H.; Consens, M. P.; Fox, M. S.; Gruninger, M.; Liu, C.; Ru, Y.; and Sanner, S.\n\n\n \n\n\n\n In The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, volume WS-17, of AAAI Technical Report, 2017. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"Knowledge-Based$ 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

@inproceedings{DBLP:conf/aaai/RosuABCCFGLRS17,\n  author       = {Daniela Rosu and\n                  Dionne M. Aleman and\n                  J. Christopher Beck and\n                  Mark H. Chignell and\n                  Mariano P. Consens and\n                  Mark S. Fox and\n                  Michael Gruninger and\n                  Chang Liu and\n                  Yi Ru and\n                  Scott Sanner},\n  title        = {Knowledge-Based Provision of Goods and Services for People with Social\n                  Needs: Towards a Virtual Marketplace},\n  booktitle    = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial\n                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,\n                  {USA}},\n  series       = {{AAAI} Technical Report},\n  volume       = {{WS-17}},\n  publisher    = {{AAAI} Press},\n  year         = {2017},\n  url          = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15163},\n  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/aaai/RosuABCCFGLRS17.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 General Model of Human Motivation and Goal Ranking.\n \n \n \n \n\n\n \n Gajderowicz, B.; Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, pages 332–337, 2017. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"General$ 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

@inproceedings{DBLP:conf/aaaifs/GajderowiczFG17,\n  author       = {Bart Gajderowicz and\n                  Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {General Model of Human Motivation and Goal Ranking},\n  booktitle    = {2017 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 9-11,\n                  2017},\n  pages        = {332--337},\n  publisher    = {{AAAI} Press},\n  year         = {2017},\n  url          = {https://aaai.org/ocs/index.php/FSS/FSS17/paper/view/15992},\n  timestamp    = {Tue, 13 Nov 2018 19:43:23 +0100},\n  biburl       = {https://dblp.org/rec/conf/aaaifs/GajderowiczFG17.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 Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace.\n \n \n \n \n\n\n \n Rosu, D.; Aleman, D. M.; Beck, J. C.; Chignell, M. H.; Consens, M. P.; Fox, M. S.; Gruninger, M.; Liu, C.; Ru, Y.; and Sanner, S.\n\n\n \n\n\n\n In 2017 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 27-29, 2017, 2017. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"Knowledge-Based$ 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

@inproceedings{DBLP:conf/aaaiss/0002ABCCFGLRS17,\n  author       = {Daniela Rosu and\n                  Dionne M. Aleman and\n                  J. Christopher Beck and\n                  Mark H. Chignell and\n                  Mariano P. Consens and\n                  Mark S. Fox and\n                  Michael Gruninger and\n                  Chang Liu and\n                  Yi Ru and\n                  Scott Sanner},\n  title        = {Knowledge-Based Provisioning of Goods and Services: Towards a Virtual\n                  Social Needs Marketplace},\n  booktitle    = {2017 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,\n                  USA, March 27-29, 2017},\n  publisher    = {{AAAI} Press},\n  year         = {2017},\n  url          = {http://aaai.org/ocs/index.php/SSS/SSS17/paper/view/15365},\n  timestamp    = {Thu, 17 Oct 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/aaaiss/0002ABCCFGLRS17.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 A New Perspective on the Mereotopology of RCC8.\n \n \n \n \n\n\n \n Grüninger, M.; and Aameri, B.\n\n\n \n\n\n\n In Clementini, E.; Donnelly, M.; Yuan, M.; Kray, C.; Fogliaroni, P.; and Ballatore, A., editor(s), 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy, volume 86, of LIPIcs, pages 2:1–2:13, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/cosit/GruningerA17,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Bahar Aameri},\n  editor       = {Eliseo Clementini and\n                  Maureen Donnelly and\n                  May Yuan and\n                  Christian Kray and\n                  Paolo Fogliaroni and\n                  Andrea Ballatore},\n  title        = {A New Perspective on the Mereotopology of {RCC8}},\n  booktitle    = {13th International Conference on Spatial Information Theory, {COSIT}\n                  2017, September 4-8, 2017, L'Aquila, Italy},\n  series       = {LIPIcs},\n  volume       = {86},\n  pages        = {2:1--2:13},\n  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n  year         = {2017},\n  url          = {https://doi.org/10.4230/LIPIcs.COSIT.2017.2},\n  doi          = {10.4230/LIPICS.COSIT.2017.2},\n  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},\n  biburl       = {https://dblp.org/rec/conf/cosit/GruningerA17.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 Message from the VORTE 2017 Workshop Chairs.\n \n \n \n \n\n\n \n Almeida, J. P. A.; Gruninger, M.; and Guizzardi, G.\n\n\n \n\n\n\n In Hallé, S.; Dijkman, R. M.; and Lapalme, J., editor(s), 21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017, pages 100–101, 2017. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"Message$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/edoc/AlmeidaGG17,\n  author       = {Jo{\\~{a}}o Paulo A. Almeida and\n                  Michael Gruninger and\n                  Giancarlo Guizzardi},\n  editor       = {Sylvain Hall{\\'{e}} and\n                  Remco M. Dijkman and\n                  James Lapalme},\n  title        = {Message from the {VORTE} 2017 Workshop Chairs},\n  booktitle    = {21st {IEEE} International Enterprise Distributed Object Computing\n                  Workshop, {EDOC} Workshops 2017, Quebec City, QC, Canada, October\n                  10-13, 2017},\n  pages        = {100--101},\n  publisher    = {{IEEE} Computer Society},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/EDOCW.2017.24},\n  doi          = {10.1109/EDOCW.2017.24},\n  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/edoc/AlmeidaGG17.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 A virtual marketplace for goods and services for people with social needs.\n \n \n \n \n\n\n \n Rosu, D.; Aleman, D. M.; Beck, J. C.; Chignell, M. H.; Consens, M. P.; Fox, M. S.; Gruninger, M.; Liu, C.; Ru, Y.; and Sanner, S.\n\n\n \n\n\n\n In IEEE Canada International Humanitarian Technology Conference, IHTC 2017, Toronto, ON, Canada, July 21-22, 2017, pages 202–206, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ihtc/RosuABCCFGLRS17,\n  author       = {Daniela Rosu and\n                  Dionne M. Aleman and\n                  J. Christopher Beck and\n                  Mark H. Chignell and\n                  Mariano P. Consens and\n                  Mark S. Fox and\n                  Michael Gruninger and\n                  Chang Liu and\n                  Yi Ru and\n                  Scott Sanner},\n  title        = {A virtual marketplace for goods and services for people with social\n                  needs},\n  booktitle    = {{IEEE} Canada International Humanitarian Technology Conference, {IHTC}\n                  2017, Toronto, ON, Canada, July 21-22, 2017},\n  pages        = {202--206},\n  publisher    = {{IEEE}},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/IHTC.2017.8058188},\n  doi          = {10.1109/IHTC.2017.8058188},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ihtc/RosuABCCFGLRS17.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 Encountering the Physical World.\n \n \n \n \n\n\n \n Aameri, B.; 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 $\"Encountering$ 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

@inproceedings{DBLP:conf/jowo/AameriG17,\n  author       = {Bahar Aameri 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        = {Encountering the Physical World},\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/FOMI\\_paper\\_6.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/AameriG17.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 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 $\"Verification$ 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

@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 00:00:00 +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 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 $\"Upper$ 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

@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 \n \n \n \n \n Parts Unknown: Mereologies for Solid Physical Objects.\n \n \n \n \n\n\n \n Ru, Y.; 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 $\"Parts$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/jowo/RuG17,\n  author       = {Yi Ru 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        = {Parts Unknown: Mereologies for Solid Physical Objects},\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\\_8.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/jowo/RuG17.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 The Time Ontology of Allen's Interval Algebra.\n \n \n \n \n\n\n \n Grüninger, M.; and Li, Z.\n\n\n \n\n\n\n In Schewe, S.; Schneider, T.; and Wijsen, J., editor(s), 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, volume 90, of LIPIcs, pages 16:1–16:16, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/time/GruningerL17,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Zhuojun Li},\n  editor       = {Sven Schewe and\n                  Thomas Schneider and\n                  Jef Wijsen},\n  title        = {The Time Ontology of Allen's Interval Algebra},\n  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,\n                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},\n  series       = {LIPIcs},\n  volume       = {90},\n  pages        = {16:1--16:16},\n  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r Informatik},\n  year         = {2017},\n  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.16},\n  doi          = {10.4230/LIPICS.TIME.2017.16},\n  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},\n  biburl       = {https://dblp.org/rec/conf/time/GruningerL17.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 2016\n \n \n (8)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology.\n \n \n \n \n\n\n \n Muñoz, L. S.; and Grüninger, M.\n\n\n \n\n\n\n In Blomqvist, E.; Ciancarini, P.; Poggi, F.; and Vitali, F., editor(s), Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings, volume 10024, of Lecture Notes in Computer Science, pages 606–620, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"Locating$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ekaw/MunozG16,\n  author       = {Lydia Silva Mu{\\~{n}}oz and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Eva Blomqvist and\n                  Paolo Ciancarini and\n                  Francesco Poggi and\n                  Fabio Vitali},\n  title        = {Locating Things in Space and Time: Verification of the {SUMO} Upper-Level\n                  Ontology},\n  booktitle    = {Knowledge Engineering and Knowledge Management - 20th International\n                  Conference, {EKAW} 2016, Bologna, Italy, November 19-23, 2016, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {10024},\n  pages        = {606--620},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-49004-5\\_39},\n  doi          = {10.1007/978-3-319-49004-5\\_39},\n  timestamp    = {Tue, 07 May 2024 20:13:01 +0200},\n  biburl       = {https://dblp.org/rec/conf/ekaw/MunozG16.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 Anti-Modules.\n \n \n \n \n\n\n \n Aameri, B.; Grüninger, M.; and Chui, C.\n\n\n \n\n\n\n In Kutz, O.; de Cesare, S.; Hedblom, M. M.; Besold, T. R.; Veale, T.; Gailly, F.; Guizzardi, G.; Lycett, M.; Partridge, C.; Pastor, O.; Grüninger, M.; Neuhaus, F.; Mossakowski, T.; Borgo, S.; Bozzato, L.; Vescovo, C. D.; Homola, M.; Loebe, F.; Barton, A.; and Bourguet, J., editor(s), Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016, volume 1660, of CEUR Workshop Proceedings, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Anti-Modules$ 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

@inproceedings{DBLP:conf/fois/AameriGC16,\n  author       = {Bahar Aameri and\n                  Michael Gr{\\"{u}}ninger and\n                  Carmen Chui},\n  editor       = {Oliver Kutz and\n                  Sergio de Cesare and\n                  Maria M. Hedblom and\n                  Tarek Richard Besold and\n                  Tony Veale and\n                  Frederik Gailly and\n                  Giancarlo Guizzardi and\n                  Mark Lycett and\n                  Chris Partridge and\n                  Oscar Pastor and\n                  Michael Gr{\\"{u}}ninger and\n                  Fabian Neuhaus and\n                  Till Mossakowski and\n                  Stefano Borgo and\n                  Loris Bozzato and\n                  Chiara Del Vescovo and\n                  Martin Homola and\n                  Frank Loebe and\n                  Adrien Barton and\n                  Jean{-}R{\\'{e}}mi Bourguet},\n  title        = {Anti-Modules},\n  booktitle    = {Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French\n                  Summer of Ontology co-located with the 9th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2016), Annecy, France,\n                  July 6-9, 2016},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1660},\n  publisher    = {CEUR-WS.org},\n  year         = {2016},\n  url          = {https://ceur-ws.org/Vol-1660/womocoe-paper2.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/AameriGC16.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 What Is Ontology Reuse?.\n \n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n In Ferrario, R.; and Kuhn, W., editor(s), Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016, volume 283, of Frontiers in Artificial Intelligence and Applications, pages 9–22, 2016. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"What$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/KatsumiG16,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Roberta Ferrario and\n                  Werner Kuhn},\n  title        = {What Is Ontology Reuse?},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 9th International\n                  Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {283},\n  pages        = {9--22},\n  publisher    = {{IOS} Press},\n  year         = {2016},\n  url          = {https://doi.org/10.3233/978-1-61499-660-6-9},\n  doi          = {10.3233/978-1-61499-660-6-9},\n  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/KatsumiG16.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 Mapping and Verification of the Time Ontology in SUMO.\n \n \n \n \n\n\n \n Muñoz, L. S.; and Grüninger, M.\n\n\n \n\n\n\n In Ferrario, R.; and Kuhn, W., editor(s), Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016, volume 283, of Frontiers in Artificial Intelligence and Applications, pages 109–122, 2016. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Mapping$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/MunozG16,\n  author       = {Lydia Silva Mu{\\~{n}}oz and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Roberta Ferrario and\n                  Werner Kuhn},\n  title        = {Mapping and Verification of the Time Ontology in {SUMO}},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 9th International\n                  Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {283},\n  pages        = {109--122},\n  publisher    = {{IOS} Press},\n  year         = {2016},\n  url          = {https://doi.org/10.3233/978-1-61499-660-6-109},\n  doi          = {10.3233/978-1-61499-660-6-109},\n  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/MunozG16.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 A Molecular Structure Ontology for Medicinal Chemistry.\n \n \n \n \n\n\n \n Chui, C.; and Grüninger, M.\n\n\n \n\n\n\n In Ferrario, R.; and Kuhn, W., editor(s), Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016, volume 283, of Frontiers in Artificial Intelligence and Applications, pages 285–298, 2016. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/ChuiG16,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Roberta Ferrario and\n                  Werner Kuhn},\n  title        = {A Molecular Structure Ontology for Medicinal Chemistry},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 9th International\n                  Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {283},\n  pages        = {285--298},\n  publisher    = {{IOS} Press},\n  year         = {2016},\n  url          = {https://doi.org/10.3233/978-1-61499-660-6-285},\n  doi          = {10.3233/978-1-61499-660-6-285},\n  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/ChuiG16.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 Verifying and Mapping the Mereotopology of Upper-Level Ontologies.\n \n \n \n \n\n\n \n Muñoz, L. S.; and Grüninger, M.\n\n\n \n\n\n\n In Fred, A. L. N.; Dietz, J. L. G.; Aveiro, D.; Liu, K.; Bernardino, J.; and Filipe, J., editor(s), Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9 - 11, 2016, pages 31–42, 2016. SciTePress\n \n\n\n\n
\n\n\n\n \n \n $\"Verifying$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ic3k/MunozG16,\n  author       = {Lydia Silva Mu{\\~{n}}oz and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ana L. N. Fred and\n                  Jan L. G. Dietz and\n                  David Aveiro and\n                  Kecheng Liu and\n                  Jorge Bernardino and\n                  Joaquim Filipe},\n  title        = {Verifying and Mapping the Mereotopology of Upper-Level Ontologies},\n  booktitle    = {Proceedings of the 8th International Joint Conference on Knowledge\n                  Discovery, Knowledge Engineering and Knowledge Management {(IC3K}\n                  2016) - Volume 2: KEOD, Porto - Portugal, November 9 - 11, 2016},\n  pages        = {31--42},\n  publisher    = {SciTePress},\n  year         = {2016},\n  url          = {https://doi.org/10.5220/0006052100310042},\n  doi          = {10.5220/0006052100310042},\n  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/MunozG16.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 The Mereologies of Upper Ontologies.\n \n \n \n \n\n\n \n Muñoz, L. S.; and Grüninger, M.\n\n\n \n\n\n\n In Fred, A. L. N.; Dietz, J. L. G.; Aveiro, D.; Liu, K.; Bernardino, J.; and Filipe, J., editor(s), Knowledge Discovery, Knowledge Engineering and Knowledge Management - 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9-11, 2016, Revised Selected Papers, volume 914, of Communications in Computer and Information Science, pages 191–212, 2016. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ic3k/MunozG16a,\n  author       = {Lydia Silva Mu{\\~{n}}oz and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ana L. N. Fred and\n                  Jan L. G. Dietz and\n                  David Aveiro and\n                  Kecheng Liu and\n                  Jorge Bernardino and\n                  Joaquim Filipe},\n  title        = {The Mereologies of Upper Ontologies},\n  booktitle    = {Knowledge Discovery, Knowledge Engineering and Knowledge Management\n                  - 8th International Joint Conference, {IC3K} 2016, Porto, Portugal,\n                  November 9-11, 2016, Revised Selected Papers},\n  series       = {Communications in Computer and Information Science},\n  volume       = {914},\n  pages        = {191--212},\n  publisher    = {Springer},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-99701-8\\_9},\n  doi          = {10.1007/978-3-319-99701-8\\_9},\n  timestamp    = {Tue, 16 Aug 2022 23:04:36 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/MunozG16a.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 Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.\n \n \n \n \n\n\n \n Kutz, O.; de Cesare, S.; Hedblom, M. M.; Besold, T. R.; Veale, T.; Gailly, F.; Guizzardi, G.; Lycett, M.; Partridge, C.; Pastor, O.; Grüninger, M.; Neuhaus, F.; Mossakowski, T.; Borgo, S.; Bozzato, L.; Vescovo, C. D.; Homola, M.; Loebe, F.; Barton, A.; and Bourguet, J.,\n editors.\n \n\n\n \n\n\n\n Volume 1660, of CEUR Workshop Proceedings.CEUR-WS.org. 2016.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:conf/fois/2016jowo,\n  editor       = {Oliver Kutz and\n                  Sergio de Cesare and\n                  Maria M. Hedblom and\n                  Tarek Richard Besold and\n                  Tony Veale and\n                  Frederik Gailly and\n                  Giancarlo Guizzardi and\n                  Mark Lycett and\n                  Chris Partridge and\n                  Oscar Pastor and\n                  Michael Gr{\\"{u}}ninger and\n                  Fabian Neuhaus and\n                  Till Mossakowski and\n                  Stefano Borgo and\n                  Loris Bozzato and\n                  Chiara Del Vescovo and\n                  Martin Homola and\n                  Frank Loebe and\n                  Adrien Barton and\n                  Jean{-}R{\\'{e}}mi Bourguet},\n  title        = {Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French\n                  Summer of Ontology co-located with the 9th International Conference\n                  on Formal Ontology in Information Systems {(FOIS} 2016), Annecy, France,\n                  July 6-9, 2016},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1660},\n  publisher    = {CEUR-WS.org},\n  year         = {2016},\n  url          = {https://ceur-ws.org/Vol-1660},\n  urn          = {urn:nbn:de:0074-1660-C},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/2016jowo.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 2015\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Internet of things: Toward smart networked systems and societies.\n \n \n \n \n\n\n \n Underwood, M. A.; Gruninger, M.; Obrst, L.; Baclawski, K.; Bennett, M.; Berg-Cross, G.; Hahmann, T.; and Sriram, R. D.\n\n\n \n\n\n\n Appl. Ontology, 10(3-4): 355–365. 2015.\n \n\n\n\n
\n\n\n\n \n \n $\"Internet$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/UnderwoodGOBBBH15,\n  author       = {Mark A. Underwood and\n                  Michael Gruninger and\n                  Leo Obrst and\n                  Ken Baclawski and\n                  Mike Bennett and\n                  Gary Berg{-}Cross and\n                  Torsten Hahmann and\n                  Ram D. Sriram},\n  title        = {Internet of things: Toward smart networked systems and societies},\n  journal      = {Appl. Ontology},\n  volume       = {10},\n  number       = {3-4},\n  pages        = {355--365},\n  year         = {2015},\n  url          = {https://doi.org/10.3233/AO-150153},\n  doi          = {10.3233/AO-150153},\n  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/UnderwoodGOBBBH15.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 A New Look at Ontology Correctness.\n \n \n \n \n\n\n \n Aameri, B.; and Gruninger, M.\n\n\n \n\n\n\n In 2015 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 22-25, 2015, 2015. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/aaaiss/AameriG15,\n  author       = {Bahar Aameri and\n                  Michael Gruninger},\n  title        = {A New Look at Ontology Correctness},\n  booktitle    = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,\n                  USA, March 22-25, 2015},\n  publisher    = {{AAAI} Press},\n  year         = {2015},\n  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10305},\n  timestamp    = {Wed, 14 Nov 2018 14:01:49 +0100},\n  biburl       = {https://dblp.org/rec/conf/aaaiss/AameriG15.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 An Activity-Based Ontology for Dates.\n \n \n \n \n\n\n \n Gruninger, M.; and Katsumi, M.\n\n\n \n\n\n\n In 2015 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 22-25, 2015, 2015. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@inproceedings{DBLP:conf/aaaiss/GruningerK15,\n  author       = {Michael Gruninger and\n                  Megan Katsumi},\n  title        = {An Activity-Based Ontology for Dates},\n  booktitle    = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,\n                  USA, March 22-25, 2015},\n  publisher    = {{AAAI} Press},\n  year         = {2015},\n  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10298},\n  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/aaaiss/GruningerK15.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 Ontology Mapping in an e-Commerce Application.\n \n \n \n \n\n\n \n Chui, C.; Grüninger, M.; and van Berkel, M.\n\n\n \n\n\n\n In Cuel, R.; and Young, R., editor(s), Formal Ontologies Meet Industry - 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings, volume 225, of Lecture Notes in Business Information Processing, pages 25–38, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fomi/ChuiGB15,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger and\n                  Mark van Berkel},\n  editor       = {Roberta Cuel and\n                  Robert Young},\n  title        = {Ontology Mapping in an e-Commerce Application},\n  booktitle    = {Formal Ontologies Meet Industry - 7th International Workshop, {FOMI}\n                  2015, Berlin, Germany, August 5, 2015, Proceedings},\n  series       = {Lecture Notes in Business Information Processing},\n  volume       = {225},\n  pages        = {25--38},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-21545-7\\_3},\n  doi          = {10.1007/978-3-319-21545-7\\_3},\n  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fomi/ChuiGB15.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 Developing an Ontology for Joints in Furniture Design.\n \n \n \n \n\n\n \n Shrivastava, J.; and Grüninger, M.\n\n\n \n\n\n\n In Cuel, R.; and Young, R., editor(s), Formal Ontologies Meet Industry - 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings, volume 225, of Lecture Notes in Business Information Processing, pages 88–99, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Developing$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fomi/ShrivastavaG15,\n  author       = {Jyotsna Shrivastava and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Roberta Cuel and\n                  Robert Young},\n  title        = {Developing an Ontology for Joints in Furniture Design},\n  booktitle    = {Formal Ontologies Meet Industry - 7th International Workshop, {FOMI}\n                  2015, Berlin, Germany, August 5, 2015, Proceedings},\n  series       = {Lecture Notes in Business Information Processing},\n  volume       = {225},\n  pages        = {88--99},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-21545-7\\_8},\n  doi          = {10.1007/978-3-319-21545-7\\_8},\n  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fomi/ShrivastavaG15.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 Using PSL to Extend and Evaluate Event Ontologies.\n \n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n In Bassiliades, N.; Gottlob, G.; Sadri, F.; Paschke, A.; and Roman, D., editor(s), Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings, volume 9202, of Lecture Notes in Computer Science, pages 225–240, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ruleml/KatsumiG15,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Nick Bassiliades and\n                  Georg Gottlob and\n                  Fariba Sadri and\n                  Adrian Paschke and\n                  Dumitru Roman},\n  title        = {Using {PSL} to Extend and Evaluate Event Ontologies},\n  booktitle    = {Rule Technologies: Foundations, Tools, and Applications - 9th International\n                  Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {9202},\n  pages        = {225--240},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-21542-6\\_15},\n  doi          = {10.1007/978-3-319-21542-6\\_15},\n  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},\n  biburl       = {https://dblp.org/rec/conf/ruleml/KatsumiG15.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 2014\n \n \n (11)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.\n \n \n \n \n\n\n \n Obrst, L.; Grüninger, M.; Baclawski, K.; Bennett, M.; Brickley, D.; Berg-Cross, G.; Hitzler, P.; Janowicz, K.; Kapp, C.; Kutz, O.; Lange, C.; Levenchuk, A.; Quattri, F.; Rector, A. L.; Schneider, T.; Spero, S.; Thessen, A. E.; Vegetti, M.; Vizedom, A.; Westerinen, A.; West, M.; and Yim, P.\n\n\n \n\n\n\n Appl. Ontology, 9(2): 155–170. 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"Semantic$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/ObrstGBBBBHJKK0LQRSSTVVWWY14,\n  author       = {Leo Obrst and\n                  Michael Gr{\\"{u}}ninger and\n                  Ken Baclawski and\n                  Mike Bennett and\n                  Dan Brickley and\n                  Gary Berg{-}Cross and\n                  Pascal Hitzler and\n                  Krzysztof Janowicz and\n                  Christine Kapp and\n                  Oliver Kutz and\n                  Christoph Lange and\n                  Anatoly Levenchuk and\n                  Francesca Quattri and\n                  Alan L. Rector and\n                  Todd Schneider and\n                  Simon Spero and\n                  Anne E. Thessen and\n                  Marcela Vegetti and\n                  Amanda Vizedom and\n                  Andrea Westerinen and\n                  Matthew West and\n                  Peter Yim},\n  title        = {Semantic Web and Big Data meets Applied Ontology - The Ontology Summit\n                  2014},\n  journal      = {Appl. Ontology},\n  volume       = {9},\n  number       = {2},\n  pages        = {155--170},\n  year         = {2014},\n  url          = {https://doi.org/10.3233/AO-140135},\n  doi          = {10.3233/AO-140135},\n  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/ObrstGBBBBHJKK0LQRSSTVVWWY14.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 The Complexity of Partial-Order Plan Viability Problems.\n \n \n \n \n\n\n \n Tan, X.; and Gruninger, M.\n\n\n \n\n\n\n In Chien, S. A.; Do, M. B.; Fern, A.; and Ruml, W., editor(s), Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014, 2014. AAAI\n \n\n\n\n
\n\n\n\n \n \n $\"The$ 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

@inproceedings{DBLP:conf/aips/TanG14,\n  author       = {Xing Tan and\n                  Michael Gruninger},\n  editor       = {Steve A. Chien and\n                  Minh Binh Do and\n                  Alan Fern and\n                  Wheeler Ruml},\n  title        = {The Complexity of Partial-Order Plan Viability Problems},\n  booktitle    = {Proceedings of the Twenty-Fourth International Conference on Automated\n                  Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,\n                  USA, June 21-26, 2014},\n  publisher    = {{AAAI}},\n  year         = {2014},\n  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7926},\n  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/aips/TanG14.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 Proof Support for Common Logic.\n \n \n \n \n\n\n \n Mossakowski, T.; Codescu, M.; Kutz, O.; Lange, C.; and Grüninger, M.\n\n\n \n\n\n\n In Benzmüller, C.; and Otten, J., editor(s), Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, volume 33, of EPiC Series in Computing, pages 42–58, 2014. EasyChair\n \n\n\n\n
\n\n\n\n \n \n $\"Proof$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/cade/MossakowskiCK0G14,\n  author       = {Till Mossakowski and\n                  Mihai Codescu and\n                  Oliver Kutz and\n                  Christoph Lange and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Christoph Benzm{\\"{u}}ller and\n                  Jens Otten},\n  title        = {Proof Support for Common Logic},\n  booktitle    = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR\n                  2014, Vienna, Austria, July 23, 2014},\n  series       = {EPiC Series in Computing},\n  volume       = {33},\n  pages        = {42--58},\n  publisher    = {EasyChair},\n  year         = {2014},\n  url          = {https://doi.org/10.29007/2ksh},\n  doi          = {10.29007/2KSH},\n  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/cade/MossakowskiCK0G14.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 Reuse with Domain and Process Ontologies.\n \n \n \n \n\n\n \n Aameri, B.; and Gruninger, M.\n\n\n \n\n\n\n In Baclawski, K.; Groza, T.; Hahmann, T.; and Varzinczak, I., editor(s), Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22, 2014, volume 1248, of CEUR Workshop Proceedings, 2014. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Reuse$ 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

@inproceedings{DBLP:conf/fois/AameriG14,\n  author       = {Bahar Aameri and\n                  Michael Gruninger},\n  editor       = {Kenneth Baclawski and\n                  Tudor Groza and\n                  Torsten Hahmann and\n                  Ivan Varzinczak},\n  title        = {Reuse with Domain and Process Ontologies},\n  booktitle    = {Proceedings of the 8th International Workshop on Modular Ontologies\n                  co-located with the 8th International Conference on Formal Ontology\n                  in Information Systems {(FOIS} 2014), Rio de Janeiro, Brazil, September\n                  22, 2014},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1248},\n  publisher    = {CEUR-WS.org},\n  year         = {2014},\n  url          = {https://ceur-ws.org/Vol-1248/WoMO14-Paper7.pdf},\n  timestamp    = {Fri, 27 Sep 2024 18:09:36 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/AameriG14.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 Preservation of Modules.\n \n \n \n \n\n\n \n Gruninger, M.; and Aameri, B.\n\n\n \n\n\n\n In Baclawski, K.; Groza, T.; Hahmann, T.; and Varzinczak, I., editor(s), Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22, 2014, volume 1248, of CEUR Workshop Proceedings, 2014. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Preservation$ 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

@inproceedings{DBLP:conf/fois/GruningerA14,\n  author       = {Michael Gruninger and\n                  Bahar Aameri},\n  editor       = {Kenneth Baclawski and\n                  Tudor Groza and\n                  Torsten Hahmann and\n                  Ivan Varzinczak},\n  title        = {Preservation of Modules},\n  booktitle    = {Proceedings of the 8th International Workshop on Modular Ontologies\n                  co-located with the 8th International Conference on Formal Ontology\n                  in Information Systems {(FOIS} 2014), Rio de Janeiro, Brazil, September\n                  22, 2014},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1248},\n  publisher    = {CEUR-WS.org},\n  year         = {2014},\n  url          = {https://ceur-ws.org/Vol-1248/WoMO14-Paper3.pdf},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/GruningerA14.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 A Sideways Look at Upper Ontologies.\n \n \n \n \n\n\n \n Grüninger, M.; Hahmann, T.; Katsumi, M.; and Chui, C.\n\n\n \n\n\n\n In Garbacz, P.; and Kutz, O., editor(s), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil, volume 267, of Frontiers in Artificial Intelligence and Applications, pages 9–22, 2014. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/GruningerHKC14,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Megan Katsumi and\n                  Carmen Chui},\n  editor       = {Pawel Garbacz and\n                  Oliver Kutz},\n  title        = {A Sideways Look at Upper Ontologies},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the Eighth\n                  International Conference, {FOIS} 2014, September, 22-25, 2014, Rio\n                  de Janeiro, Brazil},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {267},\n  pages        = {9--22},\n  publisher    = {{IOS} Press},\n  year         = {2014},\n  url          = {https://doi.org/10.3233/978-1-61499-438-1-9},\n  doi          = {10.3233/978-1-61499-438-1-9},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/GruningerHKC14.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 Interdependence among material objects and voids.\n \n \n \n \n\n\n \n Hahmann, T.; Brodaric, B.; and Grüninger, M.\n\n\n \n\n\n\n In Garbacz, P.; and Kutz, O., editor(s), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil, volume 267, of Frontiers in Artificial Intelligence and Applications, pages 37–50, 2014. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Interdependence$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/HahmannBG14,\n  author       = {Torsten Hahmann and\n                  Boyan Brodaric and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Pawel Garbacz and\n                  Oliver Kutz},\n  title        = {Interdependence among material objects and voids},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the Eighth\n                  International Conference, {FOIS} 2014, September, 22-25, 2014, Rio\n                  de Janeiro, Brazil},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {267},\n  pages        = {37--50},\n  publisher    = {{IOS} Press},\n  year         = {2014},\n  url          = {https://doi.org/10.3233/978-1-61499-438-1-37},\n  doi          = {10.3233/978-1-61499-438-1-37},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/HahmannBG14.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 Mathematical Foundations for Participation Ontologies.\n \n \n \n \n\n\n \n Chui, C.; and Grüninger, M.\n\n\n \n\n\n\n In Garbacz, P.; and Kutz, O., editor(s), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil, volume 267, of Frontiers in Artificial Intelligence and Applications, pages 105–118, 2014. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Mathematical$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/ChuiG14,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Pawel Garbacz and\n                  Oliver Kutz},\n  title        = {Mathematical Foundations for Participation Ontologies},\n  booktitle    = {Formal Ontology in Information Systems - Proceedings of the Eighth\n                  International Conference, {FOIS} 2014, September, 22-25, 2014, Rio\n                  de Janeiro, Brazil},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {267},\n  pages        = {105--118},\n  publisher    = {{IOS} Press},\n  year         = {2014},\n  url          = {https://doi.org/10.3233/978-1-61499-438-1-105},\n  doi          = {10.3233/978-1-61499-438-1-105},\n  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/ChuiG14.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 Merging the DOLCE and PSL Upper Ontologies.\n \n \n \n \n\n\n \n Chui, C.; and Grüninger, M.\n\n\n \n\n\n\n In Filipe, J.; Dietz, J. L. G.; and Aveiro, D., editor(s), KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Rome, Italy, 21-24 October, 2014, pages 16–26, 2014. SciTePress\n \n\n\n\n
\n\n\n\n \n \n $\"Merging$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ic3k/ChuiG14,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Joaquim Filipe and\n                  Jan L. G. Dietz and\n                  David Aveiro},\n  title        = {Merging the {DOLCE} and {PSL} Upper Ontologies},\n  booktitle    = {{KEOD} 2014 - Proceedings of the International Conference on Knowledge\n                  Engineering and Ontology Development, Rome, Italy, 21-24 October,\n                  2014},\n  pages        = {16--26},\n  publisher    = {SciTePress},\n  year         = {2014},\n  url          = {https://doi.org/10.5220/0005027100160026},\n  doi          = {10.5220/0005027100160026},\n  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/ic3k/ChuiG14.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 Techniques for Merging Upper Ontologies.\n \n \n \n \n\n\n \n Chui, C.; and Grüninger, M.\n\n\n \n\n\n\n In Fred, A. L. N.; Dietz, J. L. G.; Aveiro, D.; Liu, K.; and Filipe, J., editor(s), Knowledge Discovery, Knowledge Engineering and Knowledge Management - 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers, volume 553, of Communications in Computer and Information Science, pages 273–292, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Techniques$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ic3k/ChuiG14a,\n  author       = {Carmen Chui and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ana L. N. Fred and\n                  Jan L. G. Dietz and\n                  David Aveiro and\n                  Kecheng Liu and\n                  Joaquim Filipe},\n  title        = {Techniques for Merging Upper Ontologies},\n  booktitle    = {Knowledge Discovery, Knowledge Engineering and Knowledge Management\n                  - 6th International Joint Conference, {IC3K} 2014, Rome, Italy, October\n                  21-24, 2014, Revised Selected Papers},\n  series       = {Communications in Computer and Information Science},\n  volume       = {553},\n  pages        = {273--292},\n  publisher    = {Springer},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/978-3-319-25840-9\\_18},\n  doi          = {10.1007/978-3-319-25840-9\\_18},\n  timestamp    = {Tue, 16 Aug 2022 23:04:35 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/ChuiG14a.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 Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 21, 2013.\n \n \n \n \n\n\n \n Gangemi, A.; Gruninger, M.; Hammar, K.; Lefort, L.; Presutti, V.; and Scherp, A.,\n editors.\n \n\n\n \n\n\n\n Volume 1188, of CEUR Workshop Proceedings.CEUR-WS.org. 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:conf/semweb/2013wop,\n  editor       = {Aldo Gangemi and\n                  Michael Gruninger and\n                  Karl Hammar and\n                  Laurent Lefort and\n                  Valentina Presutti and\n                  Ansgar Scherp},\n  title        = {Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns\n                  co-located with 12th International Semantic Web Conference {(ISWC}\n                  2013), Sydney, Australia, October 21, 2013},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {1188},\n  publisher    = {CEUR-WS.org},\n  year         = {2014},\n  url          = {https://ceur-ws.org/Vol-1188},\n  urn          = {urn:nbn:de:0074-1188-9},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/semweb/2013wop.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 2013\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Towards ontology evaluation across the life cycleThe Ontology Summit 2013.\n \n \n \n \n\n\n \n Neuhaus, F.; Vizedom, A.; Baclawski, K.; Bennett, M.; Dean, M.; Denny, M.; Grüninger, M.; Hashemi, A.; Longstreth, T.; Obrst, L.; Ray, S.; Sriram, R. D.; Schneider, T.; Vegetti, M.; West, M.; and Yim, P.\n\n\n \n\n\n\n Appl. Ontology, 8(3): 179–194. 2013.\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/NeuhausVBBDDGHLORSSVWY13,\n  author       = {Fabian Neuhaus and\n                  Amanda Vizedom and\n                  Kenneth Baclawski and\n                  Mike Bennett and\n                  Mike Dean and\n                  Michael Denny and\n                  Michael Gr{\\"{u}}ninger and\n                  Ali Hashemi and\n                  Terry Longstreth and\n                  Leo Obrst and\n                  Steve Ray and\n                  Ram D. Sriram and\n                  Todd Schneider and\n                  Marcela Vegetti and\n                  Matthew West and\n                  Peter Yim},\n  title        = {Towards ontology evaluation across the life cycleThe Ontology Summit\n                  2013},\n  journal      = {Appl. Ontology},\n  volume       = {8},\n  number       = {3},\n  pages        = {179--194},\n  year         = {2013},\n  url          = {https://doi.org/10.3233/AO-130125},\n  doi          = {10.3233/AO-130125},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/NeuhausVBBDDGHLORSSVWY13.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 Complementation in Representable Theories of Region-Based Space.\n \n \n \n \n\n\n \n Hahmann, T.; and Grüninger, M.\n\n\n \n\n\n\n Notre Dame J. Formal Log., 54(2): 177–214. 2013.\n \n\n\n\n
\n\n\n\n \n \n $\"Complementation$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ndjfl/HahmannG13,\n  author       = {Torsten Hahmann and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Complementation in Representable Theories of Region-Based Space},\n  journal      = {Notre Dame J. Formal Log.},\n  volume       = {54},\n  number       = {2},\n  pages        = {177--214},\n  year         = {2013},\n  url          = {https://doi.org/10.1215/00294527-1731344},\n  doi          = {10.1215/00294527-1731344},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ndjfl/HahmannG13.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 Ontology Repositories Make a World of Difference - (Abstract of Keynote Talk).\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Morgenstern, L.; Stefaneas, P. S.; Lévy, F.; Wyner, A. Z.; and Paschke, A., editor(s), Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings, volume 8035, of Lecture Notes in Computer Science, pages 12, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ruleml/Gruninger13,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Leora Morgenstern and\n                  Petros S. Stefaneas and\n                  Fran{\\c{c}}ois L{\\'{e}}vy and\n                  Adam Z. Wyner and\n                  Adrian Paschke},\n  title        = {Ontology Repositories Make a World of Difference - (Abstract of Keynote\n                  Talk)},\n  booktitle    = {Theory, Practice, and Applications of Rules on the Web - 7th International\n                  Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8035},\n  pages        = {12},\n  publisher    = {Springer},\n  year         = {2013},\n  url          = {https://doi.org/10.1007/978-3-642-39617-5\\_3},\n  doi          = {10.1007/978-3-642-39617-5\\_3},\n  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},\n  biburl       = {https://dblp.org/rec/conf/ruleml/Gruninger13.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 2012\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n On the algebra of regular sets - Properties of representable Stonian p-ortholattices.\n \n \n \n \n\n\n \n Winter, M.; Hahmann, T.; and Grüninger, M.\n\n\n \n\n\n\n Ann. Math. Artif. Intell., 65(1): 25–60. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"On$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/amai/WinterHG12,\n  author       = {Michael Winter and\n                  Torsten Hahmann and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {On the algebra of regular sets - Properties of representable Stonian\n                  p-ortholattices},\n  journal      = {Ann. Math. Artif. Intell.},\n  volume       = {65},\n  number       = {1},\n  pages        = {25--60},\n  year         = {2012},\n  url          = {https://doi.org/10.1007/s10472-012-9301-2},\n  doi          = {10.1007/S10472-012-9301-2},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/amai/WinterHG12.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 Modular first-order ontologies via repositories.\n \n \n \n \n\n\n \n Grüninger, M.; Hahmann, T.; Hashemi, A.; Ong, D.; and Özgövde, A.\n\n\n \n\n\n\n Appl. Ontology, 7(2): 169–209. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"Modular$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/GruningerHHOO12,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Ali Hashemi and\n                  Darren Ong and\n                  Atalay {\\"{O}}zg{\\"{o}}vde},\n  title        = {Modular first-order ontologies via repositories},\n  journal      = {Appl. Ontology},\n  volume       = {7},\n  number       = {2},\n  pages        = {169--209},\n  year         = {2012},\n  url          = {https://doi.org/10.3233/AO-2012-0106},\n  doi          = {10.3233/AO-2012-0106},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/GruningerHHOO12.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 Ontology for Big Systems: The Ontology Summit 2012 Communiqué.\n \n \n \n \n\n\n \n Schneider, T.; Hashemi, A.; Bennett, M.; Brady, M.; Casanave, C.; Graves, H.; Gruninger, M.; Guarino, N.; Levenchuk, A.; Lucier, E.; Obrst, L.; Ray, S.; Sriram, R. D.; Vizedom, A.; West, M.; Whetzel, T.; and Yim, P.\n\n\n \n\n\n\n Appl. Ontology, 7(3): 357–371. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/SchneiderHBBCGGGLLORSVWWY12,\n  author       = {Todd Schneider and\n                  Ali Hashemi and\n                  Mike Bennett and\n                  Mary Brady and\n                  Cory Casanave and\n                  Henson Graves and\n                  Michael Gruninger and\n                  Nicola Guarino and\n                  Anatoly Levenchuk and\n                  Ernie Lucier and\n                  Leo Obrst and\n                  Steve Ray and\n                  Ram D. Sriram and\n                  Amanda Vizedom and\n                  Matthew West and\n                  Trish Whetzel and\n                  Peter Yim},\n  title        = {Ontology for Big Systems: The Ontology Summit 2012 Communiqu{\\'{e}}},\n  journal      = {Appl. Ontology},\n  volume       = {7},\n  number       = {3},\n  pages        = {357--371},\n  year         = {2012},\n  url          = {https://doi.org/10.3233/AO-2012-0111},\n  doi          = {10.3233/AO-2012-0111},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/SchneiderHBBCGGGLLORSVWWY12.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 The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.\n \n \n \n \n\n\n \n Lange, C.; Kutz, O.; Mossakowski, T.; and Grüninger, M.\n\n\n \n\n\n\n In Jeuring, J.; Campbell, J. A.; Carette, J.; Reis, G. D.; Sojka, P.; Wenzel, M.; and Sorge, V., editor(s), Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, volume 7362, of Lecture Notes in Computer Science, pages 463–467, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/aisc/0002KMG12,\n  author       = {Christoph Lange and\n                  Oliver Kutz and\n                  Till Mossakowski and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Johan Jeuring and\n                  John A. Campbell and\n                  Jacques Carette and\n                  Gabriel Dos Reis and\n                  Petr Sojka and\n                  Makarius Wenzel and\n                  Volker Sorge},\n  title        = {The Distributed Ontology Language {(DOL):} Ontology Integration and\n                  Interoperability Applied to Mathematical Formalization},\n  booktitle    = {Intelligent Computer Mathematics - 11th International Conference,\n                  {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,\n                  {DML} 2012, 11th International Conference, {MKM} 2012, Systems and\n                  Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,\n                  2012. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {7362},\n  pages        = {463--467},\n  publisher    = {Springer},\n  year         = {2012},\n  url          = {https://doi.org/10.1007/978-3-642-31374-5\\_37},\n  doi          = {10.1007/978-3-642-31374-5\\_37},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/aisc/0002KMG12.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 Specifying Ontology Design Patterns with an Ontology Repository.\n \n \n \n \n\n\n \n Grüninger, M.; and Katsumi, M.\n\n\n \n\n\n\n In Blomqvist, E.; Gangemi, A.; Hammar, K.; and Suárez-Figueroa, M. C., editor(s), Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA, November 12, 2012, volume 929, of CEUR Workshop Proceedings, 2012. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Specifying$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/semweb/GruningerK12,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Megan Katsumi},\n  editor       = {Eva Blomqvist and\n                  Aldo Gangemi and\n                  Karl Hammar and\n                  Mari Carmen Su{\\'{a}}rez{-}Figueroa},\n  title        = {Specifying Ontology Design Patterns with an Ontology Repository},\n  booktitle    = {Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA,\n                  November 12, 2012},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {929},\n  publisher    = {CEUR-WS.org},\n  year         = {2012},\n  url          = {https://ceur-ws.org/Vol-929/paper1.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},\n  biburl       = {https://dblp.org/rec/conf/semweb/GruningerK12.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 The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.\n \n \n \n \n\n\n \n Lange, C.; Kutz, O.; Mossakowski, T.; and Grüninger, M.\n\n\n \n\n\n\n CoRR, abs/1204.5093. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ 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

@article{DBLP:journals/corr/abs-1204-5093,\n  author       = {Christoph Lange and\n                  Oliver Kutz and\n                  Till Mossakowski and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {The Distributed Ontology Language {(DOL):} Ontology Integration and\n                  Interoperability Applied to Mathematical Formalization},\n  journal      = {CoRR},\n  volume       = {abs/1204.5093},\n  year         = {2012},\n  url          = {http://arxiv.org/abs/1204.5093},\n  eprinttype    = {arXiv},\n  eprint       = {1204.5093},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-5093.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 The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility.\n \n \n \n \n\n\n \n Lange, C.; Mossakowski, T.; Kutz, O.; Galinski, C.; Grüninger, M.; and Vale, D. C.\n\n\n \n\n\n\n CoRR, abs/1208.0293. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ 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

@article{DBLP:journals/corr/abs-1208-0293,\n  author       = {Christoph Lange and\n                  Till Mossakowski and\n                  Oliver Kutz and\n                  Christian Galinski and\n                  Michael Gr{\\"{u}}ninger and\n                  Daniel Couto Vale},\n  title        = {The Distributed Ontology Language {(DOL):} Use Cases, Syntax, and\n                  Extensibility},\n  journal      = {CoRR},\n  volume       = {abs/1208.0293},\n  year         = {2012},\n  url          = {http://arxiv.org/abs/1208.0293},\n  eprinttype    = {arXiv},\n  eprint       = {1208.0293},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-0293.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 2011\n \n \n (8)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Creating the ontologists of the future.\n \n \n \n \n\n\n \n Neuhaus, F.; Florescu, E.; Galton, A.; Grüninger, M.; Guarino, N.; Obrst, L.; Sanchez, A.; Vizedom, A.; Yim, P.; and Smith, B.\n\n\n \n\n\n\n Appl. Ontology, 6(1): 91–98. 2011.\n \n\n\n\n
\n\n\n\n \n \n $\"Creating$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/NeuhausFGGGOSVYS11,\n  author       = {Fabian Neuhaus and\n                  Elizabeth Florescu and\n                  Antony Galton and\n                  Michael Gr{\\"{u}}ninger and\n                  Nicola Guarino and\n                  Leo Obrst and\n                  Arturo Sanchez and\n                  Amanda Vizedom and\n                  Peter Yim and\n                  Barry Smith},\n  title        = {Creating the ontologists of the future},\n  journal      = {Appl. Ontology},\n  volume       = {6},\n  number       = {1},\n  pages        = {91--98},\n  year         = {2011},\n  url          = {https://doi.org/10.3233/AO-2011-0083},\n  doi          = {10.3233/AO-2011-0083},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ao/NeuhausFGGGOSVYS11.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 A Naive Theory of Dimension for Qualitative Spatial Relations.\n \n \n \n \n\n\n \n Hahmann, T.; and Gruninger, M.\n\n\n \n\n\n\n In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011, 2011. AAAI\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/aaaiss/HahmannG11,\n  author       = {Torsten Hahmann and\n                  Michael Gruninger},\n  title        = {A Naive Theory of Dimension for Qualitative Spatial Relations},\n  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011\n                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,\n                  USA, March 21-23, 2011},\n  publisher    = {{AAAI}},\n  year         = {2011},\n  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2380},\n  timestamp    = {Mon, 13 Feb 2012 17:07:39 +0100},\n  biburl       = {https://dblp.org/rec/conf/aaaiss/HahmannG11.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 Multidimensional Mereotopology with Betweenness.\n \n \n \n \n\n\n \n Hahmann, T.; and Grüninger, M.\n\n\n \n\n\n\n In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 906–911, 2011. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n $\"Multidimensional$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ijcai/HahmannG11,\n  author       = {Torsten Hahmann and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Toby Walsh},\n  title        = {Multidimensional Mereotopology with Betweenness},\n  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n                  2011},\n  pages        = {906--911},\n  publisher    = {{IJCAI/AAAI}},\n  year         = {2011},\n  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-157},\n  doi          = {10.5591/978-1-57735-516-8/IJCAI11-157},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ijcai/HahmannG11.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 Verification of the OWL-Time Ontology.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Aroyo, L.; Welty, C.; Alani, H.; Taylor, J.; Bernstein, A.; Kagal, L.; Noy, N. F.; and Blomqvist, E., editor(s), The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, volume 7031, of Lecture Notes in Computer Science, pages 225–240, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Verification$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/semweb/Gruninger11,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Lora Aroyo and\n                  Chris Welty and\n                  Harith Alani and\n                  Jamie Taylor and\n                  Abraham Bernstein and\n                  Lalana Kagal and\n                  Natasha Fridman Noy and\n                  Eva Blomqvist},\n  title        = {Verification of the OWL-Time Ontology},\n  booktitle    = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,\n                  Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {7031},\n  pages        = {225--240},\n  publisher    = {Springer},\n  year         = {2011},\n  url          = {https://doi.org/10.1007/978-3-642-25073-6\\_15},\n  doi          = {10.1007/978-3-642-25073-6\\_15},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/semweb/Gruninger11.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 Thinking Outside (and Inside) the Box.\n \n \n \n \n\n\n \n Gruninger, M.; and Bouafoud, S.\n\n\n \n\n\n\n In Hastings, J.; Kutz, O.; Bhatt, M.; and Borgo, S., editor(s), Proceedings of the First Interdisciplinary Workshop on SHAPES, Karlsruhe, Germany, September 27, 2011, volume 812, of CEUR Workshop Proceedings, 2011. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n $\"Thinking$ 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

@inproceedings{DBLP:conf/shapes/GruningerB11,\n  author       = {Michael Gruninger and\n                  Salim Bouafoud},\n  editor       = {Janna Hastings and\n                  Oliver Kutz and\n                  Mehul Bhatt and\n                  Stefano Borgo},\n  title        = {Thinking Outside (and Inside) the Box},\n  booktitle    = {Proceedings of the First Interdisciplinary Workshop on SHAPES, Karlsruhe,\n                  Germany, September 27, 2011},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {812},\n  publisher    = {CEUR-WS.org},\n  year         = {2011},\n  url          = {https://ceur-ws.org/Vol-812/paper6.pdf},\n  timestamp    = {Fri, 10 Mar 2023 16:23:19 +0100},\n  biburl       = {https://dblp.org/rec/conf/shapes/GruningerB11.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 Verification of Time Ontologies with Points and Intervals.\n \n \n \n \n\n\n \n Grüninger, M.; and Ong, D.\n\n\n \n\n\n\n In Combi, C.; Leucker, M.; and Wolter, F., editor(s), Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011, pages 31–38, 2011. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Verification$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/time/GruningerO11,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Darren Ong},\n  editor       = {Carlo Combi and\n                  Martin Leucker and\n                  Frank Wolter},\n  title        = {Verification of Time Ontologies with Points and Intervals},\n  booktitle    = {Eighteenth International Symposium on Temporal Representation and\n                  Reasoning, {TIME} 2011, L{\\"{u}}beck , Germany, September 12-14, 2011},\n  pages        = {31--38},\n  publisher    = {{IEEE}},\n  year         = {2011},\n  url          = {https://doi.org/10.1109/TIME.2011.27},\n  doi          = {10.1109/TIME.2011.27},\n  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/time/GruningerO11.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 Exploiting Modularity for Ontology Verification.\n \n \n \n \n\n\n \n Grüninger, M.; Hahmann, T.; and Katsumi, M.\n\n\n \n\n\n\n In Kutz, O.; and Schneider, T., editor(s), Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011, volume 230, of Frontiers in Artificial Intelligence and Applications, pages 55–62, 2011. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Exploiting$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/womo/GruningerHK11,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Megan Katsumi},\n  editor       = {Oliver Kutz and\n                  Thomas Schneider},\n  title        = {Exploiting Modularity for Ontology Verification},\n  booktitle    = {Modular Ontologies - Proceedings of the Fifth International Workshop,\n                  WoMO 2011, Ljubljana, Slovenia, August 2011},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {230},\n  pages        = {55--62},\n  publisher    = {{IOS} Press},\n  year         = {2011},\n  url          = {https://doi.org/10.3233/978-1-60750-799-4-55},\n  doi          = {10.3233/978-1-60750-799-4-55},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/womo/GruningerHK11.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 Constructing an Ontology Repository: A Case Study with Theories of Time Intervals.\n \n \n \n \n\n\n \n Ong, D.; and Grüninger, M.\n\n\n \n\n\n\n In Kutz, O.; and Schneider, T., editor(s), Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011, volume 230, of Frontiers in Artificial Intelligence and Applications, pages 110–125, 2011. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Constructing$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/womo/OngG11,\n  author       = {Darren Ong and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Oliver Kutz and\n                  Thomas Schneider},\n  title        = {Constructing an Ontology Repository: {A} Case Study with Theories\n                  of Time Intervals},\n  booktitle    = {Modular Ontologies - Proceedings of the Fifth International Workshop,\n                  WoMO 2011, Ljubljana, Slovenia, August 2011},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {230},\n  pages        = {110--125},\n  publisher    = {{IOS} Press},\n  year         = {2011},\n  url          = {https://doi.org/10.3233/978-1-60750-799-4-110},\n  doi          = {10.3233/978-1-60750-799-4-110},\n  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/womo/OngG11.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 2010\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Foundational Process Relations in Bio-Ontologies.\n \n \n \n \n\n\n \n Özgövde, A.; and Grüninger, M.\n\n\n \n\n\n\n In Galton, A.; and Mizoguchi, R., editor(s), Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010, volume 209, of Frontiers in Artificial Intelligence and Applications, pages 243–256, 2010. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Foundational$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/OzgovdeG10,\n  author       = {Atalay {\\"{O}}zg{\\"{o}}vde and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Antony Galton and\n                  Riichiro Mizoguchi},\n  title        = {Foundational Process Relations in Bio-Ontologies},\n  booktitle    = {Formal Ontology in Information Systems, Proceedings of the Sixth International\n                  Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {209},\n  pages        = {243--256},\n  publisher    = {{IOS} Press},\n  year         = {2010},\n  url          = {https://doi.org/10.3233/978-1-60750-535-8-243},\n  doi          = {10.3233/978-1-60750-535-8-243},\n  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/OzgovdeG10.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 Ontology Verification with Repositories.\n \n \n \n \n\n\n \n Grüninger, M.; Hahmann, T.; Hashemi, A.; and Ong, D.\n\n\n \n\n\n\n In Galton, A.; and Mizoguchi, R., editor(s), Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010, volume 209, of Frontiers in Artificial Intelligence and Applications, pages 317–330, 2010. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/GruningerHHO10,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Torsten Hahmann and\n                  Ali Hashemi and\n                  Darren Ong},\n  editor       = {Antony Galton and\n                  Riichiro Mizoguchi},\n  title        = {Ontology Verification with Repositories},\n  booktitle    = {Formal Ontology in Information Systems, Proceedings of the Sixth International\n                  Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {209},\n  pages        = {317--330},\n  publisher    = {{IOS} Press},\n  year         = {2010},\n  url          = {https://doi.org/10.3233/978-1-60750-535-8-317},\n  doi          = {10.3233/978-1-60750-535-8-317},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/GruningerHHO10.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 Theorem Proving in the Ontology Lifecycle.\n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n In Filipe, J.; and Dietz, J. L. G., editor(s), KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain, October 25-28, 2010, pages 37–49, 2010. SciTePress\n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/ic3k/KatsumiG10,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Joaquim Filipe and\n                  Jan L. G. Dietz},\n  title        = {Theorem Proving in the Ontology Lifecycle},\n  booktitle    = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge\n                  Engineering and Ontology Development, Valencia, Spain, October 25-28,\n                  2010},\n  pages        = {37--49},\n  publisher    = {SciTePress},\n  year         = {2010},\n  timestamp    = {Thu, 27 Oct 2011 12:42:36 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/KatsumiG10.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 Automated Reasoning Support for Ontology Development.\n \n \n \n \n\n\n \n Katsumi, M.; and Grüninger, M.\n\n\n \n\n\n\n In Fred, A. L. N.; Dietz, J. L. G.; Liu, K.; and Filipe, J., editor(s), Knowledge Discovery, Knowledge Engineering and Knowledge Management - Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers, volume 272, of Communications in Computer and Information Science, pages 208–225, 2010. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ic3k/KatsumiG10a,\n  author       = {Megan Katsumi and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ana L. N. Fred and\n                  Jan L. G. Dietz and\n                  Kecheng Liu and\n                  Joaquim Filipe},\n  title        = {Automated Reasoning Support for Ontology Development},\n  booktitle    = {Knowledge Discovery, Knowledge Engineering and Knowledge Management\n                  - Second International Joint Conference, {IC3K} 2010, Valencia, Spain,\n                  October 25-28, 2010, Revised Selected Papers},\n  series       = {Communications in Computer and Information Science},\n  volume       = {272},\n  pages        = {208--225},\n  publisher    = {Springer},\n  year         = {2010},\n  url          = {https://doi.org/10.1007/978-3-642-29764-9\\_15},\n  doi          = {10.1007/978-3-642-29764-9\\_15},\n  timestamp    = {Sat, 19 Oct 2019 20:33:38 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/KatsumiG10a.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 Ontologies for Dates and Duration.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Lin, F.; Sattler, U.; and Truszczynski, M., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies$ 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

@inproceedings{DBLP:conf/kr/Gruninger10,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Fangzhen Lin and\n                  Ulrike Sattler and\n                  Miroslaw Truszczynski},\n  title        = {Ontologies for Dates and Duration},\n  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings\n                  of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,\n                  Canada, May 9-13, 2010},\n  publisher    = {{AAAI} Press},\n  year         = {2010},\n  url          = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1280},\n  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/kr/Gruninger10.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 Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective.\n \n \n \n \n\n\n \n Tan, X.; and Gruninger, M.\n\n\n \n\n\n\n In Huang, J. X.; King, I.; Raghavan, V. V.; and Rüger, S. M., editor(s), 2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference Proceedings, pages 324–327, 2010. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/webi/TanG10,\n  author       = {Xing Tan and\n                  Michael Gruninger},\n  editor       = {Jimmy Xiangji Huang and\n                  Irwin King and\n                  Vijay V. Raghavan and\n                  Stefan M. R{\\"{u}}ger},\n  title        = {Towards Axiomatizing the Semantics of {UML} Activity Diagrams: {A}\n                  Situation-Calculus Perspective},\n  booktitle    = {2010 {IEEE/WIC/ACM} International Conference on Web Intelligence,\n                  {WI} 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference\n                  Proceedings},\n  pages        = {324--327},\n  publisher    = {{IEEE} Computer Society},\n  year         = {2010},\n  url          = {https://doi.org/10.1109/WI-IAT.2010.135},\n  doi          = {10.1109/WI-IAT.2010.135},\n  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/webi/TanG10.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 2009\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Stonian p-ortholattices: A new approach to the mereotopology RT\$_\\mbox0\$.\n \n \n \n \n\n\n \n Hahmann, T.; Winter, M.; and Gruninger, M.\n\n\n \n\n\n\n Artif. Intell., 173(15): 1424–1440. 2009.\n \n\n\n\n
\n\n\n\n \n \n $\"Stonian$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ai/HahmannWG09,\n  author       = {Torsten Hahmann and\n                  Michael Winter and\n                  Michael Gruninger},\n  title        = {Stonian p-ortholattices: {A} new approach to the mereotopology RT\\({}_{\\mbox{0}}\\)},\n  journal      = {Artif. Intell.},\n  volume       = {173},\n  number       = {15},\n  pages        = {1424--1440},\n  year         = {2009},\n  url          = {https://doi.org/10.1016/j.artint.2009.07.001},\n  doi          = {10.1016/J.ARTINT.2009.07.001},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ai/HahmannWG09.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 The Ontological Stance for a Manufacturing Scenario.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n J. Cases Inf. Technol., 11(4): 1–25. 2009.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/jcit-igi/Gruninger09,\n  author       = {Michael Gr{\\"{u}}ninger},\n  title        = {The Ontological Stance for a Manufacturing Scenario},\n  journal      = {J. Cases Inf. Technol.},\n  volume       = {11},\n  number       = {4},\n  pages        = {1--25},\n  year         = {2009},\n  url          = {https://doi.org/10.4018/jcit.2009072101},\n  doi          = {10.4018/JCIT.2009072101},\n  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jcit-igi/Gruninger09.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 On the Skeleton of Stonian p-Ortholattices.\n \n \n \n \n\n\n \n Winter, M.; Hahmann, T.; and Gruninger, M.\n\n\n \n\n\n\n In Berghammer, R.; Jaoua, A.; and Möller, B., editor(s), Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, volume 5827, of Lecture Notes in Computer Science, pages 351–365, 2009. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"On$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/RelMiCS/WinterHG09,\n  author       = {Michael Winter and\n                  Torsten Hahmann and\n                  Michael Gruninger},\n  editor       = {Rudolf Berghammer and\n                  Ali Jaoua and\n                  Bernhard M{\\"{o}}ller},\n  title        = {On the Skeleton of Stonian p-Ortholattices},\n  booktitle    = {Relations and Kleene Algebra in Computer Science, 11th International\n                  Conference on Relational Methods in Computer Science, RelMiCS 2009,\n                  and 6th International Conference on Applications of Kleene Algebra,\n                  {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {5827},\n  pages        = {351--365},\n  publisher    = {Springer},\n  year         = {2009},\n  url          = {https://doi.org/10.1007/978-3-642-04639-1\\_24},\n  doi          = {10.1007/978-3-642-04639-1\\_24},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/RelMiCS/WinterHG09.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 Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes.\n \n \n \n \n\n\n \n Hahmann, T.; and Gruninger, M.\n\n\n \n\n\n\n In Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pages 11–16, 2009. AAAI\n \n\n\n\n
\n\n\n\n \n \n $\"Detecting$ 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

@inproceedings{DBLP:conf/aaaiss/HahmannG09,\n  author       = {Torsten Hahmann and\n                  Michael Gruninger},\n  title        = {Detecting Physical Defects: {A} Practical 2D-Study of Cracks and Holes},\n  booktitle    = {Benchmarking of Qualitative Spatial and Temporal Reasoning Systems,\n                  Papers from the 2009 {AAAI} Spring Symposium, Technical Report SS-09-02,\n                  Stanford, California, USA, March 23-25, 2009},\n  pages        = {11--16},\n  publisher    = {{AAAI}},\n  year         = {2009},\n  url          = {http://www.aaai.org/Library/Symposia/Spring/2009/ss09-02-003.php},\n  timestamp    = {Fri, 17 Feb 2012 13:45:33 +0100},\n  biburl       = {https://dblp.org/rec/conf/aaaiss/HahmannG09.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 Reasoning about Partially Ordered Web Service Activities in PSL.\n \n \n \n \n\n\n \n Gruninger, M.; and Tan, X.\n\n\n \n\n\n\n In Gómez-Pérez, A.; Yu, Y.; and Ding, Y., editor(s), The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings, volume 5926, of Lecture Notes in Computer Science, pages 231–245, 2009. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Reasoning$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/aswc/GruningerT09,\n  author       = {Michael Gruninger and\n                  Xing Tan},\n  editor       = {Asunci{\\'{o}}n G{\\'{o}}mez{-}P{\\'{e}}rez and\n                  Yong Yu and\n                  Ying Ding},\n  title        = {Reasoning about Partially Ordered Web Service Activities in {PSL}},\n  booktitle    = {The Semantic Web, Fourth Asian Conference, {ASWC} 2009, Shanghai,\n                  China, December 6-9, 2009. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {5926},\n  pages        = {231--245},\n  publisher    = {Springer},\n  year         = {2009},\n  url          = {https://doi.org/10.1007/978-3-642-10871-6\\_16},\n  doi          = {10.1007/978-3-642-10871-6\\_16},\n  timestamp    = {Thu, 09 Jan 2025 18:54:58 +0100},\n  biburl       = {https://dblp.org/rec/conf/aswc/GruningerT09.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 A First-Order Cutting Process Ontology for Sheet Metal Parts.\n \n \n \n \n\n\n \n Grüninger, M.; and Delaval, A.\n\n\n \n\n\n\n In Ferrario, R.; and Oltramari, A., editor(s), Formal Ontologies Meet Industry, Proceedings of the 4th Workshop FOMI 2009, September 2, 2009, Vicenza, Italy, in association with the 10th European Conference on Knowledge Management, volume 198, of Frontiers in Artificial Intelligence and Applications, pages 22–33, 2009. IOS Press\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/fomi/GruningerD09,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Arnaud Delaval},\n  editor       = {Roberta Ferrario and\n                  Alessandro Oltramari},\n  title        = {A First-Order Cutting Process Ontology for Sheet Metal Parts},\n  booktitle    = {Formal Ontologies Meet Industry, Proceedings of the 4th Workshop {FOMI}\n                  2009, September 2, 2009, Vicenza, Italy, in association with the 10th\n                  European Conference on Knowledge Management},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {198},\n  pages        = {22--33},\n  publisher    = {{IOS} Press},\n  year         = {2009},\n  url          = {https://doi.org/10.3233/978-1-60750-047-6-22},\n  doi          = {10.3233/978-1-60750-047-6-22},\n  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/fomi/GruningerD09.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 Ontology Design through Modular Repositories.\n \n \n \n\n\n \n Hashemi, A.; and Gruninger, M.\n\n\n \n\n\n\n In Dietz, J. L. G., editor(s), KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal - Madeira, Portugal, October 6-8, 2009, pages 192–199, 2009. INSTICC Press\n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/ic3k/HashemiG09,\n  author       = {Ali Hashemi and\n                  Michael Gruninger},\n  editor       = {Jan L. G. Dietz},\n  title        = {Ontology Design through Modular Repositories},\n  booktitle    = {{KEOD} 2009 - Proceedings of the International Conference on Knowledge\n                  Engineering and Ontology Development, Funchal - Madeira, Portugal,\n                  October 6-8, 2009},\n  pages        = {192--199},\n  publisher    = {{INSTICC} Press},\n  year         = {2009},\n  timestamp    = {Fri, 14 Aug 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ic3k/HashemiG09.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 The Ontological Stance for a Manufacturing Scenario.\n \n \n \n \n\n\n \n Gruninger, M.\n\n\n \n\n\n\n In Kalfoglou, Y., editor(s), Cases on Semantic Interoperability for Information Systems Integration - Practices and Applications, pages 22–42. IGI Global, 2009.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@incollection{DBLP:books/igi/09/Gruninger09,\n  author       = {Michael Gruninger},\n  editor       = {Yannis Kalfoglou},\n  title        = {The Ontological Stance for a Manufacturing Scenario},\n  booktitle    = {Cases on Semantic Interoperability for Information Systems Integration\n                  - Practices and Applications},\n  pages        = {22--42},\n  publisher    = {{IGI} Global},\n  year         = {2009},\n  url          = {https://doi.org/10.4018/978-1-60566-894-9.ch002},\n  doi          = {10.4018/978-1-60566-894-9.CH002},\n  timestamp    = {Fri, 16 Aug 2019 13:44:42 +0200},\n  biburl       = {https://dblp.org/rec/books/igi/09/Gruninger09.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 Using the PSL Ontology.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Staab, S.; and Studer, R., editor(s), Handbook on Ontologies, of International Handbooks on Information Systems, pages 423–443. Springer, 2009.\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n\n \n \n doi\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

@incollection{DBLP:series/ihis/Gruninger09,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Steffen Staab and\n                  Rudi Studer},\n  title        = {Using the {PSL} Ontology},\n  booktitle    = {Handbook on Ontologies},\n  series       = {International Handbooks on Information Systems},\n  pages        = {423--443},\n  publisher    = {Springer},\n  year         = {2009},\n  url          = {https://doi.org/10.1007/978-3-540-92673-3\\_19},\n  doi          = {10.1007/978-3-540-92673-3\\_19},\n  timestamp    = {Wed, 14 Nov 2018 10:12:16 +0100},\n  biburl       = {https://dblp.org/rec/series/ihis/Gruninger09.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 2008\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding the distinctions.\n \n \n \n \n\n\n \n Gruninger, M.; Bodenreider, O.; Olken, F.; Obrst, L.; and Yim, P.\n\n\n \n\n\n\n Appl. Ontology, 3(3): 191–200. 2008.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ao/GruningerBOOY08,\n  author       = {Michael Gruninger and\n                  Olivier Bodenreider and\n                  Frank Olken and\n                  Leo Obrst and\n                  Peter Yim},\n  title        = {Ontology Summit 2007 - Ontology, taxonomy, folksonomy: Understanding\n                  the distinctions},\n  journal      = {Appl. Ontology},\n  volume       = {3},\n  number       = {3},\n  pages        = {191--200},\n  year         = {2008},\n  url          = {https://doi.org/10.3233/AO-2008-0052},\n  doi          = {10.3233/AO-2008-0052},\n  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ao/GruningerBOOY08.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 A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.\n \n \n \n \n\n\n \n Grüninger, M.; Hull, R.; and McIlraith, S. A.\n\n\n \n\n\n\n IEEE Data Eng. Bull., 31(3): 3–7. 2008.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@article{DBLP:journals/debu/GruningerHM08,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Richard Hull and\n                  Sheila A. McIlraith},\n  title        = {A Short Overview of {FLOWS:} {A} First-Order Logic Ontology for Web\n                  Services},\n  journal      = {{IEEE} Data Eng. Bull.},\n  volume       = {31},\n  number       = {3},\n  pages        = {3--7},\n  year         = {2008},\n  url          = {http://sites.computer.org/debull/A08Sept/gruninger.pdf},\n  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/debu/GruningerHM08.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 Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.\n \n \n \n \n\n\n \n Hahmann, T.; and Gruninger, M.\n\n\n \n\n\n\n In Brewka, G.; and Lang, J., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pages 263–273, 2008. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n $\"Model-Theoretic$ 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

@inproceedings{DBLP:conf/kr/HahmannG08,\n  author       = {Torsten Hahmann and\n                  Michael Gruninger},\n  editor       = {Gerhard Brewka and\n                  J{\\'{e}}r{\\^{o}}me Lang},\n  title        = {Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology},\n  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings\n                  of the Eleventh International Conference, {KR} 2008, Sydney, Australia,\n                  September 16-19, 2008},\n  pages        = {263--273},\n  publisher    = {{AAAI} Press},\n  year         = {2008},\n  url          = {http://www.aaai.org/Library/KR/2008/kr08-026.php},\n  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/kr/HahmannG08.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 Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008.\n \n \n \n\n\n \n Eschenbach, C.; and Grüninger, M.,\n editors.\n \n\n\n \n\n\n\n Volume 183, of Frontiers in Artificial Intelligence and Applications.IOS Press. 2008.\n \n\n\n\n
\n\n\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

@proceedings{DBLP:conf/fois/2008,\n  editor       = {Carola Eschenbach and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Formal Ontology in Information Systems, Proceedings of the Fifth International\n                  Conference, {FOIS} 2008, Saarbr{\\"{u}}cken, Germany, October 31st\n                  - November 3rd, 2008},\n  series       = {Frontiers in Artificial Intelligence and Applications},\n  volume       = {183},\n  publisher    = {{IOS} Press},\n  year         = {2008},\n  isbn         = {978-1-58603-923-3},\n  timestamp    = {Tue, 17 Feb 2009 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/fois/2008.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 2007\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n CAD/CAPP Integration using Feature Ontology.\n \n \n \n \n\n\n \n Dartigues, C.; Ghodous, P.; Gruninger, M.; Pallez, D.; and Sriram, R. D.\n\n\n \n\n\n\n Concurr. Eng. Res. Appl., 15(2): 237–249. 2007.\n \n\n\n\n
\n\n\n\n \n \n $\"CAD/CAPP$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/cera/DartiguesGGPS07,\n  author       = {Christel Dartigues and\n                  Parisa Ghodous and\n                  Michael Gruninger and\n                  Denis Pallez and\n                  Ram D. Sriram},\n  title        = {{CAD/CAPP} Integration using Feature Ontology},\n  journal      = {Concurr. Eng. Res. Appl.},\n  volume       = {15},\n  number       = {2},\n  pages        = {237--249},\n  year         = {2007},\n  url          = {https://doi.org/10.1177/1063293X07079312},\n  doi          = {10.1177/1063293X07079312},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/cera/DartiguesGGPS07.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 What's Your Problem? The Problem of Problem Definition.\n \n \n \n \n\n\n \n Beck, J. C.; and Grüninger, M.\n\n\n \n\n\n\n In Miguel, I.; and Ruml, W., editor(s), Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, volume 4612, of Lecture Notes in Computer Science, pages 393–394, 2007. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"What's$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/sara/BeckG07,\n  author       = {J. Christopher Beck and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Ian Miguel and\n                  Wheeler Ruml},\n  title        = {What's Your Problem? The Problem of Problem Definition},\n  booktitle    = {Abstraction, Reformulation, and Approximation, 7th International Symposium,\n                  {SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {4612},\n  pages        = {393--394},\n  publisher    = {Springer},\n  year         = {2007},\n  url          = {https://doi.org/10.1007/978-3-540-73580-9\\_31},\n  doi          = {10.1007/978-3-540-73580-9\\_31},\n  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},\n  biburl       = {https://dblp.org/rec/conf/sara/BeckG07.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 2005\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Semantic Integration through Invariants.\n \n \n \n \n\n\n \n Grüninger, M.; and Kopena, J.\n\n\n \n\n\n\n AI Mag., 26(1): 11–20. 2005.\n \n\n\n\n
\n\n\n\n \n \n $\"Semantic$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/aim/GruningerK05,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Joseph Kopena},\n  title        = {Semantic Integration through Invariants},\n  journal      = {{AI} Mag.},\n  volume       = {26},\n  number       = {1},\n  pages        = {11--20},\n  year         = {2005},\n  url          = {https://doi.org/10.1609/aimag.v26i1.1795},\n  doi          = {10.1609/AIMAG.V26I1.1795},\n  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/aim/GruningerK05.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 PSL: A semantic domain for flow models.\n \n \n \n \n\n\n \n Bock, C.; and Gruninger, M.\n\n\n \n\n\n\n Softw. Syst. Model., 4(2): 209–231. 2005.\n \n\n\n\n
\n\n\n\n \n \n $\"PSL:$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/sosym/BockG05,\n  author       = {Conrad Bock and\n                  Michael Gruninger},\n  title        = {{PSL:} {A} semantic domain for flow models},\n  journal      = {Softw. Syst. Model.},\n  volume       = {4},\n  number       = {2},\n  pages        = {209--231},\n  year         = {2005},\n  url          = {https://doi.org/10.1007/s10270-004-0066-x},\n  doi          = {10.1007/S10270-004-0066-X},\n  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/sosym/BockG05.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 Model-theoretic Approaches to Semantic Integration (Extended Abstract).\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Kalfoglou, Y.; Schorlemmer, W. M.; Sheth, A. P.; Staab, S.; and Uschold, M., editor(s), Semantic Interoperability and Integration, volume 04391, of Dagstuhl Seminar Proceedings, 2005. IBFI, Schloss Dagstuhl, Germany\n \n\n\n\n
\n\n\n\n \n \n $\"Model-theoretic$ 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

@inproceedings{DBLP:conf/dagstuhl/Gruninger05,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Yannis Kalfoglou and\n                  W. Marco Schorlemmer and\n                  Amit P. Sheth and\n                  Steffen Staab and\n                  Michael Uschold},\n  title        = {Model-theoretic Approaches to Semantic Integration (Extended Abstract)},\n  booktitle    = {Semantic Interoperability and Integration},\n  series       = {Dagstuhl Seminar Proceedings},\n  volume       = {04391},\n  publisher    = {IBFI, Schloss Dagstuhl, Germany},\n  year         = {2005},\n  url          = {http://drops.dagstuhl.de/opus/volltexte/2005/39},\n  timestamp    = {Thu, 10 Jun 2021 13:02:05 +0200},\n  biburl       = {https://dblp.org/rec/conf/dagstuhl/Gruninger05.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 Architectures for Semantic Integration.\n \n \n \n \n\n\n \n Uschold, M.; and Grüninger, M.\n\n\n \n\n\n\n In Kalfoglou, Y.; Schorlemmer, W. M.; Sheth, A. P.; Staab, S.; and Uschold, M., editor(s), Semantic Interoperability and Integration, volume 04391, of Dagstuhl Seminar Proceedings, 2005. IBFI, Schloss Dagstuhl, Germany\n \n\n\n\n
\n\n\n\n \n \n $\"Architectures$ 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

@inproceedings{DBLP:conf/dagstuhl/UscholdG05,\n  author       = {Michael Uschold and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Yannis Kalfoglou and\n                  W. Marco Schorlemmer and\n                  Amit P. Sheth and\n                  Steffen Staab and\n                  Michael Uschold},\n  title        = {Architectures for Semantic Integration},\n  booktitle    = {Semantic Interoperability and Integration},\n  series       = {Dagstuhl Seminar Proceedings},\n  volume       = {04391},\n  publisher    = {IBFI, Schloss Dagstuhl, Germany},\n  year         = {2005},\n  url          = {http://drops.dagstuhl.de/opus/volltexte/2005/51},\n  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/dagstuhl/UscholdG05.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 2004\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Ontologies and Semantics for Seamless Connectivity.\n \n \n \n \n\n\n \n Uschold, M.; and Grüninger, M.\n\n\n \n\n\n\n SIGMOD Rec., 33(4): 58–64. 2004.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/sigmod/UscholdG04,\n  author       = {Michael Uschold and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Ontologies and Semantics for Seamless Connectivity},\n  journal      = {{SIGMOD} Rec.},\n  volume       = {33},\n  number       = {4},\n  pages        = {58--64},\n  year         = {2004},\n  url          = {https://doi.org/10.1145/1041410.1041420},\n  doi          = {10.1145/1041410.1041420},\n  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/sigmod/UscholdG04.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 Ontology of the Process Specification Language.\n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Staab, S.; and Studer, R., editor(s), Handbook on Ontologies, of International Handbooks on Information Systems, pages 575–592. Springer, 2004.\n \n\n\n\n
\n\n\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

@incollection{DBLP:books/sp/staabS2004/Gruninger04,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Steffen Staab and\n                  Rudi Studer},\n  title        = {Ontology of the Process Specification Language},\n  booktitle    = {Handbook on Ontologies},\n  series       = {International Handbooks on Information Systems},\n  pages        = {575--592},\n  publisher    = {Springer},\n  year         = {2004},\n  timestamp    = {Tue, 30 Mar 2004 08:01:55 +0200},\n  biburl       = {https://dblp.org/rec/books/sp/staabS2004/Gruninger04.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 2003\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n The Process Specification Language (PSL) Theory and Applications.\n \n \n \n \n\n\n \n Grüninger, M.; and Menzel, C.\n\n\n \n\n\n\n AI Mag., 24(3): 63–74. 2003.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/aim/GruningerM03,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Christopher Menzel},\n  title        = {The Process Specification Language {(PSL)} Theory and Applications},\n  journal      = {{AI} Mag.},\n  volume       = {24},\n  number       = {3},\n  pages        = {63--74},\n  year         = {2003},\n  url          = {https://doi.org/10.1609/aimag.v24i3.1719},\n  doi          = {10.1609/AIMAG.V24I3.1719},\n  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/aim/GruningerM03.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 Applications of PSL to Semantic Web Services.\n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Cruz, I. F.; Kashyap, V.; Decker, S.; and Eckstein, R., editor(s), Proceedings of SWDB'03, The first International Workshop on Semantic Web and Databases, Co-located with VLDB 2003, Humboldt-Universität, Berlin, Germany, September 7-8, 2003, pages 217–230, 2003. \n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/semweb/Gruninger03,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Isabel F. Cruz and\n                  Vipul Kashyap and\n                  Stefan Decker and\n                  Rainer Eckstein},\n  title        = {Applications of {PSL} to Semantic Web Services},\n  booktitle    = {Proceedings of SWDB'03, The first International Workshop on Semantic\n                  Web and Databases, Co-located with {VLDB} 2003, Humboldt-Universit{\\"{a}}t,\n                  Berlin, Germany, September 7-8, 2003},\n  pages        = {217--230},\n  year         = {2003},\n  timestamp    = {Wed, 17 Sep 2003 16:12:04 +0200},\n  biburl       = {https://dblp.org/rec/conf/semweb/Gruninger03.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 2002\n \n \n (5)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Ontology Applications and Design - Introduction.\n \n \n \n \n\n\n \n Grüninger, M.; and Lee, J.\n\n\n \n\n\n\n Commun. ACM, 45(2): 39–41. 2002.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/cacm/GruningerL02,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Jintae Lee},\n  title        = {Ontology Applications and Design - Introduction},\n  journal      = {Commun. {ACM}},\n  volume       = {45},\n  number       = {2},\n  pages        = {39--41},\n  year         = {2002},\n  url          = {https://doi.org/10.1145/503124.503146},\n  doi          = {10.1145/503124.503146},\n  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/cacm/GruningerL02.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 Semantic resolution for e-commerce.\n \n \n \n \n\n\n \n Peng, Y.; Zou, Y.; Luan, X.; Ivezic, N.; Grüninger, M.; and Jones, A. T.\n\n\n \n\n\n\n In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pages 1037–1038, 2002. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Semantic$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/atal/PengZLIRJ02,\n  author       = {Yun Peng and\n                  Youyong Zou and\n                  Xiaocheng Luan and\n                  Nenad Ivezic and\n                  Michael Gr{\\"{u}}ninger and\n                  Albert T. Jones},\n  title        = {Semantic resolution for e-commerce},\n  booktitle    = {The First International Joint Conference on Autonomous Agents {\\&}\n                  Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,\n                  Proceedings},\n  pages        = {1037--1038},\n  publisher    = {{ACM}},\n  year         = {2002},\n  url          = {https://doi.org/10.1145/545056.545065},\n  doi          = {10.1145/545056.545065},\n  timestamp    = {Wed, 18 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/atal/PengZLIRJ02.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 Towards a Formal Representation of Driving Behaviors.\n \n \n \n \n\n\n \n Schlenoff, C.; and Grüninger, M.\n\n\n \n\n\n\n In Hinchey, M. G.; Rash, J. L.; Truszkowski, W.; Rouff, C. A.; and Gordon-Spears, D. F., editor(s), Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, volume 2699, of Lecture Notes in Computer Science, pages 290–291, 2002. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/faabs/SchlenoffG02,\n  author       = {Craig Schlenoff and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Michael G. Hinchey and\n                  James L. Rash and\n                  Walt Truszkowski and\n                  Christopher A. Rouff and\n                  Diana F. Gordon{-}Spears},\n  title        = {Towards a Formal Representation of Driving Behaviors},\n  booktitle    = {Formal Approaches to Agent-Based Systems, Second International Workshop,\n                  {FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {2699},\n  pages        = {290--291},\n  publisher    = {Springer},\n  year         = {2002},\n  url          = {https://doi.org/10.1007/978-3-540-45133-4\\_30},\n  doi          = {10.1007/978-3-540-45133-4\\_30},\n  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},\n  biburl       = {https://dblp.org/rec/conf/faabs/SchlenoffG02.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 Ontologies as a New Cost Factor in Enterprise Integration.\n \n \n \n\n\n \n Goranson, H. T.; Chu, B.; Grüninger, M.; Ivezic, N.; Kulvatunyou, B.; Labrou, Y.; Masuoka, R.; Peng, Y.; Sheth, A. P.; and Shorter, D. N.\n\n\n \n\n\n\n In Kosanke, K.; Jochem, R.; Nell, J. G.; and Bas, Á. O., editor(s), Enterprise Inter- and Intra-Organizational Integration: Building International Consensus, IFIP TC5/WG5.12 International Conference on Enterprise Integration and Modeling Technique (ICEIMT'02), April 24-26, 2002, Valencia, Spain, volume 236, of IFIP Conference Proceedings, pages 253–263, 2002. Kluwer\n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/ifip5-12/GoransonCGIKLMPSS02,\n  author       = {H. Ted Goranson and\n                  Bei{-}tseng Chu and\n                  Michael Gr{\\"{u}}ninger and\n                  Nenad Ivezic and\n                  Boonserm Kulvatunyou and\n                  Yannis Labrou and\n                  Ryusuke Masuoka and\n                  Yun Peng and\n                  Amit P. Sheth and\n                  David N. Shorter},\n  editor       = {Kurt Kosanke and\n                  Roland Jochem and\n                  James G. Nell and\n                  {\\'{A}}ngel Ortiz Bas},\n  title        = {Ontologies as a New Cost Factor in Enterprise Integration},\n  booktitle    = {Enterprise Inter- and Intra-Organizational Integration: Building International\n                  Consensus, {IFIP} {TC5/WG5.12} International Conference on Enterprise\n                  Integration and Modeling Technique (ICEIMT'02), April 24-26, 2002,\n                  Valencia, Spain},\n  series       = {{IFIP} Conference Proceedings},\n  volume       = {236},\n  pages        = {253--263},\n  publisher    = {Kluwer},\n  year         = {2002},\n  timestamp    = {Wed, 18 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/ifip5-12/GoransonCGIKLMPSS02.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 Semantic Resolution for E-commerce.\n \n \n \n \n\n\n \n Peng, Y.; Zou, Y.; Luan, X.; Ivezic, N.; Grüninger, M.; and Jones, A. T.\n\n\n \n\n\n\n In Truszkowski, W.; Rouff, C. A.; and Hinchey, M. G., editor(s), Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers, volume 2564, of Lecture Notes in Computer Science, pages 355–366, 2002. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Semantic$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/wrac/PengZLIGJ02,\n  author       = {Yun Peng and\n                  Youyong Zou and\n                  Xiaocheng Luan and\n                  Nenad Ivezic and\n                  Michael Gr{\\"{u}}ninger and\n                  Albert T. Jones},\n  editor       = {Walt Truszkowski and\n                  Christopher A. Rouff and\n                  Michael G. Hinchey},\n  title        = {Semantic Resolution for E-commerce},\n  booktitle    = {Innovative Concepts for Agent-Based Systems, First International Workshop\n                  on Radical Agent Concepts, {WRAC} 2002, McLean, VA, USA, January 16-18,\n                  2002, Revised Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {2564},\n  pages        = {355--366},\n  publisher    = {Springer},\n  year         = {2002},\n  url          = {https://doi.org/10.1007/978-3-540-45173-0\\_27},\n  doi          = {10.1007/978-3-540-45173-0\\_27},\n  timestamp    = {Wed, 18 Dec 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/wrac/PengZLIGJ02.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 2001\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Toward Self-Integrating Software Applications for Supply Chain Management.\n \n \n \n \n\n\n \n Jones, A. T.; Ivezic, N.; and Grüninger, M.\n\n\n \n\n\n\n Inf. Syst. Frontiers, 3(4): 403–412. 2001.\n \n\n\n\n
\n\n\n\n \n \n $\"Toward$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/isf/JonesIG01,\n  author       = {Albert T. Jones and\n                  Nenad Ivezic and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Toward Self-Integrating Software Applications for Supply Chain Management},\n  journal      = {Inf. Syst. Frontiers},\n  volume       = {3},\n  number       = {4},\n  pages        = {403--412},\n  year         = {2001},\n  url          = {https://doi.org/10.1023/A:1012864503148},\n  doi          = {10.1023/A:1012864503148},\n  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/isf/JonesIG01.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 Ontologies for Integrating Engineering Applications.\n \n \n \n \n\n\n \n Ciocoiu, M.; Nau, D. S.; and Grüninger, M.\n\n\n \n\n\n\n J. Comput. Inf. Sci. Eng., 1(1): 12–22. 2001.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/jcise/CiocoiuNG01,\n  author       = {Mihai Ciocoiu and\n                  Dana S. Nau and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Ontologies for Integrating Engineering Applications},\n  journal      = {J. Comput. Inf. Sci. Eng.},\n  volume       = {1},\n  number       = {1},\n  pages        = {12--22},\n  year         = {2001},\n  url          = {https://doi.org/10.1115/1.1344878},\n  doi          = {10.1115/1.1344878},\n  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jcise/CiocoiuNG01.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 A formal foundation for process modeling.\n \n \n \n \n\n\n \n Menzel, C.; and Grüninger, M.\n\n\n \n\n\n\n In 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings, pages 256–269, 2001. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/fois/MenzelG01,\n  author       = {Christopher Menzel and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {A formal foundation for process modeling},\n  booktitle    = {2nd International Conference on Formal Ontology in Information Systems,\n                  {FOIS} 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings},\n  pages        = {256--269},\n  publisher    = {{ACM}},\n  year         = {2001},\n  url          = {https://doi.org/10.1145/505168.505193},\n  doi          = {10.1145/505168.505193},\n  timestamp    = {Thu, 08 Aug 2019 17:24:02 +0200},\n  biburl       = {https://dblp.org/rec/conf/fois/MenzelG01.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 Proceedings of the IJCAI-01 Workshop on Ontologies and Information Sharing Seattle, USA, August 4-5, 2001.\n \n \n \n \n\n\n \n Gómez-Pérez, A.; Gruninger, M.; Stuckenschmidt, H.; and Uschold, M.,\n editors.\n \n\n\n \n\n\n\n Volume 47, of CEUR Workshop Proceedings.CEUR-WS.org. 2001.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:conf/ijcai/2001ois,\n  editor       = {Asunci{\\'{o}}n G{\\'{o}}mez{-}P{\\'{e}}rez and\n                  Michael Gruninger and\n                  Heiner Stuckenschmidt and\n                  Michael Uschold},\n  title        = {Proceedings of the {IJCAI-01} Workshop on Ontologies and Information\n                  Sharing Seattle, USA, August 4-5, 2001},\n  series       = {{CEUR} Workshop Proceedings},\n  volume       = {47},\n  publisher    = {CEUR-WS.org},\n  year         = {2001},\n  url          = {https://ceur-ws.org/Vol-47},\n  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/ijcai/2001ois.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 2000\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Logical foundations of shape-based object recognition.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n Ph.D. Thesis, University of Toronto, Canada, 2000.\n \n\n\n\n
\n\n\n\n \n \n $\"Logical$ 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

@phdthesis{DBLP:phd/ca/Gruninger00,\n  author       = {Michael Gr{\\"{u}}ninger},\n  title        = {Logical foundations of shape-based object recognition},\n  school       = {University of Toronto, Canada},\n  year         = {2000},\n  url          = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\\_INST/14bjeso/alma991106410227406196},\n  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/phd/ca/Gruninger00.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 Ontologies to Support Process Integration in Enterprise Engineering.\n \n \n \n \n\n\n \n Grüninger, M.; Atefi, K.; and Fox, M. S.\n\n\n \n\n\n\n Comput. Math. Organ. Theory, 6(4): 381–394. 2000.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/cmot/GruningerAF00,\n  author       = {Michael Gr{\\"{u}}ninger and\n                  Katy Atefi and\n                  Mark S. Fox},\n  title        = {Ontologies to Support Process Integration in Enterprise Engineering},\n  journal      = {Comput. Math. Organ. Theory},\n  volume       = {6},\n  number       = {4},\n  pages        = {381--394},\n  year         = {2000},\n  url          = {https://doi.org/10.1023/A:1009610430261},\n  doi          = {10.1023/A:1009610430261},\n  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/cmot/GruningerAF00.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 1998\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Enterprise Modeling.\n \n \n \n \n\n\n \n Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n AI Mag., 19(3): 109–121. 1998.\n \n\n\n\n
\n\n\n\n \n \n $\"Enterprise$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/aim/FoxG98,\n  author       = {Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {Enterprise Modeling},\n  journal      = {{AI} Mag.},\n  volume       = {19},\n  number       = {3},\n  pages        = {109--121},\n  year         = {1998},\n  url          = {https://doi.org/10.1609/aimag.v19i3.1399},\n  doi          = {10.1609/AIMAG.V19I3.1399},\n  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/aim/FoxG98.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 The Process Interchange Format and Framework.\n \n \n \n \n\n\n \n Lee, J.; Gruninger, M.; Jin, Y.; Malone, T. W.; Tate, A.; and Yost, G.\n\n\n \n\n\n\n Knowl. Eng. Rev., 13(1): 91–120. 1998.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ker/LeeGJMTY98,\n  author       = {Jintae Lee and\n                  Michael Gruninger and\n                  Yan Jin and\n                  Thomas W. Malone and\n                  Austin Tate and\n                  Gregg Yost},\n  title        = {The Process Interchange Format and Framework},\n  journal      = {Knowl. Eng. Rev.},\n  volume       = {13},\n  number       = {1},\n  pages        = {91--120},\n  year         = {1998},\n  url          = {https://doi.org/10.1017/S0269888998001015},\n  doi          = {10.1017/S0269888998001015},\n  timestamp    = {Mon, 20 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ker/LeeGJMTY98.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 1997\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Formal Semantics of Enterprise Models.\n \n \n \n \n\n\n \n Petit, M.; Goossenaerts, J.; Grüninger, M.; Nell, J. G.; and Vernadat, F. B.\n\n\n \n\n\n\n In Kosanke, K.; and Nell, J. G., editor(s), Enterprise Engineering and Integration: Building International Consensus, Proceedings of the International Conference on Enterprise Integration and Modeling Technology, ICEIMT 1997, Torino, Italy, October 28-30, 1997, volume 1, of Research Reports Esprit, pages 135–139, 1997. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Formal$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ifip5-12/0001GGNV97,\n  author       = {Michael Petit and\n                  Jan Goossenaerts and\n                  Michael Gr{\\"{u}}ninger and\n                  James G. Nell and\n                  Fran{\\c{c}}ois B. Vernadat},\n  editor       = {Kurt Kosanke and\n                  James G. Nell},\n  title        = {Formal Semantics of Enterprise Models},\n  booktitle    = {Enterprise Engineering and Integration: Building International Consensus,\n                  Proceedings of the International Conference on Enterprise Integration\n                  and Modeling Technology, {ICEIMT} 1997, Torino, Italy, October 28-30,\n                  1997},\n  series       = {Research Reports Esprit},\n  volume       = {1},\n  pages        = {135--139},\n  publisher    = {Springer},\n  year         = {1997},\n  url          = {https://doi.org/10.1007/978-3-642-60889-6\\_16},\n  doi          = {10.1007/978-3-642-60889-6\\_16},\n  timestamp    = {Fri, 15 May 2020 12:53:05 +0200},\n  biburl       = {https://dblp.org/rec/conf/ifip5-12/0001GGNV97.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 Ontologies for Enterprise Modelling.\n \n \n \n \n\n\n \n Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In Kosanke, K.; and Nell, J. G., editor(s), Enterprise Engineering and Integration: Building International Consensus, Proceedings of the International Conference on Enterprise Integration and Modeling Technology, ICEIMT 1997, Torino, Italy, October 28-30, 1997, volume 1, of Research Reports Esprit, pages 190–200, 1997. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ifip5-12/FoxG97,\n  author       = {Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Kurt Kosanke and\n                  James G. Nell},\n  title        = {Ontologies for Enterprise Modelling},\n  booktitle    = {Enterprise Engineering and Integration: Building International Consensus,\n                  Proceedings of the International Conference on Enterprise Integration\n                  and Modeling Technology, {ICEIMT} 1997, Torino, Italy, October 28-30,\n                  1997},\n  series       = {Research Reports Esprit},\n  volume       = {1},\n  pages        = {190--200},\n  publisher    = {Springer},\n  year         = {1997},\n  url          = {https://doi.org/10.1007/978-3-642-60889-6\\_22},\n  doi          = {10.1007/978-3-642-60889-6\\_22},\n  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ifip5-12/FoxG97.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 Integrated Ontologies for Enterprise Modelling.\n \n \n \n \n\n\n \n Grüninger, M.\n\n\n \n\n\n\n In Kosanke, K.; and Nell, J. G., editor(s), Enterprise Engineering and Integration: Building International Consensus, Proceedings of the International Conference on Enterprise Integration and Modeling Technology, ICEIMT 1997, Torino, Italy, October 28-30, 1997, volume 1, of Research Reports Esprit, pages 368–377, 1997. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Integrated$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/ifip5-12/Gruninger97,\n  author       = {Michael Gr{\\"{u}}ninger},\n  editor       = {Kurt Kosanke and\n                  James G. Nell},\n  title        = {Integrated Ontologies for Enterprise Modelling},\n  booktitle    = {Enterprise Engineering and Integration: Building International Consensus,\n                  Proceedings of the International Conference on Enterprise Integration\n                  and Modeling Technology, {ICEIMT} 1997, Torino, Italy, October 28-30,\n                  1997},\n  series       = {Research Reports Esprit},\n  volume       = {1},\n  pages        = {368--377},\n  publisher    = {Springer},\n  year         = {1997},\n  url          = {https://doi.org/10.1007/978-3-642-60889-6\\_40},\n  doi          = {10.1007/978-3-642-60889-6\\_40},\n  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/ifip5-12/Gruninger97.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 1996\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Ontologies: principles, methods and applications.\n \n \n \n \n\n\n \n Uschold, M.; and Gruninger, M.\n\n\n \n\n\n\n Knowl. Eng. Rev., 11(2): 93–136. 1996.\n \n\n\n\n
\n\n\n\n \n \n $\"Ontologies:$ Paper\n \n \n\n \n \n doi\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

@article{DBLP:journals/ker/UscholdG96,\n  author       = {Mike Uschold and\n                  Michael Gruninger},\n  title        = {Ontologies: principles, methods and applications},\n  journal      = {Knowl. Eng. Rev.},\n  volume       = {11},\n  number       = {2},\n  pages        = {93--136},\n  year         = {1996},\n  url          = {https://doi.org/10.1017/S0269888900007797},\n  doi          = {10.1017/S0269888900007797},\n  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ker/UscholdG96.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 1995\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour.\n \n \n \n \n\n\n \n Fox, M. S.; Barbuceanu, M.; and Grüninger, M.\n\n\n \n\n\n\n In 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pages 71–81, 1995. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/wetice/FoxBG95,\n  author       = {Mark S. Fox and\n                  Mihai Barbuceanu and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {An organisation ontology for enterprise modelling: preliminary concepts\n                  for linking structure and behaviour},\n  booktitle    = {4th Workshop on Enabling Technologies, Infrastructure for Collaborative\n                  Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West\n                  Virginia, USA, Proceedings},\n  pages        = {71--81},\n  publisher    = {{IEEE} Computer Society},\n  year         = {1995},\n  url          = {https://doi.org/10.1109/ENABL.1995.484550},\n  doi          = {10.1109/ENABL.1995.484550},\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/wetice/FoxBG95.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 An Ontology of Quality for Enterprise Modelling.\n \n \n \n \n\n\n \n Kim, H. M.; Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pages 105–116, 1995. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/wetice/KimFG95,\n  author       = {Henry M. Kim and\n                  Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {An Ontology of Quality for Enterprise Modelling},\n  booktitle    = {4th Workshop on Enabling Technologies, Infrastructure for Collaborative\n                  Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West\n                  Virginia, USA, Proceedings},\n  pages        = {105--116},\n  publisher    = {{IEEE} Computer Society},\n  year         = {1995},\n  url          = {https://doi.org/10.1109/ENABL.1995.484554},\n  doi          = {10.1109/ENABL.1995.484554},\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/wetice/KimFG95.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 1994\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n Ontologies for Enterprise Integration.\n \n \n \n\n\n \n Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In Brodie, M. L.; Jarke, M.; and Papazoglou, M. P., editor(s), Proceedings of the Second International Conference on Cooperative Information Systems, May 17-20, 1994, Toronto, Canada, pages 82–89, 1994. World Scientific\n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/coopis/FoxG94,\n  author       = {Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  editor       = {Michael L. Brodie and\n                  Matthias Jarke and\n                  Mike P. Papazoglou},\n  title        = {Ontologies for Enterprise Integration},\n  booktitle    = {Proceedings of the Second International Conference on Cooperative\n                  Information Systems, May 17-20, 1994, Toronto, Canada},\n  pages        = {82--89},\n  publisher    = {World Scientific},\n  year         = {1994},\n  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},\n  biburl       = {https://dblp.org/rec/conf/coopis/FoxG94.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 A generic enterprise resource ontology.\n \n \n \n \n\n\n \n Fadel, F. G.; Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET-ICE 1994, Proceedings, Morgantown, WV, USA, 17-19 April, 1994, pages 117–128, 1994. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/wetice/FadelFG94,\n  author       = {Fadi George Fadel and\n                  Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {A generic enterprise resource ontology},\n  booktitle    = {Third Workshop on Enabling Technologies: Infrastructure for Collaborative\n                  Enterprises, {WET-ICE} 1994, Proceedings, Morgantown, WV, USA, 17-19\n                  April, 1994},\n  pages        = {117--128},\n  publisher    = {{IEEE}},\n  year         = {1994},\n  url          = {https://doi.org/10.1109/ENABL.1994.330496},\n  doi          = {10.1109/ENABL.1994.330496},\n  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},\n  biburl       = {https://dblp.org/rec/conf/wetice/FadelFG94.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 A cost ontology for enterprise modelling.\n \n \n \n \n\n\n \n Tham, K. D.; Fox, M. S.; and Grüninger, M.\n\n\n \n\n\n\n In Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET-ICE 1994, Proceedings, Morgantown, WV, USA, 17-19 April, 1994, pages 197–210, 1994. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\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

@inproceedings{DBLP:conf/wetice/ThamFG94,\n  author       = {K. Donald Tham and\n                  Mark S. Fox and\n                  Michael Gr{\\"{u}}ninger},\n  title        = {A cost ontology for enterprise modelling},\n  booktitle    = {Third Workshop on Enabling Technologies: Infrastructure for Collaborative\n                  Enterprises, {WET-ICE} 1994, Proceedings, Morgantown, WV, USA, 17-19\n                  April, 1994},\n  pages        = {197--210},\n  publisher    = {{IEEE}},\n  year         = {1994},\n  url          = {https://doi.org/10.1109/ENABL.1994.330502},\n  doi          = {10.1109/ENABL.1994.330502},\n  timestamp    = {Thu, 16 Nov 2017 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/wetice/ThamFG94.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\n \n\n \n \n \n \n\n