- Technical Program
- Workshops & Tutorials
- At a glance
- Doctoral Consortium
- Opening & Reception
- Best Papers from Sister Conferences Track
- IJCAI Video Track
- Trading Agent Competion (TAC)
- IJCAI-11 Awards
- Funding Opportunities for International Research Collaborations
- General Game Playing Competition
- Banquet
- Ramon Llull Session
- Industry Day
- Closing Event
- List of Accepted Papers
- Poster Boards
On the complexity of EL with defeasible inclusions
Piero Bonatti, Marco Faella and Luigi Sauro
We analyze the complexity of reasoning in EL with defeasible inclusions and extensions thereof. Previous results are extended by proving tight lower complexity bounds and by relaxing syntactic restrictions. We further extend the old framework by supporting arbitrary priority relations. We show that these extensions do not increase the complexity of the standard reasoning tasks.