id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_xfe7lfnzybecph64rnb3mz5bvq	Franz Baader	Small is Again Beautiful in Description Logics	2010	7	.pdf	application/pdf	6978	705	72	ontology language for the Semantic Web, is based on such an expressive DL for which reasoning is highly intractable. about a specific application situation can be stated, by introducing named individuals and relating them to concepts and roles. for subsumption between concept descriptions without a TBox. An even worse blow to the quest for a practically useful DL with support sound and complete reasoning in very expressive description formalisms was an important argument in favor of using DLs with a very large ABox. In particular, query answering in expressive DLs such as the already mentioned SHIF and SHOIN database systems for query answering in DLs. Given this proviso, the question is what expressivity can a DL offer such that on reasoning services for ontologies with a large number of concepts, the profile OWL 2 EL has been introduced, which is based The complexity of conjunctive query answering in expressive description logics.	./cache/work_xfe7lfnzybecph64rnb3mz5bvq.pdf	./txt/work_xfe7lfnzybecph64rnb3mz5bvq.txt