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
A. Razavian, H. Azizpour, J. Sullivan, und S. Carlsson. (2014)cite arxiv:1403.6382Comment: version 3 revisions: 1)Added results using feature processing and data augmentation 2)Referring to most recent efforts of using CNN for different visual recognition tasks 3) updated text/caption.
M. Huchard, A. Napoli, M. Hacene, und P. Valtchev. Selected Contributions in Data Analysis and Classification, Studies in Classification, Data Analysis, and Knowledge Organization, (Oktober 2007)
O. Russakovsky, J. Deng, H. Su, J. Krause, S. Satheesh, S. Ma, Z. Huang, A. Karpathy, A. Khosla, M. Bernstein und 2 andere Autor(en). (2014)cite arxiv:1409.0575Comment: 43 pages, 16 figures. v3 includes additional comparisons with PASCAL VOC (per-category comparisons in Table 3, distribution of localization difficulty in Fig 16), a list of queries used for obtaining object detection images (Appendix C), and some additional references.
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)
R. Straeten, T. Mens, J. Simmonds, und V. Jonckers. UML 2003 – The Unified Modeling Language, Volume 2863 von Lecture Notes in Computer Science, Seite 326--340. Springer, (2003)
W. Cohen, und H. Hirsh. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany, Seite 121--133. Morgan-Kauffman Publishers, San Francisco, CA, USA, (1994)
C. d'Amato, N. Fanizzi, und F. Esposito. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, Seite 1695--1699. ACM, New York, NY, USA, (2006)
N. Fanizzi, und C. d'Amato. Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks,, 4692, Seite 148--155. Springer, Berlin--Heidelberg, Germany, (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)
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
S. Arora, A. May, J. Zhang, und C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, Seite 2650--2663. Online, Association for Computational Linguistics, (Juli 2020)