Automated Reasoning
From MaRDI portal
Publication:5307068
DOI10.1007/b98691zbMath1126.68592OpenAlexW4239036627MaRDI QIDQ5307068
Christian Kissig, Anni-Yasmin Turhan
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Related Items
Computing the least common subsumer w.r.t. a background terminology ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions
Uses Software