KRHyper Inside — Model Based Deduction in Applications

  title={KRHyper Inside — Model Based Deduction in Applications},
  author={Peter M Baumgartner and Ulrich Furbach and Margret Gro\ss-Hardt and Thomas Kleemann and Christoph Wernhard},
Three real world applications are depicted which all have in common, that their core component is a full first order theorem prover, based on the hyper tableau calculus. These applications concern information retrieval in electronic publishing, the integration of description logics with other knowledge representation techniques and XML query processing.