Unification in a Description Logic with Transitive Closure of Roles
From MaRDI portal
Publication:2996164
DOI10.1007/3-540-45653-8_15zbMath1275.68134OpenAlexW1546744587MaRDI QIDQ2996164
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45653-8_15
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (17)
Multiagent temporal logics with multivaluations ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Language equations with complementation: decision problems ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ On simplification of schema mappings ⋮ KD is nullary ⋮ 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 ⋮ Best unifiers in transitive modal logics ⋮ Computing by commuting. ⋮ Unification in linear temporal logic LTL ⋮ Unification in the Description Logic $\mathcal{EL}$ ⋮ Language equations ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Decidability of trajectory-based equations ⋮ Regular solutions of language inequalities and well quasi-orders
This page was built for publication: Unification in a Description Logic with Transitive Closure of Roles
