Class NaiveDlReasoner

    • Constructor Summary

      Constructors 
      Constructor Description
      NaiveDlReasoner()  
    • Method Summary

      Modifier and Type Method Description
      java.util.Set<DlInterpretation> getAllInterpretations​(DlSignature sig)
      Get all interpretations for the given signature.
      java.lang.Boolean query​(DlBeliefSet kb, DlAxiom formula)
      Queries the given belief base for the given formula.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • NaiveDlReasoner

        public NaiveDlReasoner()
    • Method Detail

      • getAllInterpretations

        public java.util.Set<DlInterpretation> getAllInterpretations​(DlSignature sig)
        Get all interpretations for the given signature.
        Parameters:
        sig - a DLSignature
        Returns:
        set of all interpretations