热点
"描述逻辑" 相关文章
Winners of the #ECAI2025 outstanding paper awards announced
ΑΙhub 2025-10-28T08:38:03.000000Z
Fitting Ontologies and Constraints to Relational Structures
cs.AI updates on arXiv.org 2025-08-20T04:16:48.000000Z
Fitting Description Logic Ontologies to ABox and Query Examples
cs.AI updates on arXiv.org 2025-08-12T04:02:14.000000Z
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
cs.AI updates on arXiv.org 2025-08-08T04:17:26.000000Z
Analysing Temporal Reasoning in Description Logics Using Formal Grammars
cs.AI updates on arXiv.org 2025-08-04T04:27:40.000000Z
SAT-Based Bounded Fitting for the Description Logic ALC
cs.AI updates on arXiv.org 2025-07-30T04:11:59.000000Z