Search Results for author:
Found 6 papers, 1 papers with code
Semiring Provenance for Lightweight Description Logics
We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees).
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
Finally, we clarify the relationship between optimal repairs of prioritized databases and repair notions introduced in the framework of active integrity constraints.
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts.
Geometric Models for (Temporally) Attributed Description Logics
It has been shown that convex geometric regions capture the so-called quasi-chained rules.
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
The second contribution of our work is to clarify the relationship between optimal repairs and different notions of extensions for (set-based) argumentation frameworks.
Provenance for the Description Logic ELHr
We address the problem of handling provenance information in ELHr ontologies.
