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
r. Kurt Bollacker is a computer scientist with a research background in the areas of machine learning, digital libraries, semantic networks, and electro-cardiographic modeling. He received a Ph.D. in Computer Engineering from The University Of Texas At Austin, was co-creator of the Citeseer research tool as a visiting researcher at the NEC Research Institute, was the technical director of the Internet Archive, and a biomedical research engineer at the Duke University Medical Center. He is currently pursuing research into long term digital archiving as the Digital Research Director at the Long Now Foundation, and is a scientist at Metaweb Technologies.
Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
F. Baader, B. Ganter, B.Sertkaya, und U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Seite 230--235. (2007)
D. Calvanese, G. Giacomo, und M. Lenzerini. Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 41--60. Springer Berlin / Heidelberg, (2002)
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)
V. Haarslev, und R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, Volume 2083 von Lecture Notes in Computer Science, Seite 701. Siena, Italy, Springer-Verlag, (Juni 2001)
S. Dasiopoulou, I. Kompatsiaris, und M. Strintzis. Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, Seite 31-46. (2008)
N. Fanizzi, und C. d'Amato. Foundations of Intelligent Systems, 16th International Symposium,, Volume 4203 von Lecture Notes in Computer Science, Seite 322-331. Springer, Berlin--Heidelberg, Germany, (2006)