Task-Based dependency management for the preservation of digital objects using rules

Authors:
Yannis Tzitzikas;Yannis Marketakis;Grigoris Antoniou
Affiliations:
Computer Science Department, University of Crete, Institute of Computer Science, Forth-ICS, Greece;Computer Science Department, University of Crete, Institute of Computer Science, Forth-ICS, Greece;Computer Science Department, University of Crete, Institute of Computer Science, Forth-ICS, Greece
Venue:
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Year:
2010

Citing 7
Cited 0

The complexity of logic-based abduction

Journal of the ACM (JACM)
Modelling Component Dependencies to Inform Their Selection

ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Dependency Management in Software Component Deployment

Electronic Notes in Theoretical Computer Science (ENTCS)
PreScan: towards automating the preservation of digital objects

Proceedings of the International Conference on Management of Emergent Digital EcoSystems
HYPROLOG: a new logic programming language with assumptions and abduction

ICLP'05 Proceedings of the 21st international conference on Logic Programming
Mind the (intelligibility) gap

ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Dependency management for the preservation of digital information

DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The preservation of digital objects is a topic of prominent importance for archives and digital libraries This paper focuses on the problem of preserving the performability of tasks on digital objects It formalizes the problem in terms of Horn Rules and details the required inference services The proposed framework and methodology is more expressive and flexible than previous attempts as it allows expressing the various properties of dependencies (e.g transitivity, symmetry) straightforwardly Finally, the paper describes how the proposed approach can be implemented using various technologies.