FaCT++ Description Logic Reasoner: System Description (original) (raw)

Abstract

This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known \(\mathcal{SHOIQ}\) description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly developed ones (such as ordering heuristics and taxonomic classification). FaCT++ can, via the standard DIG interface, be used to provide reasoning services for ontology engineering tools supporting the OWL DL ontology language.

Preview

Unable to display preview. Download preview PDF.

Similar content being viewed by others

NoHR: An Overview

Article 04 March 2020

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
    MATH Google Scholar
  2. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Proc. of IJCAI 2001, pp. 161–168 (2001)
    Google Scholar
  3. Horrocks, I.: Using an expressive description logic: FaCT or fiction. Proc. of KR 1998, 636–647 (1998)
    Google Scholar
  4. Horrocks, I.: Implementation and optimisation techniques. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 306–346. Cambridge University Press, Cambridge (2003)
    Google Scholar
  5. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)
    Google Scholar
  6. Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\mathcal{SHOIQ}\). In: Proc. of IJCAI 2005 (2005)
    Google Scholar
  7. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
    Chapter Google Scholar
  8. Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The protégé OWL plugin: An open development environment for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)
    Chapter Google Scholar
  9. Rector, A.: Medical informatics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 415–435. Cambridge University Press, Cambridge (2003)
    Google Scholar
  10. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1–26 (1991)
    Article MATH MathSciNet Google Scholar
  11. Sirin, E., Grau, B.C., Parsia, B.: From wine to water: Optimizing description logic reasoning for nominals. In: Proc. of KR 2006 (to appear,2006)
    Google Scholar
  12. Tsarkov, D., Horrocks, I.: Optimised classification for taxonomic knowledge bases. In: Proc. of the 2005 Description Logic Workshop (DL 2005) (2005)
    Google Scholar
  13. Tsarkov, D., Horrocks, I.: Ordering heuristics for description logic reasoning. In: Proc. of IJCAI 2005 (2005)
    Google Scholar

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Manchester, Manchester, UK
    Dmitry Tsarkov & Ian Horrocks

Authors

  1. Dmitry Tsarkov
    You can also search for this author inPubMed Google Scholar
  2. Ian Horrocks
    You can also search for this author inPubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Universitätsstr. 1, 56070, Koblenz
    Ulrich Furbach
  2. SRI International, MS EL256,, 333 Ravenswood Avenue, 94025-3493, Menlo Park, CA, USA
    Natarajan Shankar

Rights and permissions

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tsarkov, D., Horrocks, I. (2006). FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds) Automated Reasoning. IJCAR 2006. Lecture Notes in Computer Science(), vol 4130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11814771\_26

Download citation

Publish with us