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 , task (project management) , theoretical computer science , horn clause , discrete mathematics , computer science , propositional variable , algorithm , intermediate logic , logic programming , geometry , management , economics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom