A New Mapping from ALCI to ALC

  title={A New Mapping from ALCI to ALC},
  author={Yu Ding and Volker Haarslev and Jiewen Wu},
  booktitle={Description Logics},
This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. general/acyclic axioms are available through such a mapping. By applying this mapping, a tableaubased reasoner succeeds in solving some very hard real-world problems. 1 Concept Satisfiability with General Axioms The proposed mapping process is based on the idea to capture possible backpropagation caused by the use of inverse… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS
15 Citations
18 References
Similar Papers

Similar Papers

Loading similar papers…