Unification of concept terms is a new kind of inference problem for description logics, which extends the equivalence problem by allowing one to replace certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and pre
Automated concept discovery in corpora of morphological descriptions
โ Scribed by Hong Cui; Richard M. McCourt; Monique Feist
- Publisher
- Wiley (John Wiley & Sons)
- Year
- 2007
- Tongue
- English
- Weight
- 21 KB
- Volume
- 43
- Category
- Article
- ISSN
- 0044-7870
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We survey "ve mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they had. We focus on how they estimate the interestingness of concepts and conjectures and extract some common notions about interestingness in automated mathematical discov
Extensive automation of both random and rational drug discovery strategies greatly increases the number of compounds entering biological screens. Although parallel synthesis (one compound per well) strategies eliminate the deconvolution step necessary when pooled libraries are screened, parallel syn
Data mining in time-series medical databases has been receiving considerable attention because it provides a way of revealing useful information hidden in the database, for example, relationships between the temporal course of examination results and the onset time of diseases. This article presents