{"type":"ScholarlyArticle","title":"NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs","authors":[{"name":"Victor David","slug":"victor-david","given":"Victor","family":"David","affiliation":"Department of Mathematics and Computer Science University of Perugia"},{"name":"Raphael Fournier-S'niehotta","slug":"raphael-fournier-s-niehotta","given":"Raphael","family":"Fournier-S'niehotta","affiliation":"Conservatoire National des Arts et Métiers"},{"name":"Nicolas Travers","slug":"nicolas-travers","given":"Nicolas","family":"Travers","affiliation":"Léonard de Vinci Pôle Universitaire , Research Center; Conservatoire National des Arts et Métiers"}],"abstract":"Markov Logic Networks (MLN) are used for reasoning on uncertain and inconsistent temporal data. We proposed the TMLN (Temporal Markov Logic Network) which extends them with sorts/types, weights on rules and facts, and various temporal consistencies. The NeoMaPy framework integrates it as a knowledge graph based on conflict graphs which offers flexibility for reasoning with parametric Maximum A Posteriori (MAP) inferences, efficiency with an optimistic heuristic and interactive graph visualization for results explanation.","doi":"10.24963/ijcai.2023/831","url":"https://ijcai.org/proceedings/2023/831","pdf":"https://ijcai.org/proceedings/2023/0831.pdf","markdown":"https://ijcai.org/proceedings/2023/831.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/831","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Demo Track","track":"Demo Track","number":831,"pages":{"first":7123,"last":7126},"keywords":["Multidisciplinary Topics and Applications: MDA: Databases","Planning and Scheduling: PS: Markov decisions processes","Knowledge Representation and Reasoning: KRR: Applications","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief"],"videos":[],"references":[{"position":1,"raw":"[Bertossi, 2011] L. Bertossi. Database Repairs and Consis- tent Query Answering. Synthesis Lectures on Data Man- agement. Morgan & Claypool Publishers, 2011.","title":"Database Repairs and Consistent Query Answering","authors":"L Bertossi","year":"2011","venue":"Synthesis Lectures on Data Management","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Chekol et al., 2016] Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke, and Heiner Stuckenschmidt. Markov logic networks with numerical constraints. In Pro- ceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI'16, page 1017-1025, NLD, 2016. IOS Press.","title":"Markov logic networks with numerical constraints","authors":"Chekol","year":"2016","venue":"Proceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI'16","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Chekol et al., 2017a] Melisachew Chekol, Giuseppe Pirrò, Joerg Schoenfisch, and Heiner Stuckenschmidt. Marrying uncertainty and time in knowledge graphs. In Proceed- ings of the AAAI Conference on Artificial Intelligence, vol- ume 31, 2017.","title":"Marrying uncertainty and time in knowledge graphs","authors":"Chekol","year":"2017","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chekol et al., 2017b] Melisachew Wudage Chekol, Giuseppe Pirro, Joerg Schoenfisch, and Heiner Stuck- enschmidt. Tecore: temporal conflict resolution in knowledge graphs. Proceedings of the VLDB Endowment, 10:Iss-12, 2017.","title":"Melisachew Wudage Chekol, Giuseppe Pirro, Joerg Schoenfisch, and Heiner Stuckenschmidt. Tecore: temporal conflict resolution in knowledge graphs","authors":"Chekol","year":"2017","venue":"Proceedings of the VLDB Endowment","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[David et al., 2022] Victor David, Raphaël Fournier- S'niehotta, and Nicolas Travers. Parameterisation of reasoning on temporal markov logic networks, 2022. arXiv: https://arxiv.org/abs/2211.16414.","title":"Parameterisation of reasoning on temporal markov logic networks","authors":"Victor David, Raphaël Fournier-S'niehotta, Nicolas Travers","year":"2022","venue":null,"doi":null,"url":"https://arxiv.org/abs/2211.16414","internal_url":null},{"position":6,"raw":"[Domingos and Lowd, 2019] Pedro Domingos and Daniel Lowd. Unifying logical and statistical ai with markov logic. Communications of the ACM, 62(7):74-83, 2019.","title":"Pedro Domingos and Daniel Lowd. Unifying logical and statistical ai with markov logic","authors":"Lowd Domingos","year":"2019","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dutot et al., 2007] Antoine Dutot, Frédéric Guinand, Damien Olivier, and Yoann Pigné. GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs. In Emergent Properties in Natural and Artificial Complex Systems. Satellite Conference within the 4th European Conference on Complex Systems (ECCS'2007), Dresden, Germany, October 2007.","title":"GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs","authors":"Antoine Dutot, Frédéric Guinand, Damien Olivier, Yoann Pigné","year":"2007","venue":"Emergent Properties in Natural and Artificial Complex Systems. Satellite Conference within the 4th European Conference on Complex Systems (ECCS'2007)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Hipel et al., 2020] Keith W. Hipel, Liping Fang, and D. Marc Kilgour. The graph model for conflict resolu- tion: Reflections on three decades of development. Group Decision and Negotiation, 29(1):11-60, 2020.","title":"The graph model for conflict resolution: Reflections on three decades of development","authors":"Keith W Hipel, Liping Fang, D Marc Kilgour","year":"2020","venue":"Group Decision and Negotiation","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Niu et al., 2011] Feng Niu, Christopher Ré, AnHai Doan, and Jude Shavlik. Tuffy: Scaling up statistical inference in markov logic networks using an rdbms. arXiv preprint arXiv:1104.3216, 2011.","title":"Tuffy: Scaling up statistical inference in markov logic networks using an rdbms","authors":"Niu","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Noessner et al., 2013] Jan Noessner, Mathias Niepert, and Heiner Stuckenschmidt. Rockit: Exploiting parallelism and symmetry for map inference in statistical relational models. In Proceedings of the AAAI Conference on Ar- tificial Intelligence, volume 27, pages 739-745, 2013.","title":"Rockit: Exploiting parallelism and symmetry for map inference in statistical relational models","authors":"Noessner","year":"2013","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Richardson and Domingos, 2006] Matthew Richardson and Pedro Domingos. Markov Logic Networks. Machine Learning, 62(1):107-136, Feb 2006.","title":"Matthew Richardson and Pedro Domingos. Markov Logic Networks","authors":"Domingos Richardson","year":"2006","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Riedel, 2012] Sebastian Riedel. Improving the accuracy and efficiency of map inference for markov logic. arXiv preprint arXiv:1206.3282, 2012.","title":"Improving the accuracy and efficiency of map inference for markov logic","authors":"Sebastian Riedel, Riedel","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Rincé et al., 2018] Romain Rincé, Romain Kervarc, and Philippe Leray. Complex event processing under uncer- tainty using markov chains, constraints, and sampling. In Christoph Benzmüller, Francesco Ricca, Xavier Parent, and Dumitru Roman, editors, Rules and Reasoning, pages 147-163, Cham, 2018. Springer.","title":"Complex event processing under uncertainty using markov chains, constraints, and sampling","authors":"Romain Rincé, Romain Kervarc, Philippe Leray","year":"2018","venue":"Rules and Reasoning","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Sarkhel et al., 2014] Somdeb Sarkhel, Deepak Venugopal, Parag Singla, and Vibhav Gogate. Lifted map inference for markov logic networks. In Artificial Intelligence and Statistics, pages 859-867. PMLR, 2014.","title":"Lifted map inference for markov logic networks","authors":"Sarkhel","year":"2014","venue":"Artificial Intelligence and Statistics","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Snidaro et al., 2015] Lauro Snidaro, Ingrid Visentini, and Karna Bryan. Fusing uncertain knowledge and evidence for maritime situational awareness via markov logic net- works. Information Fusion, 21:159-172, 2015.","title":"Fusing uncertain knowledge and evidence for maritime situational awareness via markov logic networks","authors":"Lauro Snidaro, Ingrid Visentini, Karna Bryan","year":"2015","venue":"Information Fusion","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}