Researchers have developed new methods for fitting Horn Description Logic (DL) ontologies to ABox and query examples. The study focuses on EL and ELI DLs, extending previous work on ALC and ALCI, and considers atomic queries, conjunctive queries, and their unions. The findings include characterizations based on simulations, decision procedures, and complexity analyses, with fitting problems for AQs being PTime for both EL and ELI, and more complex for rooted CQs and UCQs. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Advances theoretical understanding of knowledge representation and reasoning in DLs, potentially impacting AI systems that rely on structured knowledge.
RANK_REASON Academic paper detailing new methods and complexity analysis for description logic ontologies.