Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
From MaRDI portal
Publication:2974785
DOI10.2168/LMCS-12(4:1)2016zbMath1445.68202arXiv1609.05621MaRDI QIDQ2974785
Franz Baader, Barbara Morawska, Stefan Borgwardt
Publication date: 11 April 2017
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.05621
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combination techniques and decision problems for disunification
- Complexity of unification problems with associative-commutative operators
- Proof theory for admissible rules
- Equational problems and disunification
- Admissibility of logical inference rules
- Unification in the Description Logic EL
- Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
- A Tableau Method for Checking Rule Admissibility in S4
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- Matching in description logics
- Unification in intuitionistic logic
- On solving equations and disequations
- Unification through projectivity
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Term Rewriting and All That
- SAT Encoding of Unification in $\mathcal{EL}$
- Unification of concept terms in description logics
This page was built for publication: Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
