@inproceedings{DBLP:conf/fois/MunozG16,
  author       = {Lydia Silva Mu{\~{n}}oz and
                  Michael Gr{\"{u}}ninger},
  editor       = {Roberta Ferrario and
                  Werner Kuhn},
  title        = {Mapping and Verification of the Time Ontology in {SUMO}},
  booktitle    = {Formal Ontology in Information Systems - Proceedings of the 9th International
                  Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {283},
  pages        = {109--122},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-660-6-109},
  doi          = {10.3233/978-1-61499-660-6-109},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fois/MunozG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4YzjDpFxev8u3Yf9d","bibbaseid":"muoz-grninger-mappingandverificationofthetimeontologyinsumo-2016","author_short":["Muñoz, L. S.","Grüninger, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lydia","Silva"],"propositions":[],"lastnames":["Muñoz"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Grüninger"],"suffixes":[]}],"editor":[{"firstnames":["Roberta"],"propositions":[],"lastnames":["Ferrario"],"suffixes":[]},{"firstnames":["Werner"],"propositions":[],"lastnames":["Kuhn"],"suffixes":[]}],"title":"Mapping and Verification of the Time Ontology in SUMO","booktitle":"Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016","series":"Frontiers in Artificial Intelligence and Applications","volume":"283","pages":"109–122","publisher":"IOS Press","year":"2016","url":"https://doi.org/10.3233/978-1-61499-660-6-109","doi":"10.3233/978-1-61499-660-6-109","timestamp":"Tue, 09 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/fois/MunozG16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@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","author_short":["Muñoz, L. S.","Grüninger, M."],"editor_short":["Ferrario, R.","Kuhn, W."],"key":"DBLP:conf/fois/MunozG16","id":"DBLP:conf/fois/MunozG16","bibbaseid":"muoz-grninger-mappingandverificationofthetimeontologyinsumo-2016","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-660-6-109"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/29/4227.bib","dataSources":["kedf4DRdGxSj6HRjQ","qBPx969Q7fKqBkP4s"],"keywords":[],"search_terms":["mapping","verification","time","ontology","sumo","muñoz","grüninger"],"title":"Mapping and Verification of the Time Ontology in SUMO","year":2016}