@article{J27,
  Author =	 {Christoph Benzm{\"u}ller and Adam Pease},
  Doi =		 {10.1016/j.websem.2011.11.008},
  Journal =	 {Journal of Web Semantics (Special Issue on Reasoning
                  with context in the Semantic Web)},
  Keywords =	 {own, Ontology Reasoning, Automated Reasoning, Higher
                  Order Logic, Modal Logics},
  Pages =	 {104-117},
  Title =	 {Higher-order Aspects and Context in {SUMO}},
  url_preprint = {https://www.researchgate.net/publication/221677796},
  Volume =	 {12-13},
  Year =	 2012,
}

{"_id":"ABeYSsSfcPJdfjfvr","bibbaseid":"benzmller-pease-higherorderaspectsandcontextinsumo-2012","author_short":["Benzmüller, C.","Pease, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Adam"],"propositions":[],"lastnames":["Pease"],"suffixes":[]}],"doi":"10.1016/j.websem.2011.11.008","journal":"Journal of Web Semantics (Special Issue on Reasoning with context in the Semantic Web)","keywords":"own, Ontology Reasoning, Automated Reasoning, Higher Order Logic, Modal Logics","pages":"104-117","title":"Higher-order Aspects and Context in SUMO","url_preprint":"https://www.researchgate.net/publication/221677796","volume":"12-13","year":"2012","bibtex":"@article{J27,\n Author =\t {Christoph Benzm{\\\"u}ller and Adam Pease},\n Doi =\t\t {10.1016/j.websem.2011.11.008},\n Journal =\t {Journal of Web Semantics (Special Issue on Reasoning\n with context in the Semantic Web)},\n Keywords =\t {own, Ontology Reasoning, Automated Reasoning, Higher\n Order Logic, Modal Logics},\n Pages =\t {104-117},\n Title =\t {Higher-order Aspects and Context in {SUMO}},\n url_preprint = {https://www.researchgate.net/publication/221677796},\n Volume =\t {12-13},\n Year =\t 2012,\n}\n\n","author_short":["Benzmüller, C.","Pease, A."],"key":"J27","id":"J27","bibbaseid":"benzmller-pease-higherorderaspectsandcontextinsumo-2012","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/221677796"},"keyword":["own","Ontology Reasoning","Automated Reasoning","Higher Order Logic","Modal Logics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","ontology reasoning","automated reasoning","higher order logic","modal logics"],"search_terms":["higher","order","aspects","context","sumo","benzmüller","pease"],"title":"Higher-order Aspects and Context in SUMO","year":2012}