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 Hybrid MKNF Knowledge Base Extends Logic Programming with Classical Negation
Researchers have developed an extension to Hybrid MKNF knowledge bases that incorporates classical negation into the rule component. This advancement addresses a key limitation of existing systems, which previously coul…
-
New DL Ontology Semantics Enhance Confidentiality and Tractability
Researchers have introduced a new semantics for Controlled Query Evaluation (CQE) in Description Logic (DL) ontologies, aiming to improve computational tractability and confidentiality preservation. The existing GA- and…
-
New automata approach achieves EXPTIME for description logics
This research paper introduces an automata-based approach to analyze description logics with concrete domains, aiming to determine the decidability and complexity of consistency problems. The proposed method enriches tr…
-
New method enhances defeasible reasoning in lightweight Description Logics
Researchers have developed a new method for handling defeasible knowledge within Description Logics (DLs), specifically focusing on the DL-Lite family of lightweight logics. This approach, termed Rational Closure (RC), …
-
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 …