@InProceedings{hahmann08mereotopology,
  Title                    = {A model-theoretic characterization of {Asher and Vieu's} ontology of mereotopology},
  Author                   = {Hahmann, Torsten and Gruninger, Michael},
  Booktitle                = {Proceedings of {KR}'08: Principles of Knowledge Representation and Reasoning},
  Year                     = {2008},

  Address                  = {Sydney, Australia},
  Month                    = {September 16--19},

  Opturl                   = {hahmann08mereotopology.pdf},
  Timestamp                = {2018.09.23},
  Url                      = {1225747764_hahmann08mereotopology.pdf}
}

{"_id":{"_str":"5342b4520e946d920a0032d5"},"__v":18,"authorIDs":["5457898f2abc8e9f370004d6"],"author_short":["Hahmann, T.","Gruninger, M."],"bibbaseid":"hahmann-gruninger-amodeltheoreticcharacterizationofasherandvieusontologyofmereotopology-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A model-theoretic characterization of Asher and Vieu's ontology of mereotopology","author":[{"propositions":[],"lastnames":["Hahmann"],"firstnames":["Torsten"],"suffixes":[]},{"propositions":[],"lastnames":["Gruninger"],"firstnames":["Michael"],"suffixes":[]}],"booktitle":"Proceedings of KR'08: Principles of Knowledge Representation and Reasoning","year":"2008","address":"Sydney, Australia","month":"September 16–19","opturl":"hahmann08mereotopology.pdf","timestamp":"2018.09.23","url":"1225747764_hahmann08mereotopology.pdf","bibtex":"@InProceedings{hahmann08mereotopology,\n Title = {A model-theoretic characterization of {Asher and Vieu's} ontology of mereotopology},\n Author = {Hahmann, Torsten and Gruninger, Michael},\n Booktitle = {Proceedings of {KR}'08: Principles of Knowledge Representation and Reasoning},\n Year = {2008},\n\n Address = {Sydney, Australia},\n Month = {September 16--19},\n\n Opturl = {hahmann08mereotopology.pdf},\n Timestamp = {2018.09.23},\n Url = {1225747764_hahmann08mereotopology.pdf}\n}\n\n","author_short":["Hahmann, T.","Gruninger, M."],"key":"hahmann08mereotopology","id":"hahmann08mereotopology","bibbaseid":"hahmann-gruninger-amodeltheoreticcharacterizationofasherandvieusontologyofmereotopology-2008","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/1225747764_hahmann08mereotopology.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["model","theoretic","characterization","asher","vieu","ontology","mereotopology","hahmann","gruninger"],"title":"A model-theoretic characterization of Asher and Vieu's ontology of mereotopology","year":2008,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}