Higher-order aspects and context in SUMO

Christoph Benzmüller, Adam Pease
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/etvhqodrjrc3tpf4c7eo6waru4" style="color: black;">Journal of Web Semantics</a> </i> &nbsp;
This article addresses the automation of higher-order aspects in expressive ontologies such as the Suggested Upper Merged Ontology SUMO. Evidence is provided that modern higher-order automated theorem provers like LEO-II can be fruitfully employed for the task. A particular focus is on embedded formulas (formulas as terms), which are used in SUMO, for example, for modeling temporal, epistemic, or doxastic contexts. This modeling is partly in conflict with SUMO's assumption of a bivalent,
more &raquo; ... al semantics and it may hence lead to counterintuitive reasoning results with automated theorem provers in practice. A solution is proposed that maps SUMO to quantified multimodal logic which is in turn modeled as a fragment of classical higher-order logic. This way automated higher-order theorem provers can be safely applied for reasoning about modal contexts in SUMO. Our findings are of wider relevance as they analogously apply to other expressive ontologies and knowledge representation formalisms.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2011.11.008">doi:10.1016/j.websem.2011.11.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vml7qpbtg5fwziok2ehvgw6ynq">fatcat:vml7qpbtg5fwziok2ehvgw6ynq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170428082150/http://www.websemanticsjournal.org:80/index.php/ps/article/viewFile/230/227" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/88/19885470c72f724e56cc3a8ad1cb067948b301fe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.websem.2011.11.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>