Class NaiveDlReasoner

    • Constructor Summary

      Constructors 
      Constructor Description
      NaiveDlReasoner()  
    • Method Summary

      Modifier and Type Method Description
      private java.util.Set<AssertionalAxiom> getAllInstantiations​(DlSignature sig, Predicate p, java.util.List<Individual> args)
      Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.
      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

        clone, equals, finalize, 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
      • getAllInstantiations

        private java.util.Set<AssertionalAxiom> getAllInstantiations​(DlSignature sig,
                                                                     Predicate p,
                                                                     java.util.List<Individual> args)
        Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.
        Parameters:
        sig - a signature for which the instantiations should be computed.
        p - the predicate of the atoms.
        args - the currently set arguments of the atoms.
        Returns:
        the complete set of instantiations of "p" relative to "sig" and "arguments".