✦ LIBER ✦

Unification of Concept Terms in Description Logics

✍ Scribed by Franz Baader; Paliath Narendran

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 464 KB
Volume: 31
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2000.0426

No coin nor oath required. For personal study only.

✦ Synopsis

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 present first decidability and complexity results for a small concept description language.

📜 SIMILAR VOLUMES

Semi-unification of two terms in Abelian

Semi-unification of two terms in Abelian groups

✍ Mikael Rittri 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 637 KB

Description of bubble shape in terms of

Description of bubble shape in terms of dimensionless numbers

✍ J.H.C. Coppus; K. Rietema 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 278 KB

Ftg 1 Configuratum of an envelope coatamng bubbles m the detachment and cut-off stages angle hes between 190 and 22" It IS also mtcrestmg to note that both measured and denved values of the cone angle are mdependent of the ordice stz.e and the gas mjectton rate Lkpartment of Mechanrcal Eftgoteertng

Automated concept discovery in corpora o

Automated concept discovery in corpora of morphological descriptions

✍ Hong Cui; Richard M. McCourt; Monique Feist 📂 Article 📅 2007 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 21 KB

Electrostatics of proteins: Description

Electrostatics of proteins: Description in terms of two dielectric constants simultaneously

✍ L. I. Krishtalik; A. M. Kuznetsov; E. L. Mertz 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 75 KB 👁 1 views

In the semi-continuum treatment of the energetics of charge formation (or transfer) inside a protein, two components of the energy are inevitably present: the energy of interaction of the ion with the pre-existing intraprotein electric field, and the energy due to polarization of the medium by the n

A description of fatigue crack growth in

A description of fatigue crack growth in terms of plastik work

✍ S.R. Bodner; D.L. Davidson; J. Lankford 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 247 KB

Co-response Coefficients, Monovalent Uni

Co-response Coefficients, Monovalent Units, and Combinatorial Rules: Unification of Concepts in Metabolic Control Analysis

✍ Christoph Giersch 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 213 KB

The Jacobian H of a linear metabolic pathway without feedback loops is tridiagonal. Its inverse, H-1, which is needed for calculating control coefficients or elasticities, can be decomposed into two regions of mutually dependent rows and columns. For each of these regions of H-1, all sub-determinant