scientific article
From MaRDI portal
Publication:2717788
zbMath0970.68165MaRDI QIDQ2717788
No author found.
Publication date: 18 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Computing the least common subsumer w.r.t. a background terminology ⋮ Intersection of finitely generated congruences over term algebra ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions
This page was built for publication: