Unification in modal and description logics
type: Item
instance of: scholarly article
title: Unification in modal and description logics
zbMATH Open document ID: 1258.03018
author: Franz Baader
author: Silvio Ghilardi
publication date: 2012-06-08T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6043648
zbMATH Keywords: equational unification problem
zbMATH Keywords: description logic
zbMATH Keywords: modal logic
MaRDI profile type: Publication
full work available at URL: jzq008
OpenAlex ID: W2121093145
Wikidata QID: Q57383688
DBLP publication ID: journals/igpl/BaaderG11
DOI: 10.1093/JIGPAL/JZQ008
published in: Logic Journal of the IGPL
review text: Unification, i.e. the problem of making given terms syntactically equal by replacing their variables by terms, was originally introduced in automated deduction and term rewriting. In addition to the ``classical'' applications of unification, unification has also turned out to be of interest in other areas.NEWLINENEWLINE In this article the authors consider two closely related, yet different application areas for unification: modal logics and description logics. These areas are closely related since many description logics are just syntactic variants of certain modal logics. Consequently, technical results obtained in one area can be translated to the other. In most cases unification problems in modal logics and in description logics can actually be viewed as unification problems modulo the equational theory that axiomatizes equivalence in the respective logic. The authors explain the connection between description and modal logics. Then they show how unification problems can be viewed as equational unification problems. Some open problem for unification in modal logic is discussed.
reviewed by: Nail Zamov
description: scientific article; zbMATH DE number 6043648