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

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

1 2 3 4 next

  1. Cantone, Domenico; Nicolosi-Asmundo, Marianna; Santamaria, Daniele Francesco: An improved set-based reasoner for the description logic (\mathcalDL_\mathrmD^4,\times\dagger) (2021)
  2. Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian: Pay-as-you-go consequence-based reasoning for the description logic (\mathcalSROIQ) (2021)
  3. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\mathrmK_\mathrmS\mathrmP) a resolution-based theorem prover for (\mathsfK_n): architecture, refinements, strategies and experiments (2020)
  4. Calvanese, Diego; Montali, Marco; Dumas, Marlon; Maggi, Fabrizio M.: Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge (2019)
  5. Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio: Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach (2019)
  6. Matentzoglu, Nicolas; Parsia, Bijan; Sattler, Uli: OWL reasoning: subsumption test hardness and modularity (2018)
  7. Nalon, Cláudia; Pattinson, Dirk: A resolution-based calculus for preferential logics (2018)
  8. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  9. Sikos, Leslie F.: Description logics in multimedia reasoning (2017)
  10. Tettamanzi, Andrea G. B.; Faron-Zucker, Catherine; Gandon, Fabien: Possibilistic testing of OWL axioms against RDF data (2017)
  11. Kroening, Daniel; Strichman, Ofer: Decision procedures. An algorithmic point of view (2016)
  12. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\mathrmK_ \mathrmS\mathrmP): a resolution-based prover for multimodal K (2016)
  13. Areces, Carlos; Orbe, Ezequiel: Symmetric blocking (2015)
  14. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  15. 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)
  16. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  17. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  18. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic (\mathcalEL) (2014)
  19. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  20. Kaminski, Mark; Tebbi, Tobias: InKreSAT: modal reasoning via incremental reduction to SAT (2013)

1 2 3 4 next