Higher-order Aspects and Context in SUMO (bibtex)
by Christoph Benzmüller, Adam Pease
Reference:
Higher-order Aspects and Context in SUMO (Christoph Benzmüller, Adam Pease), In Journal of Web Semantics (Special Issue on Reasoning with context in the Semantic Web), volume 12-13, pp. 104-117, 2012.
Bibtex Entry:
@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 =		 {http://christoph-benzmueller.de/papers/J27.pdf},
  Volume =	 {12-13},
  Year =	 2012,
}
Powered by bibtexbrowser