JSAI
2005
Springer
15 years 5 months ago
2005
Springer
: In this paper, we introduce ordered clauses as defined a sequence of literals, and investigate the properties of generalizations for ordered clauses. Furthermore, we show that t...
119
Voted
CADE
2007
Springer
16 years 17 days ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...