๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Unintended consequences of existential quantifications in biomedical ontologies

โœ Scribed by Martin Boeker; Ilinca Tudose; Janna Hastings; Daniel Schober; Stefan Schulz


Book ID
114999529
Publisher
BioMed Central
Year
2011
Tongue
English
Weight
351 KB
Volume
12
Category
Article
ISSN
1471-2105

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The complexity of existential quantifica
โœ Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Bernhard Hollunder; Wern ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 965 KB

Much of the research on concept languages, which also are called terminological languages, has focused on the computational complexity of subsumption. The intractability results can be divided into two groups. First, it has been shown that extending the basic language ,~Sfwith constructs containing