Open AccessUnification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Author(s) -
Franz Baader,
Stefan Borgwardt,
Barbara Morawska
Publication year - 2011
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.25368/2022.183
Subject(s) - unification , description logic , axiom , computer science , context (archaeology) , rule of inference , theoretical computer science , inference , algebra over a field , mathematics , algorithm , programming language , discrete mathematics , pure mathematics , artificial intelligence , paleontology , geometry , biology