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

Showing results 1 to 20 of 68.
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. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\mathrmK_\mathrmS\mathrmP) a resolution-based theorem prover for (\mathsfK_n): architecture, refinements, strategies and experiments (2020)
  3. Matentzoglu, Nicolas; Parsia, Bijan; Sattler, Uli: OWL reasoning: subsumption test hardness and modularity (2018)
  4. Nalon, Cláudia; Pattinson, Dirk: A resolution-based calculus for preferential logics (2018)
  5. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  6. Sikos, Leslie F.: Description logics in multimedia reasoning (2017)
  7. Tettamanzi, Andrea G. B.; Faron-Zucker, Catherine; Gandon, Fabien: Possibilistic testing of OWL axioms against RDF data (2017)
  8. Kroening, Daniel; Strichman, Ofer: Decision procedures. An algorithmic point of view (2016)
  9. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\textK_ \textS\textP): a resolution-based prover for multimodal K (2016)
  10. Areces, Carlos; Orbe, Ezequiel: Symmetric blocking (2015)
  11. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  12. 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)
  13. Kaminski, Mark; Smolka, Gert: A goal-directed decision procedure for hybrid PDL (2014)
  14. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  15. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic (\mathcalEL) (2014)
  16. Simančík, František; Motik, Boris; Horrocks, Ian: Consequence-based and fixed-parameter tractable reasoning in description logics (2014)
  17. Kaminski, Mark; Tebbi, Tobias: InKreSAT: modal reasoning via incremental reduction to SAT (2013)
  18. Khodadadi, Mohammad; Schmidt, Renate A.; Tishkovsky, Dmitry: A refined tableau calculus with controlled blocking for the description logic (\mathcalSHOI) (2013)
  19. Konev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank: Model-theoretic inseparability and modularity of description logic ontologies (2013)
  20. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport

1 2 3 4 next