Large-Scale Optimization Methods for Logical Reasoning: A Novel Perspective
GERAD Research Center via YouTube
The Most Addictive Python and SQL Courses
2,000+ Free Courses with Certificates: Coding, AI, SQL, and More
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a groundbreaking optimization-based framework for enhancing reasoning in Description Logics (DL) during this 53-minute seminar from GERAD Research Center. Delve into the innovative approach of mapping DL axioms to inequalities, enabling the use of advanced mixed-integer programming techniques. Discover how the integration of column generation and branch-and-price algorithms addresses the complexity of large ontological datasets, offering a scalable solution for semantic data processing. Learn about the framework's impressive performance when applied to the Canadian Parliament ontology, outperforming traditional reasoning methods. Gain insights into this significant advancement for the Semantic Web community, which merges ontology reasoning with sophisticated optimization methods to tackle the challenges of processing semantic data at scale.
Syllabus
Large-scale optimization methods for logical reasoning: A novel perspective, Maryam Daryalal
Taught by
GERAD Research Center