منابع مشابه
Pushing the EL Envelope
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept ...
متن کاملPushing the envelope
Primates have co-opted a viral gene to produce an envelope protein that prevents infection by the HERV-T virus and likely contributed to the extinction of this virus.
متن کاملPushing the endogenous envelope
The majority of retroviral envelope glycoproteins characterized to date are typical of type I viral fusion proteins, having a receptor binding subunit associated with a fusion subunit. The fusion subunits of lentiviruses and alpha-, beta-, delta- and gammaretroviruses have a very conserved domain organization and conserved features of secondary structure, making them suitable for phylogenetic a...
متن کاملPushing the CFDnc Envelope
We consider the consequences on basic reasoning problems of allowing negated primitive concepts on left-hand-sides of inclusion dependencies in the description logic dialect CFDnc. Although earlier work has shown that this makes CQ answering coNP-complete, we show that TBox consistency and concept satisfiability remain in PTIME. We also show that knowledge base consistency and instance retrieva...
متن کاملPushing the Envelope
I think most of us have fond memories of an outdoor venture that we did as kids that send chills down our spine as adults. It may have gotten us into trouble with parents or teachers and resulted in warranted disciplinary action with promises to never do that again, or it may have resulted in injuries that taught us valuable lessons after a trip to the emergency room. Hopefully, none ended in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: eLife
سال: 2017
ISSN: 2050-084X
DOI: 10.7554/elife.26397