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

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

1 2 3 next

  1. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  2. Sikos, Leslie F.: Description logics in multimedia reasoning (2017)
  3. Tettamanzi, Andrea G.B.; Faron-Zucker, Catherine; Gandon, Fabien: Possibilistic testing of OWL axioms against RDF data (2017)
  4. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: $\text K_ \textS\textP$: a resolution-based prover for multimodal K (2016)
  5. Areces, Carlos; Orbe, Ezequiel: Symmetric blocking (2015)
  6. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  7. 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)
  8. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  9. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with $\mathcal EL$ ontologies (2014)
  10. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcalEL$ (2014)
  11. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  12. Kaminski, Mark; Tebbi, Tobias: InKreSAT: modal reasoning via incremental reduction to SAT (2013)
  13. Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank: Model-theoretic inseparability and modularity of description logic ontologies (2013)
  14. Steigmiller, Andreas; Liebig, Thorsten; Glimm, Birte: Extended caching, backjumping and merging for expressive description logics (2012)
  15. Almendros-Jiménez, Jesús M.: A Prolog-based query language for OWL (2011) ioport
  16. Bobillo, Fernando; Straccia, Umberto: Fuzzy ontology representation using OWL 2 (2011) ioport
  17. Groppe, Sven: Data Management and query processing in semantic web databases. (2011)
  18. Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele: Automated reasoning in $\mathcalALCQ$ via SMT (2011)
  19. Meissner, Adam: Experimental analysis of some computation rules in a simple parallel reasoning system for the $\calALC$ description logic (2011)
  20. Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin: Small is again beautiful in description logics (2010) ioport

1 2 3 next