Sciweavers

JELIA
2004
Springer
14 years 4 months ago
Explaining Subsumption by Optimal Interpolation
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
Stefan Schlobach