FaCT and iFaCT

Abstract

FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier which has been implemented as a test-bed for a sound and complete tableaux satisfiability/subsumption testing algorithm. FaCT’s novelty lies in its relatively expressive logic and its highly optimised implementation of the tableaux algorithm. iFaCT is an extension of FaCT that supports reasoning with inverse roles. The resulting logic is particularly interesting as it no longer has the finite model property.

Extracted Key Phrases

1 Figure or Table

Statistics

01020'00'02'04'06'08'10'12'14'16
Citations per Year

129 Citations

Semantic Scholar estimates that this publication has 129 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Horrocks1999FaCTAI, title={FaCT and iFaCT}, author={Ian Horrocks}, booktitle={Description Logics}, year={1999} }