https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=Pr4_UG_mi_Glossary 2026-04-17T10:41:08Z Revision history for this page on the wiki MediaWiki 1.27.7 https://protegewiki.stanford.edu/index.php?title=Pr4_UG_mi_Glossary&diff=9478&oldid=prev 2011-02-25T20:04:36Z

<p>‎<span dir="auto"><span class="autocomment">Reasoner: </span> corrected list of reasoners that p4 provides by default</span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:04, February 25, 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1818" >Line 1,818:</td> <td colspan="2" class="diff-lineno">Line 1,818:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{#var:Pr4}} provides access to a variety of semantic reasoners,</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{#var:Pr4}} provides access to a variety of semantic reasoners,</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>including (by default) FaCT++:</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>including (by default) FaCT++ <ins class="diffchange diffchange-inline">and HermiT</ins>:</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&lt;ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&lt;ul&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>A semantic reasoner, reasoning engine, rules engine, or simply a reasoner,</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>A semantic reasoner, reasoning engine, rules engine, or simply a reasoner,</div></td></tr> </table>

JenniferVendetti https://protegewiki.stanford.edu/index.php?title=Pr4_UG_mi_Glossary&diff=8171&oldid=prev 2010-07-27T20:57:21Z

<p>Automated import of articles</p> <a href="https://protegewiki.stanford.edu/index.php?title=Pr4_UG_mi_Glossary&amp;diff=8171">Show changes</a>

RichMorin