Open AccessOn the Complexity of Axiom Pinpointing in Description Logics
Author(s) -
Rafael Peñaloza,
Barış Sertkaya
Publication year - 2009
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.173
Subject(s) - axiom , fragment (logic) , mathematics , computational complexity theory , description logic , horn clause , task (project management) , theoretical computer science , computer science , propositional calculus , discrete mathematics , algorithm , logic programming , economics , geometry , management