Sciweavers

168 search results - page 8 / 34
» el 2010
Sort
View
JSC
2010
135views more  JSC 2010»
14 years 10 months ago
Deciding inseparability and conservative extensions in the description logic EL
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
Carsten Lutz, Frank Wolter
ATAL
2010
Springer
15 years 27 days ago
Symbolic model checking for agent interactions
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...
HICSS
2010
IEEE
162views Biometrics» more  HICSS 2010»
15 years 6 months ago
A Cyberinfrastructure Framework for Comparative Effectiveness Research in Healthcare
Omar F. El-Gayar, Surendra Sarnikar, Matthew J. Wi...