Sciweavers

1582 search results - page 94 / 317
» On Higher-Order Description Logics
Sort
View
IJCAI
2007
14 years 11 months ago
Conservative Extensions in Expressive Description Logics
Carsten Lutz, Dirk Walther, Frank Wolter
IJCAI
2007
14 years 11 months ago
EQL-Lite: Effective First-Order Query Processing in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
AAAI
2006
14 years 11 months ago
On the Update of Description Logic Ontologies at the Instance Level
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...