Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://link.springer.com/doi/10.1007/11814771_26 below:

FaCT++ Description Logic Reasoner: System Description

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.

This is a preview of subscription content, log in via an institution to check access.

Unable to display preview. Download preview PDF.

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

1. School of Computer Science, The University of Manchester, Manchester, UK

   Dmitry Tsarkov & Ian Horrocks

1. Dmitry Tsarkov
2. Ian Horrocks

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

© 2006 Springer-Verlag Berlin Heidelberg

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

• .RIS
• .ENW
• .BIB

• DOI: https://doi.org/10.1007/11814771_26

• Publisher Name: Springer, Berlin, Heidelberg

• Print ISBN: 978-3-540-37187-8

• Online ISBN: 978-3-540-37188-5

• eBook Packages: Computer ScienceComputer Science (R0)

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4