Paper  doi  bibtex   

@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}
}