Publication:4514013
From MaRDI portal
zbMath0957.03019MaRDI QIDQ4514013
Andrea Schaerf, Maurizio Lenzerini, Francesco M. Donini, Daniele Nardi
Publication date: 4 March 2001
survey; knowledge representation; description logics; concept language; computational complexity of reasoning problems; structured concepts
Related Items
Hyperresolution for guarded formulae, Expressiveness of concept expressions in first-order description logics, A hybrid reasoning system for terminologies and first-order clauses in knowledge bases