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
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.
N. Fanizzi, и 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, стр. 148--155. Springer, Berlin--Heidelberg, Germany, (2007)
O. Russakovsky, J. Deng, H. Su, J. Krause, S. Satheesh, S. Ma, Z. Huang, A. Karpathy, A. Khosla, M. Bernstein и 2 other автор(ы). (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.
J. Yosinski, J. Clune, Y. Bengio, и H. Lipson. (2014)cite arxiv:1411.1792Comment: To appear in Advances in Neural Information Processing Systems 27 (NIPS 2014).
S. Konstantopoulos, и G. Apostolikas. Proceedings of International IFIP Workshop of Semantic Web and Web Semantics (IFIP-SWWS 07), Algarve, 29--30 Nov. 2007, (2007)
H. Zhang, Y. Dauphin, и T. Ma. (2019)cite arxiv:1901.09321Comment: Accepted for publication at ICLR 2019; see https://openreview.net/forum?id=H1gsz30cKX.
A. Kalyanpur, B. Parsia, M. Horridge, и E. Sirin. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, том 4825 из LNCS, стр. 267--280. Berlin, Heidelberg, Springer Verlag, (ноября 2007)
D. Calvanese, G. Giacomo, и M. Lenzerini. Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 41--60. Springer Berlin / Heidelberg, (2002)
F. Baader, B. Ganter, B.Sertkaya, и U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), стр. 230--235. (2007)
S. Arora, A. May, J. Zhang, и C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, стр. 2650--2663. Online, Association for Computational Linguistics, (июля 2020)
F. Baader. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), том 2746 из Lecture Notes in Computer Science, стр. 117-130. Springer, (2003)
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, стр. 168--178. Santa Cruz, USA, (1995)
F. Baader, B. Ganter, B. Sertkaya, и U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, стр. 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
B. Motik. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), том 6208 из Lecture Notes in Computer Science, стр. 10-12. Springer, (2010)
A. Razavian, H. Azizpour, J. Sullivan, и 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.
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 78-90. Springer, (2005)
C. Ma, V. Smith, M. Jaggi, M. Jordan, P. Richtárik, и 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.
D. Kingma, и J. Ba. (2014)cite arxiv:1412.6980Comment: Published as a conference paper at the 3rd International Conference for Learning Representations, San Diego, 2015.
B. Baker, O. Gupta, R. Raskar, и N. Naik. (2017)cite arxiv:1705.10823Comment: Submitted to International Conference on Learning Representations, (2018).