Unification in the Description Logic EL
From MaRDI portal
Publication:2786134
DOI10.2168/LMCS-6(3:17)2010zbMath1214.68379WikidataQ57383696 ScholiaQ57383696MaRDI QIDQ2786134
Barbara Morawska, Franz Baader
Publication date: 21 September 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (14)
Multiagent temporal logics with multivaluations ⋮ Restricted unification in the DL \(\mathcal{FL}_0\) ⋮ Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Satisfiability problem in interval FP-logic ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ Best unifiers in transitive modal logics ⋮ Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ ⋮ Unification in linear temporal logic LTL ⋮ Unification in the Description Logic $\mathcal{EL}$ without the Top Concept ⋮ Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
This page was built for publication: Unification in the Description Logic EL
