FaCT++ Description Logic Reasoner: System Description

  • Dmitry Tsarkov
  • Ian Horrocks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4130)

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.

Unable to display preview. Download preview PDF.

References

  1. 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)MATHGoogle Scholar
  2. 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. 3.
    Horrocks, I.: Using an expressive description logic: FaCT or fiction. Proc. of KR 1998, 636–647 (1998)Google Scholar
  4. 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. 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. 6.
    Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\mathcal{SHOIQ}\). In: Proc. of IJCAI 2005 (2005)Google Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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. 10.
    Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1–26 (1991)MATHCrossRefMathSciNetGoogle Scholar
  11. 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. 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. 13.
    Tsarkov, D., Horrocks, I.: Ordering heuristics for description logic reasoning. In: Proc. of IJCAI 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dmitry Tsarkov
    • 1
  • Ian Horrocks
    • 1
  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK

Personalised recommendations