description logic
PulseAugur coverage of description logic — every cluster mentioning description logic across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
New method enhances defeasible reasoning in DL-Lite logics
Researchers have developed a new approach for handling defeasible knowledge in Description Logics (DLs) using Rational Closure (RC). This method is applied to the DL-Lite family of lightweight description logics, focusi…
-
New method infers property graph schemas after transformations
Researchers have developed a new method for inferring schema constraints in property graphs after transformations. This approach uses a reasoning procedure that takes an input schema and a transforming query to infer an…
-
AI research formalizes contrastive explanations for description logic knowledge bases
Researchers have introduced a new approach to AI explanations called contrastive explanations, which aims to clarify why a specific fact is true by contrasting it with a plausible alternative. This method addresses the …