Sciweavers

16666 search results - page 70 / 3334
» Descriptive and Computational Complexity
Sort
View
129
Voted
ECAI
2008
Springer
15 years 5 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...
136
Voted
IJCAI
2003
15 years 5 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
122
Voted
KI
2006
Springer
15 years 3 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
ASWC
2009
Springer
15 years 1 months ago
LODE: Linking Open Descriptions of Events
People conventionally refer to an action or occurrence taking place at a certain time at a specific location as an event. This notion is potentially useful for connecting individua...
Ryan Shaw, Raphaël Troncy, Lynda Hardman
159
Voted
ICIP
2009
IEEE
15 years 1 months ago
Towards a comprehensive RVC VTL: A CAL description of an efficient AVC baseline encoder
The Video Tool Library (VTL) is one of the major normative components of the Reconfigurable Video Coding (RVC) standard. It specifies the set of functional units (FUs) that may be...
Hussein Aman-Allah, Ehab Hanna, Karim Maarouf, Iha...