FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using C++ in order to create a more efficient software tool, and to maximise portability. New optimisations have also been introduced, and some new features added.

References in zbMATH (referenced in 36 articles )

Showing results 1 to 20 of 36.
Sorted by year (citations)

1 2 next

  1. Areces, Carlos; Orbe, Ezequiel: Symmetric blocking (2015)
  2. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  3. Hidalgo-Doblado, M.J.; Alonso-Jiménez, J.A.; Borrego-Díaz, J.; Martín-Mateos, F.J.; Ruiz-Reina, J.L.: Formally verified tableau-based reasoners for a description logic (2014)
  4. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  5. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)
  6. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcalEL$ (2014)
  7. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  8. Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank: Model-theoretic inseparability and modularity of description logic ontologies (2013)
  9. Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte: Extended caching, backjumping and merging for expressive description logics (2012)
  10. Almendros-Jiménez, Jesús M.: A Prolog-based query language for OWL (2011) ioport
  11. Bobillo, Fernando; Straccia, Umberto: Fuzzy ontology representation using OWL 2 (2011) ioport
  12. Groppe, Sven: Data Management and query processing in semantic web databases. (2011)
  13. Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele: Automated reasoning in $\mathcalALCQ$ via SMT (2011)
  14. Meissner, Adam: Experimental analysis of some computation rules in a simple parallel reasoning system for the $\calALC$ description logic (2011)
  15. Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin: Small is again beautiful in description logics (2010) ioport
  16. Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee: Incremental classification of description logics ontologies (2010)
  17. Götzmann, Daniel; Kaminski, Mark; Smolka, Gert: Spartacus: a tableau prover for hybrid logic (2010) ioport
  18. Baader, Franz; Sertkaya, Barış: Usability issues in description logic knowledge base completion (2009)
  19. Calin, Georgel: CoLoSS: the coalgebraic logic satisfiability solver (2009)
  20. Cuenca Grau, Bernardo; Horrocks, Ian; Kazakov, Yevgeny; Sattler, Ulrike: Extracting modules from ontologies: a logic-based approach (2009)

1 2 next