Computing Least Common Subsumers in Description Logics with Existential Restrictions (1999)

by Franz Baader , Ralf Küsters , Ralf Molitor
Citations:89 - 24 self

Document Versions

Computing Least Common Subsumers in Description Logics with Existential Restrictions –Franz Baader, Ralf Küsters, Ralf Molitor — 1999
Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics –Franz Baader — 2003
Computing Least Common Subsumer in Description Logics with Existential Restrictions –Franz Baader, Ralf Küsters, Ralf Molitor — 1998 — PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI'99
Computing least common subsumer in description logics with existential restrictions –Franz Baader, Ralf Kiisters, Ralf Molitor, Lufg Theoretische Informatik, Rwth Aachen — 1999 — Proc. of IJCAI’99