• DLog

  • Referenced in 8 articles [sw09839]
  • Efficient description logic reasoning in Prolog: The DLog system. Traditional algorithms for Description Logic ... using Prolog. We give an overview of DLog, a DL reasoner in Prolog, which ... outlined above. We evaluate the performance of DLog and compare it to some widely used...
  • Pellet

  • Referenced in 93 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • KAON2

  • Referenced in 4 articles [sw09838]
  • KAON2 is an infrastructure for managing OWL-DL...