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
Semi-unification of two terms in Abelian groups
β Scribed by Mikael Rittri
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 637 KB
- Volume
- 52
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this paper it is shown that every connected Cayley graph of a semt-direct product of a cyclic group of prime order by an abelian group is hamiltonian. In particular, every connected Cayley graph of a group G is hamiltonian provided that G is of order greater than 2 and it contains a normal cyclic
## Abstract We find all possible lengths of circuits in Cayley digraphs of twoβgenerated abelian groups over the twoβelement generating sets and over certain threeβelement generating sets.
The concentration of different oxygen-containing groups (-OH, COOH, Ar-0-Ar, Ar-0-CH,, R-HO-R) in two different coal types (a brown coal and a flame coal) are described by combined use of quantitative 13C CP/MAS n.m.r. spectroscopy and several labelling reactions (acetylation, silylation, methylatio