https://ontologforum.com/index.php?action=history&feed=atom&title=FaCT 2026-04-20T15:31:46Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=FaCT&diff=1461&oldid=prev 2015-12-14T04:07:13Z

<p>initialized Last updated at: 2010-07-13 10:31:17 By user: PeterYim</p> <p><b>New page</b></p><div>= The &lt;nowiki&gt;[[FaCT]]&lt;/nowiki&gt; System =<br /> <br /> A result of IanHorrocks' research into optimising tableaux subsumption algorithms has been the development of the &lt;nowiki&gt;[[FaCT]]&lt;/nowiki&gt; system. '''&lt;nowiki&gt;[[FaCT]]&lt;/nowiki&gt;''' ('''Fa'''st '''C'''lassification of '''T'''erminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The [[FaCT]] system includes two reasoners, one for the logic [http://www.cs.man.ac.uk/%7Ehorrocks/Publications/download/1998/kr98.ps.gz SHF] (ALC augmented with transitive roles, functional roles and a role hierarchy) and the other for the logic [http://www.cs.man.ac.uk/%7Ehorrocks/Publications/download/1999/lpar99.ps.gz SHIQ] (SHF augmented with inverse roles and qualified number restrictions), both of which use sound and complete tableaux algorithms. <br /> <br /> see: http://www.cs.man.ac.uk/~horrocks/FaCT/ <br /> <br /> [[Category:Tool_System]]<br /> <br /> <br /> <br /> </div>

imported>PeterYim