Sciweavers

993 search results - page 76 / 199
» The Complexity of Probabilistic EL
Sort
View
GLOBECOM
2009
IEEE
13 years 11 months ago
A Subspace Method for the Blind Identification of Multiple Time-Varying FIR Channels
A new method is proposed for the blind subspace-based identification of the coefficients of time-varying (TV) single-input multiple-output (SIMO) FIR channels. The TV channel coef...
Benoît Champagne, Amr El-Keyi, Chao-Cheng Tu
DLOG
2008
13 years 10 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin
ECAI
2008
Springer
13 years 9 months ago
Semantic Modularity and Module Extraction in Description Logics
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wol...
AAAI
2010
13 years 9 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
MOBIS
2008
13 years 9 months ago
Policy-Based Semantic Compliance Checking for Business Process Management
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
Marwane El Kharbili, Sebastian Stein