Sciweavers

1285 search results - page 32 / 257
» Description Logic Reasoner: System Description
Sort
View
LPAR
2000
Springer
15 years 3 months ago
How to Decide Query Containment Under Constraints Using a Description Logic
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...
DLOG
2007
15 years 2 months ago
Description Logics in the Calculus of Structures
Jean-David Roubach, Pascal Yim, Joaquin Rodriguez
DLOG
2007
15 years 2 months ago
Actions and Programs over Description Logic Ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
DLOG
2003
15 years 1 months ago
E-connections of Description Logics
Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...