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
J. Dietrich, N. Jones, und J. Wright. Journal of Systems and Software, 81 (12):
2183--2193(2008)Best papers from the 2007 Australian Software Engineering Conference (ASWEC 2007), Melbourne, Australia, April 10-13, 2007, Australian Software Engineering Conference 2007.
X. Yu, T. Weise, K. Tang, und S. Bleul. Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA'10), Seite 1--4. IEEE Computer Society Press: Los Alamitos, CA, USA, (2010)
S. Kona, A. Bansal, M. Blake, S. Bleul, und T. Weise. Proceedings of the 11th IEEE Conference on Commerce and Enterprise Computing (CEC'09), Seite 487--490. IEEE Computer Society: Piscataway, NJ, USA \andname Curran Associates, Inc.: Red Hook, NY, USA, (2009)
S. Bleul, T. Weise, und K. Geihs. Proceedings of IEEE Joint Conference on E-Commerce Technology (9th CEC) and Enterprise Computing, E-Commerce and E-Services (4th EEE) (CEC/EEE'07), Seite 517--520. IEEE Computer Society: Piscataway, NJ, USA, (2007)2nd place in 2007 WSC..
A. Gangemi, C. Catenacci, M. Ciaramita, und J. Lehmann. Proceedings of Evaluation of Ontologies for the Web, 4th International EON Workshop, Located at the 15th International World Wide Web Conference WWW 2006, (2006)
M. van Assem, A. Gangemi, und G. Schreiber. In Proceedings of the Fifth International Conference on Language Resources and Evaluation (LREC'06), (2006)
A. Gangemi, J. Lehmann, und C. Catenacci. Normative Multi-agent Systems, Volume 07122 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
V. Presutti, E. Daga, A. Gangemi, und E. Blomqvist. Proceedings of the Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference (ISWC-2009), Washington D.C., USA, 25 October, 2009, 516, CEUR Workshop Proceedings, (2009)
X. Wang, D. Zhang, T. Gu, und H. Pung. Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, Seite 18--. Washington, DC, USA, IEEE Computer Society, (2004)
J. Urbani, S. Kotoulas, J. Maassen, F. van Harmelen, und H. Bal. Proceedings of the 7th Extended Semantic Web Conference
(ESWC), Volume 6088 von Lecture Notes in Computer Science, Seite 213--227. Berlin, Heidelberg, Springer, (Mai 2010)
L. Zaid, G. Houben, O. Troyer, und F. Kleinermann. SWESE 2008, 4th Workshop on Semantic Web Enabled Software Engineering, workshop at ISWC 2008, the International Semantic Web Conference 2008, Seite 93--100. Karslruhe, Germany, (Oktober 2008)
J. Henss, J. Kleb, S. Grimm, und J. Bock. Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009, 529, (2009)
K. Munir, M. Odeh, und R. McClatchey. IDEAS '08: Proceedings of the 2008 international symposium on Database engineering &\#38; applications, Seite 81--90. New York, NY, USA, ACM, (2008)
G. Qi, P. Haase, Z. Huang, und J. Pan. In Proceedings of the 21st International Workshop on Description Logics (DL'08), Dresden, Germany, 2008, (2008-05)
S. Grimm, B. Motik, und C. Preist. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), Volume 4011 von LNCS, Seite 575--589. Budva, Montenegro, Springer, (Juni 2006)
S. Staab, M. Erdmann, A. Mädche, und S. Decker. First Workshop on the Semantic Web at the Fourth
European Conference on Digital Libraries, Lisbon, Portugal, (September 2000)