{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:53Z","timestamp":1750221353713,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167229","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"888-895","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Tractable reasoning in probabilistic OWL profiles"],"prefix":"10.1145","author":[{"given":"Melisachew Wudage","family":"Chekol","sequence":"first","affiliation":[{"name":"University of Mannheim"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[{"name":"University of Mannheim"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Dbpedia: A nucleus for a web of open data. In The semantic web","author":"Auer S\u00f6ren","year":"2007","unstructured":"S\u00f6ren Auer , Christian Bizer , Georgi Kobilarov , Jens Lehmann , Richard Cyganiak , and Zachary Ives . 2007 . Dbpedia: A nucleus for a web of open data. In The semantic web . Springer , 722--735. S\u00f6ren Auer, Christian Bizer, Georgi Kobilarov, Jens Lehmann, Richard Cyganiak, and Zachary Ives. 2007. Dbpedia: A nucleus for a web of open data. In The semantic web. Springer, 722--735."},{"key":"e_1_3_2_1_2_1","first-page":"364","article-title":"Pushing the EL envelope","volume":"5","author":"Baader Franz","year":"2005","unstructured":"Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005 . Pushing the EL envelope . In IJCAI , Vol. 5. 364 -- 369 . Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the EL envelope. In IJCAI, Vol. 5. 364--369.","journal-title":"IJCAI"},{"key":"e_1_3_2_1_3_1","volume-title":"Hinge-Loss Markov Random Fields and Probabilistic Soft Logic. arXiv:1505.04406 {cs.LG}","author":"Bach Stephen H.","year":"2015","unstructured":"Stephen H. Bach , Matthias Broecheler , Bert Huang , and Lise Getoor . 2015. Hinge-Loss Markov Random Fields and Probabilistic Soft Logic. arXiv:1505.04406 {cs.LG} ( 2015 ). Stephen H. Bach, Matthias Broecheler, Bert Huang, and Lise Getoor. 2015. Hinge-Loss Markov Random Fields and Probabilistic Soft Logic. arXiv:1505.04406 {cs.LG} (2015)."},{"key":"e_1_3_2_1_4_1","volume-title":"Bayesian Description Logics. In DL 2014. CEUR Workshop Proceedings","volume":"1193","author":"Ceylan Ismail Ilkan","year":"2014","unstructured":"Ismail Ilkan Ceylan and Rafael Penaloza . 2014 . Bayesian Description Logics. In DL 2014. CEUR Workshop Proceedings , Vol. 1193 . 447--458. Ismail Ilkan Ceylan and Rafael Penaloza. 2014. Bayesian Description Logics. In DL 2014. CEUR Workshop Proceedings, Vol. 1193. 447--458."},{"key":"e_1_3_2_1_5_1","volume-title":"Markov Logic Networks with Numerical Constraints. In ECAI","author":"Chekol Melisachew Wudage","year":"2016","unstructured":"Melisachew Wudage Chekol , Jakob Huber , Christian Meilicke , and Heiner Stuckenschmidt . 2016 . Markov Logic Networks with Numerical Constraints. In ECAI 2016. 1017--1025. Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke, and Heiner Stuckenschmidt. 2016. Markov Logic Networks with Numerical Constraints. In ECAI 2016. 1017--1025."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0004-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87993-0_13"},{"key":"e_1_3_2_1_8_1","unstructured":"Pedro M Domingos and William Austin Webb. 2012. A Tractable First-Order Probabilistic Logic. In AAAI.   Pedro M Domingos and William Austin Webb. 2012. A Tractable First-Order Probabilistic Logic. In AAAI."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623623"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015","author":"dos Santos La\u00e9cio L.","year":"2015","unstructured":"La\u00e9cio L. dos Santos , Rommel N. Carvalho , Marcelo Ladeira , Weigang Li , and Gilson Lib\u00f3rio Mendes . 2015 . PR-OWL 2 RL - A Language for Scalable Uncertainty Reasoning on the Semantic Web information . In Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015 ), Bethlehem, USA , October 12, 2015. 14--25. La\u00e9cio L. dos Santos, Rommel N. Carvalho, Marcelo Ladeira, Weigang Li, and Gilson Lib\u00f3rio Mendes. 2015. PR-OWL 2 RL - A Language for Scalable Uncertainty Reasoning on the Semantic Web information. In Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, USA, October 12, 2015. 14--25."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9342-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90019-V"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963192.1963296"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35176-1_12"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9296-3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33158-9_4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.10.017"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence","author":"Lukasiewicz Thomas","year":"2012","unstructured":"Thomas Lukasiewicz , Maria Vanina Martinez , Giorgio Orsi , and Gerardo I. Simari . 2012. Heuristic Ranking in Tightly Coupled Probabilistic Description Logics . In Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence , Catalina Island, CA, USA, August 14--18 , 2012 . 554--563. Thomas Lukasiewicz, Maria Vanina Martinez, Giorgio Orsi, and Gerardo I. Simari. 2012. Heuristic Ranking in Tightly Coupled Probabilistic Description Logics. In Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14--18, 2012. 554--563."},{"key":"e_1_3_2_1_20_1","unstructured":"Carsten Lutz and Lutz Schr\u00f6der. 2010. Probabilistic Description Logics for Subjective Uncertainty.. In KR.   Carsten Lutz and Lutz Schr\u00f6der. 2010. Probabilistic Description Logics for Subjective Uncertainty.. In KR."},{"key":"e_1_3_2_1_21_1","volume-title":"Partha Pratim Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, et al.","author":"Mitchell Tom M","year":"2015","unstructured":"Tom M Mitchell , William W Cohen , Estevam R Hruschka Jr , Partha Pratim Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, et al. 2015 . Never Ending Learning.. In AAAI. 2302--2310. Tom M Mitchell, William W Cohen, Estevam R Hruschka Jr, Partha Pratim Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, et al. 2015. Never Ending Learning.. In AAAI. 2302--2310."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283696.2283758"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90031-7"},{"volume-title":"Web Reasoning and Rule Systems","author":"Noessner Jan","key":"e_1_3_2_1_24_1","unstructured":"Jan Noessner and Mathias Niepert . 2011. ELOG: a probabilistic reasoner for OWL EL . In Web Reasoning and Rule Systems . Springer , 281--286. Jan Noessner and Mathias Niepert. 2011. ELOG: a probabilistic reasoner for OWL EL. In Web Reasoning and Rule Systems. Springer, 281--286."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence. AAAI Press, 4310--4316","author":"Riguzzi Fabrizio","year":"2015","unstructured":"Fabrizio Riguzzi , Elena Bellodi , Evelina Lamma , and Riccardo Zese . 2015 . Reasoning with probabilistic ontologies . In Proceedings of the 24th International Joint Conference on Artificial Intelligence. AAAI Press, 4310--4316 . Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. 2015. Reasoning with probabilistic ontologies. In Proceedings of the 24th International Joint Conference on Artificial Intelligence. AAAI Press, 4310--4316."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/2809974.2809991"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:05Z","timestamp":1750213565000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":26,"alternative-id":["10.1145\/3167132.3167229","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167229","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}