
SAT Encoding of Unification in EL
Author(s) -
Franz Baader,
Barbara Morawska
Publication year - 2010
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.177
Subject(s) - unification , satisfiability , description logic , rule of inference , reduction (mathematics) , computer science , inference , theoretical computer science , knowledge representation and reasoning , boolean satisfiability problem , propositional calculus , expressive power , representation (politics) , algorithm , mathematics , programming language , artificial intelligence , geometry , politics , political science , law