FaCT++

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 41 articles )

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

1 2 3 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. Wasielewska, Katarzyna; Drozdowicz, Michał; Szmeja, Paweł; Ganzha, Maria; Paprzycki, Marcin; Lirkov, Ivan; Petcu, Dana; Badica, Costin: Agents in grid system -- design and implementation (2012)
  11. Almendros-Jiménez, Jesús M.: A Prolog-based query language for OWL (2011)
  12. Almendros-Jiménez, Jesús Manuel: A prolog-based query language for OWL (2011)
  13. Bobillo, Fernando; Straccia, Umberto: Fuzzy ontology representation using OWL 2 (2011)
  14. Groppe, Sven: Data Management and query processing in semantic web databases. (2011)
  15. Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele: Automated reasoning in $\mathcalALCQ$ via SMT (2011)
  16. Meissner, Adam: Experimental analysis of some computation rules in a simple parallel reasoning system for the $\calALC$ description logic (2011)
  17. Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin: Small is again beautiful in description logics (2010)
  18. Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee: Incremental classification of description logics ontologies (2010)
  19. Götzmann, Daniel; Kaminski, Mark; Smolka, Gert: Spartacus: A tableau prover for hybrid logic (2010)
  20. Götzmann, Daniel; Kaminski, Mark; Smolka, Gert: Spartacus: a tableau prover for hybrid logic (2010)

1 2 3 next