Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006388328> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3006388328 abstract "In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity. Such active integrity constraints consist of a classical constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In the first part of this thesis, we review the main repairing routes that have been proposed in the literature and capture them by means of Dynamic Logic programs. The main tool we employ for our investigations is the recently introduced logic DL-PA, which constitutes a variant of PDL. We then go on to explore a new, dynamic kind of database repairing whose computational complexity and general properties are compared to the previous established approaches. In the second part of the thesis we leave the propositional setting and pursue to adapt the aforementioned ideas to higher level languages. More specifically, we venture into Description Logics and investigate extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox. The extension of the TBox axioms with these update actions constitute new, active TBoxes. We tackle the problem of repairing an ABox with respect to such an active TBox both from a syntactic as well as a semantic perspective. Given an initial ABox, the syntactic approach allows us to construct a set of new ABoxes out of which we then identify the most suitable repairs. On the other hand, for the semantic approach we once again resort to a dynamic logic framework and view update actions, active inclusion axioms and repairs as programs. Given an active TBox aT , the framework allows to check (1) whether a set of update actions is able to repair an ABox according to the active axioms of aT by interpreting the update actions locally and (2) whether an ABox A' is the repair of a given ABox A under the active axioms of aT using a bounded number of computations by interpreting the update actions globally. After discussing the strong points of each direction, we conclude by combining the syntactic and semantic investigations into a cohesive approach." @default.
- W3006388328 created "2020-02-24" @default.
- W3006388328 creator A5047103464 @default.
- W3006388328 date "2018-12-10" @default.
- W3006388328 modified "2023-09-24" @default.
- W3006388328 title "Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs" @default.
- W3006388328 hasPublicationYear "2018" @default.
- W3006388328 type Work @default.
- W3006388328 sameAs 3006388328 @default.
- W3006388328 citedByCount "0" @default.
- W3006388328 crossrefType "dissertation" @default.
- W3006388328 hasAuthorship W3006388328A5047103464 @default.
- W3006388328 hasConcept C102993220 @default.
- W3006388328 hasConcept C121332964 @default.
- W3006388328 hasConcept C154945302 @default.
- W3006388328 hasConcept C165801399 @default.
- W3006388328 hasConcept C167729594 @default.
- W3006388328 hasConcept C172385210 @default.
- W3006388328 hasConcept C177264268 @default.
- W3006388328 hasConcept C199360897 @default.
- W3006388328 hasConcept C2524010 @default.
- W3006388328 hasConcept C2776036281 @default.
- W3006388328 hasConcept C2776436953 @default.
- W3006388328 hasConcept C2777796570 @default.
- W3006388328 hasConcept C2780801425 @default.
- W3006388328 hasConcept C33762810 @default.
- W3006388328 hasConcept C33923547 @default.
- W3006388328 hasConcept C41008148 @default.
- W3006388328 hasConcept C62520636 @default.
- W3006388328 hasConcept C77088390 @default.
- W3006388328 hasConcept C80444323 @default.
- W3006388328 hasConceptScore W3006388328C102993220 @default.
- W3006388328 hasConceptScore W3006388328C121332964 @default.
- W3006388328 hasConceptScore W3006388328C154945302 @default.
- W3006388328 hasConceptScore W3006388328C165801399 @default.
- W3006388328 hasConceptScore W3006388328C167729594 @default.
- W3006388328 hasConceptScore W3006388328C172385210 @default.
- W3006388328 hasConceptScore W3006388328C177264268 @default.
- W3006388328 hasConceptScore W3006388328C199360897 @default.
- W3006388328 hasConceptScore W3006388328C2524010 @default.
- W3006388328 hasConceptScore W3006388328C2776036281 @default.
- W3006388328 hasConceptScore W3006388328C2776436953 @default.
- W3006388328 hasConceptScore W3006388328C2777796570 @default.
- W3006388328 hasConceptScore W3006388328C2780801425 @default.
- W3006388328 hasConceptScore W3006388328C33762810 @default.
- W3006388328 hasConceptScore W3006388328C33923547 @default.
- W3006388328 hasConceptScore W3006388328C41008148 @default.
- W3006388328 hasConceptScore W3006388328C62520636 @default.
- W3006388328 hasConceptScore W3006388328C77088390 @default.
- W3006388328 hasConceptScore W3006388328C80444323 @default.
- W3006388328 hasLocation W30063883281 @default.
- W3006388328 hasOpenAccess W3006388328 @default.
- W3006388328 hasPrimaryLocation W30063883281 @default.
- W3006388328 hasRelatedWork W1493799155 @default.
- W3006388328 hasRelatedWork W1497293019 @default.
- W3006388328 hasRelatedWork W1501850367 @default.
- W3006388328 hasRelatedWork W1510317634 @default.
- W3006388328 hasRelatedWork W1577354412 @default.
- W3006388328 hasRelatedWork W1584491222 @default.
- W3006388328 hasRelatedWork W1585132271 @default.
- W3006388328 hasRelatedWork W1594369397 @default.
- W3006388328 hasRelatedWork W176967799 @default.
- W3006388328 hasRelatedWork W1823509325 @default.
- W3006388328 hasRelatedWork W1866063254 @default.
- W3006388328 hasRelatedWork W1993973926 @default.
- W3006388328 hasRelatedWork W2073627548 @default.
- W3006388328 hasRelatedWork W2124218769 @default.
- W3006388328 hasRelatedWork W2137568696 @default.
- W3006388328 hasRelatedWork W2293595599 @default.
- W3006388328 hasRelatedWork W2404124112 @default.
- W3006388328 hasRelatedWork W2475352593 @default.
- W3006388328 hasRelatedWork W3098246338 @default.
- W3006388328 hasRelatedWork W3214483696 @default.
- W3006388328 isParatext "false" @default.
- W3006388328 isRetracted "false" @default.
- W3006388328 magId "3006388328" @default.
- W3006388328 workType "dissertation" @default.