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
I. Niles, und A. Pease. Proceedings of the International Conference on Formal Ontology in Information Systems - Volume 2001, Seite 2--9. New York, NY, USA, ACM, (2001)
K. Lüttich, T. Mossakowski, und B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Volume 3423 von Lecture Notes in Computer Science, Seite 106-125. Springer; Berlin; http://www.springer.de, (2005)
O. Kutz, J. Hastings, und T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Volume 7557 von Lecture Notes in Computer Science, Seite 103-111. Springer, (2012)
V. Chaudhri, W. Jarrold, und J. Pacheco. OWL: Experiences and Directions Workshop (OWLED), Volume 216 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)
G. Hillairet, F. Bertrand, J. Lafaye, und others. Proceedings of the 4th International Workshop on Semantic Web Enabled Software Engineering, SWESE, (2008)
A. Hildisch, J. Steurer, und R. Stolle. Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, Seite 4--. Washington, DC, USA, IEEE Computer Society, (2007)
A. Di Iorio, S. Peroni, und F. Vitali. Proceedings of the 17th international conference on Knowledge engineering and management by the masses, Seite 391--400. Berlin, Heidelberg, Springer-Verlag, (2010)
T. Rahmani, D. Oberle, und M. Dahms. Model Driven Engineering Languages and Systems, Volume 6395 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-16129-2_18.(2010)
I. Horrocks, und U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, Seite 199-204. Morgan Kaufmann, (2001)
I. Horrocks, O. Kutz, und U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, Seite 57-67. AAAI Press, (2006)
J. Bock, T. Tserendorj, Y. Xu, J. Wissmann, und S. Grimm. Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), 529, http://ceur-ws.org, CEUR Workshop Proceedings, (2009)
G. Gottlob, G. Orsi, und A. Pieris. (2011)cite arxiv:1112.0343Comment: Extended version of "Ontological Queries: Rewriting and Optimization" presented at ICDE 2011.
M. Faerber, O. Archne, F. Jochaud, und S. Jablonski. Umweltbundesamt http://www.umweltbundesamt.de, Seite 21-30. Umweltbundesamt http://www.umweltbundesamt.de, (2008)ISSN 1862-4804.
H. Knublauch, R. Fergerson, N. Noy, und M. Musen. The Semantic Web -- ISWC 2004, Volume 3298 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2004)
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)