Many modern applications of description logics (DLs) require answering queries over large data quantities, structured according to relatively simple ontologies. For such applications, we conjectured that reusing ideas of deductive databases might improve scalability of DL systems. Hence, in our previous work, we developed an algorithm for reducing a DL knowledge base to a disjunctive datalog pr...

1. Keith DS, Torres VE, King BF et al. Renal cell carcinoma in autosomal dominant polycystic kidney disease. J Am Soc Nephrol 1994; 4: 1661– 1669 2. Kim AY, Kim SH, Kim YJ et al. Contrast-enhanced power Doppler sonography for the differentiation of cystic renal lesions: preliminary study. J Ultrasound Med 1999; 18: 581–588 3. Correas JM, Bridal L, Lesavre A et al. Ultrasound contrast agents: pr...

We consider the set M = { ( a . 11): n bh mod.rL') of all solutions of the key equation for alternant codes, where h is the syndrome polynomial. In decoding these codes a particular solution (d. (T) E M is sought, subject to d and being relatively prime and satisfying certain degree conditions. We prove that these requirements specify (d. (T ) uniquely as the minimal element of M (analogous to ...

ABSTlZACT In order to faithfully describe real-life applications, knowledge bases have to manage general integrity constraints. In this article, we analyse methods for an efficient verification of integrity constraints in updated knowledge bases. These methods rely on the satisfaction of the integrity constraints before the update for simplifying their evaluation in the updated knowledge base. ...

Data Sources and Searches An experienced medical librarian performed comprehensive literature searches in the electronic data bases Ovid MEDLINE, Ovid Embase, and The Cochrane Library from data base inception to August 15, 2016. The first search was conducted in Ovid MEDLINE. To improve the retrieval of relevant studies and to ensure the methodologic quality of the literature search, an additio...

Ontolingua, a language for ontology-based knowledge representation, provides the capability to construct comprehensive characterizations of knowledge bases. While the ability to characterize the content of a knowledge base is not new, Ontolingua includes a number of features that greatly enhance conventional data representation and modeling technologies through the incorporation of semantic con...

Facilitating the seamless evolution of RDF knowledge bases on the Semantic Web presents still a major challenge. In this work we devise EvoPat – a pattern-based approach for the evolution and refactoring of knowledge bases. The approach is based on the definition of basic evolution patterns, which are represented declaratively and can capture simple evolution and refactoring operations on both ...

During protein synthesis, the ribosome catalyzes peptide-bond formation. Biochemical and structural studies revealed that conserved nucleotides in the peptidyl-transferase center (PTC) and its proximity may play a key role in peptide-bond formation; the exact mechanism involved remains unclear. To more precisely define the functional importance of the highly conserved residues, we used a system...