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
S. Konstantopoulos, и G. Apostolikas. Proceedings of International IFIP Workshop of Semantic Web and Web Semantics (IFIP-SWWS 07), Algarve, 29--30 Nov. 2007, (2007)
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.
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)
M. Huchard, A. Napoli, M. Hacene, и P. Valtchev. Selected Contributions in Data Analysis and Classification, Studies in Classification, Data Analysis, and Knowledge Organization, (октября 2007)
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 78-90. Springer, (2005)
V. Haarslev, и R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, том 2083 из Lecture Notes in Computer Science, стр. 701. Siena, Italy, Springer-Verlag, (июня 2001)
S. Grimm, B. Motik, и C. Preist. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), том 4011 из LNCS, стр. 575--589. Budva, Montenegro, Springer, (июня 2006)
D. Frankel, P. Hayes, E. Kendall, и D. McGuinness. 1st International Workshop on the Model-Driven Semantic Web (MDSW2004), Monterey, California, USA, (сентября 2004)
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)
N. Fanizzi, и C. d'Amato. Foundations of Intelligent Systems, 16th International Symposium,, том 4203 из Lecture Notes in Computer Science, стр. 322-331. Springer, Berlin--Heidelberg, Germany, (2006)
S. Dasiopoulou, I. Kompatsiaris, и M. Strintzis. Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, стр. 31-46. (2008)
C. d'Amato, N. Fanizzi, и F. Esposito. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, стр. 1695--1699. ACM, New York, NY, USA, (2006)
W. Cohen, и H. Hirsh. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany, стр. 121--133. Morgan-Kauffman Publishers, San Francisco, CA, USA, (1994)
D. Calvanese, G. Giacomo, и M. Lenzerini. Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 41--60. Springer Berlin / Heidelberg, (2002)
A. Borgida, T. Walsh, и H. Hirsh. Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, том 147 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)
B. Baker, O. Gupta, R. Raskar, и N. Naik. (2017)cite arxiv:1705.10823Comment: Submitted to International Conference on Learning Representations, (2018).
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)