2008 PushingtheELEnvelopeFurther

• (Baader et al., 2008) ⇒ Franz Baader, Sebastian Brandt, and Carsten Lutz. (2008). “Pushing the EL Envelope Further.” In: Proceedings of the 4th International Workshop OWL: Experiences and Directions 2008 (OWLED-08 DC).

Subject Headings:

Notes

• a follow-up to: (Baader et al., 2005) ⇒ Franz Baader, Sebastian Brandt, and Carsten Lutz. (2005). “Pushing the EL Envelope.” In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005).

Cited By

• http://scholar.google.com/scholar?q=%222008%22+Pushing+the+EL+Envelope+Further

Quotes

Abstract

We extend the description logic EL++ with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTime-hard.

References

;

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
2008 PushingtheELEnvelopeFurther	Franz Baader Sebastian Brandt Carsten Lutz			Pushing the EL Envelope Further						2008