Logic Journal of the IGPL 8:3

  title={Logic Journal of the IGPL 8:3},
  author={Wilfrid Hodges and Hans Kamp and Robert Kowalski and Grigori Mints and Ewa Orlowska and Amir Pnueli and Vaughan R. Pratt and Saharon Shelah and Johan van Benthem},
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ALC extended with transitive and inverse roles and functional restrictions with respect to general concept inclusion axioms and role hierarchies; early… CONTINUE READING

Similar Papers

Loading similar papers…