Concept Logics with Function Symbols

  title={Concept Logics with Function Symbols},
  author={Hans-J{\"u}rgen B{\"u}rckert and Bernhard Hollunder and Armin Laux},
Recently, concept logics have been proposed which allow one to incorporate algorithms for domain speciic problem solving into the classical resolution principle. The domain speciic knowledge can be expressed by using the (KL-ONE like) knowledge representation language ALC, and problems are encoded by sets of so-called constrained clauses. Testing… CONTINUE READING