نتایج جستجو برای: soft and hard inclusions
تعداد نتایج: 16863873 فیلتر نتایج به سال:
While conjunctive query (CQ) answering over DL-Lite has been studied extensively, there have been few attempts to analyse CQs with negated atoms. This paper deepens the study of the problem. Answering CQs with safe negation and CQs with a single inequality over DL-Lite with role inclusions is shown to be undecidable, even for a fixed TBox and query. Without role inclusions, answering CQs with o...
Kernel hardness is one of the most important characterizations on end-use quality of bread wheat and also used for their marketing classification. Kernel texture, mainly controlled by one major locus (Ha) located on the short arm of chromosome 5D. Two tightly linked genes as puroindolin a , and b covered by this major locus and designed as Pina and Pinb respectively. When both puroindolines are...
We analyse DL-Lite logics with role inclusions and present a complete classification of the trade-off between their expressiveness and computational complexity. In particular, we show that in logics with role inclusions the data complexity of instance checking becomes P-hard in the presence of functionality constraints, and coNP-hard if arbitrary number restrictions are allowed, even with a ver...
nanotechnology is a general term which is related with field of all advanced science term that generally predicates with all modern technologies which consider nanoscales. improvement in the quality of products by adding some nanoparticles and study of their behavior in the presence of these nanoparticles have been obtained in many researches. on the other hand numerous demands for sowing ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید