@inproceedings{DBLP:conf/fois/GruningerHHO10,
  author       = {Michael Gr{\"{u}}ninger and
                  Torsten Hahmann and
                  Ali Hashemi and
                  Darren Ong},
  editor       = {Antony Galton and
                  Riichiro Mizoguchi},
  title        = {Ontology Verification with Repositories},
  booktitle    = {Formal Ontology in Information Systems, Proceedings of the Sixth International
                  Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  pages        = {317--330},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-535-8-317},
  doi          = {10.3233/978-1-60750-535-8-317},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fois/GruningerHHO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"W5DxcLyKQbPKaQmwg","bibbaseid":"grninger-hahmann-hashemi-ong-ontologyverificationwithrepositories-2010","author_short":["Grüninger, M.","Hahmann, T.","Hashemi, A.","Ong, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Grüninger"],"suffixes":[]},{"firstnames":["Torsten"],"propositions":[],"lastnames":["Hahmann"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Hashemi"],"suffixes":[]},{"firstnames":["Darren"],"propositions":[],"lastnames":["Ong"],"suffixes":[]}],"editor":[{"firstnames":["Antony"],"propositions":[],"lastnames":["Galton"],"suffixes":[]},{"firstnames":["Riichiro"],"propositions":[],"lastnames":["Mizoguchi"],"suffixes":[]}],"title":"Ontology Verification with Repositories","booktitle":"Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010","series":"Frontiers in Artificial Intelligence and Applications","pages":"317–330","publisher":"IOS Press","year":"2010","url":"https://doi.org/10.3233/978-1-60750-535-8-317","doi":"10.3233/978-1-60750-535-8-317","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/fois/GruningerHHO10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@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 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","author_short":["Grüninger, M.","Hahmann, T.","Hashemi, A.","Ong, D."],"editor_short":["Galton, A.","Mizoguchi, R."],"key":"DBLP:conf/fois/GruningerHHO10","id":"DBLP:conf/fois/GruningerHHO10","bibbaseid":"grninger-hahmann-hashemi-ong-ontologyverificationwithrepositories-2010","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-60750-535-8-317"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/29/4227.bib","dataSources":["qBPx969Q7fKqBkP4s"],"keywords":[],"search_terms":["ontology","verification","repositories","grüninger","hahmann","hashemi","ong"],"title":"Ontology Verification with Repositories","year":2010,"downloads":1}