Logics in Artificial Intelligence
From MaRDI portal
Publication:5394140
DOI10.1007/b100483zbMath1111.68664MaRDI QIDQ5394140
Franz Baader, Anni-Yasmin Turhan, Barış Sertkaya
Publication date: 25 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100483
Related Items
Structural subsumption and least common subsumers in a description logic with existential and number restrictions, Computing the least common subsumer w.r.t. a background terminology