Benchmark Analysis with FaCT

@inproceedings{Horrocks2000BenchmarkAW,
  title={Benchmark Analysis with FaCT},
  author={Ian Horrocks},
  booktitle={TABLEAUX},
  year={2000}
}
FaCT (Fast Classification of Terminologies) 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 SHF and the other for the logic SHIQ, both of which use optimised implementations of sound and complete tableaux algorithms. FaCT’s most interesting features are its expressive logic (in particular the SHIQ reasoner), its optimised tableaux implementation (which has now become the standard for… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Use of the data reconciliation tool at telecom italia. DWQ deliverable D.4.3

D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati
Foundations of Data Warehouse Quality (DWQ), • 1999
View 1 Excerpt

DLP System Description.

Description Logics • 1998
View 1 Excerpt

Similar Papers

Loading similar papers…