https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=Pr4_UG_rp_Reas_FaCT%2B%2BPr4 UG rp Reas FaCT++ - Revision history2026-05-11T18:11:04ZRevision history for this page on the wikiMediaWiki 1.27.7https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rp_Reas_FaCT%2B%2B&diff=8200&oldid=prevRichMorin: Automated import of articles2010-07-27T21:02:41Z<p>Automated import of articles</p>
<p><b>New page</b></p><div>__NOTOC__<br />
<!-- Pr4_UG_rp_Reas_FaCT++ --><br />
== Reasoner - FaCT++ ==<br />
<br />
<noinclude>{{Pr4_UG_rp_TOC}}<div id='pr4_ug'></noinclude><br />
<br />
This [[{{#var:G}}Plugin|plugin]] provides access to the<br />
[[{{#var:G}}FaCT++|FaCT++]]<br />
[[{{#var:G}}Reasoner|reasoner]].<br />
<br />
<ul><br />
FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner.<br />
FaCT++ uses the established FaCT algorithms,<br />
but with a different internal architecture.<br />
Additionally, FaCT++ is implemented using C++<br />
in order to create a more efficient software tool,<br />
and to maximise portability.<br />
New optimisations have also been introduced<br />
and some new features added.<br />
<p><br />
-- http://owl.man.ac.uk/factplusplus<br />
</p><br />
</ul><br />
<br />
For more information, see:<br />
<br />
* http://owl.man.ac.uk/factplusplus<br />
* http://code.google.com/p/factplusplus/<br />
* http://semanticweb.org/wiki/FaCT++<br />
<br />
</div></div>RichMorin