We propose a language that expresses uniformly queries and updates on knowledgebases consisting of finite sets of relational structures. The language contains an operator that ``inserts'' arbitrary first-order sentences into a knowledgebase. The semantics of the insertion is based on the notion of u
SCANNET - multispectral knowledgebase
✍ Scribed by Barbara Dȩbska
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 330 KB
- Volume
- 348
- Category
- Article
- ISSN
- 0022-2860
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
PAHdb is an online relational locus-specific "mutation database" (http://www.mcgill.ca/pahdb) for the human phenylalanine hydroxylase gene (symbol PAH) and its associated phenotypes (protein, metabolic, clinical). When combined with associated information (population distribution of allele, haplotyp
ln this paper, there is a review of some knowledgebaso change operators, namely the revision, update, (symmetrical) model-fitting well known in the propositional case and some new problems concerning them. There is an extended set of axioms to avoid a certain problem in connection with revision. Bas