Unification of concept terms in description logics

From MaRDI portal
Publication:5929707

DOI10.1006/jsco.2000.0426zbMath0970.68166OpenAlexW2049209348WikidataQ57383725 ScholiaQ57383725MaRDI QIDQ5929707

Paliath Narendran, Franz Baader

Publication date: 16 April 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/aa3b69cff35be1fd61aa212216e5f04e45462729




Related Items

Restricted unification in the DL \(\mathcal{FL}_0\)About the unification type of \(\mathbf{K}+\square \square \bot\)Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructorMulti-Agents’ Temporal Logic using Operations of Static Agents’ KnowledgeFiltering unification and most general unifiers in modal logicMulti-agent logics with dynamic accessibly relations, projective unifiersLanguage equations with complementation: decision problemsEquations over free inverse monoids with idempotent variablesUnification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)KD is nullaryAdmissibility and unification in the modal logics related to S4.2Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local DisunificationBest unifiers in transitive modal logicsEQUATIONS IN FREE INVERSE MONOIDSExtensions of unification modulo ACUIComputational completeness of equations over sets of natural numbersApproximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$Decision problems for language equationsUnification modulo ACUI plus distributivity axiomsUnification in linear temporal logic LTLUnification in the Description Logic $\mathcal{EL}$ without the Top ConceptUnification in the Description Logic $\mathcal{EL}$Description LogicsLanguage equations with complementation: expressive powerApproximate Unification in the Description Logic $$\mathcal {FL}_0$$Language equationsCanonical rulesTemporal logic with accessibility temporal relations generated by time states themselvesClosure properties and decision problems of dag automataUnification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTKDecidability of trajectory-based equationsUnresolved systems of language equations: expressive power and decision problems



Cites Work