Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
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. Metzger, F. Ber, und A. Napoli. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), Volume 2746 von Lecture Notes in Computer Science, Seite 215-228. Springer, (2003)
F. Baader. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), Volume 2746 von Lecture Notes in Computer Science, Seite 117-130. Springer, (2003)
D. Frankel, P. Hayes, E. Kendall, und D. McGuinness. 1st International Workshop on the Model-Driven Semantic Web (MDSW2004), Monterey, California, USA, (September 2004)
B. Motik. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), Volume 6208 von Lecture Notes in Computer Science, Seite 10-12. Springer, (2010)
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), Volume 3596 von Lecture Notes in Computer Science, Seite 78-90. Springer, (2005)
A. Kalyanpur, B. Parsia, M. Horridge, und E. Sirin. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, Volume 4825 von LNCS, Seite 267--280. Berlin, Heidelberg, Springer Verlag, (November 2007)
A. Borgida, T. Walsh, und H. Hirsh. Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, Volume 147 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)
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)
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)
S. Konstantopoulos, und G. Apostolikas. Proceedings of International IFIP Workshop of Semantic Web and Web Semantics (IFIP-SWWS 07), Algarve, 29--30 Nov. 2007, (2007)
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)
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, Seite 168--178. Santa Cruz, USA, (1995)
O. Yadan, K. Adams, Y. Taigman, und M. Ranzato. (2013)cite arxiv:1312.5853Comment: Machine Learning, Deep Learning, Convolutional Networks, Computer Vision, GPU, CUDA.
J. Yosinski, J. Clune, Y. Bengio, und H. Lipson. (2014)cite arxiv:1411.1792Comment: To appear in Advances in Neural Information Processing Systems 27 (NIPS 2014).
B. Baker, O. Gupta, R. Raskar, und N. Naik. (2017)cite arxiv:1705.10823Comment: Submitted to International Conference on Learning Representations, (2018).
D. Povey, X. Zhang, und S. Khudanpur. (2014)cite arxiv:1410.7455Comment: Accepted as workshop contribution to ICLR 2015. 12 pages plus 16 pages of appendices, International Conference on Learning Representations (ICLR): Workshop track, 2015. 2 sets of minor fixes post-publication..
C. Ma, V. Smith, M. Jaggi, M. Jordan, P. Richtárik, und M. Takáč. (2015)cite arxiv:1502.03508Comment: ICML 2015: JMLR W&CP volume37, Proceedings of The 32nd International Conference on Machine Learning, pp. 1973-1982.
H. Spieker, A. Gotlieb, D. Marijan, und M. Mossige. (2018)cite arxiv:1811.04122Comment: Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM.