Sciweavers

931 search results - page 187 / 187
» Engineering interactive ubiquitous computing systems
Sort
View
KR
2010
Springer
13 years 10 months ago
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus