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.
Original language | English |
---|---|
Title of host publication | Artificial Intelligence |
Subtitle of host publication | Theories, Models and Applications: 6th Hellenic Conference on AI, SETN 2010, Proceedings |
Editors | Stasinos Konstantopoulos, Stavros Perantonis, Vangelis Karkaletsis, Costas D. Spyropoulos, George Vouros |
Publisher | Springer-Verlag Berlin Heidelberg |
Pages | 265-274 |
Number of pages | 10 |
Volume | 6040 LNAI/LNCS |
ISBN (Electronic) | 9783642128424 |
ISBN (Print) | 3642128416, 9783642128417 |
DOIs | |
Publication status | Published - 23 Apr 2010 |
Externally published | Yes |
Event | 6th Hellenic Conference on Artificial Intelligence: Theories, Models and Applications - Athens, Greece Duration: 4 May 2010 → 7 May 2010 Conference number: 6 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer-Verlag Berlin Heidelberg |
Volume | 6040 LNAI/LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th Hellenic Conference on Artificial Intelligence |
---|---|
Abbreviated title | SETN 2010 |
Country/Territory | Greece |
City | Athens |
Period | 4/05/10 → 7/05/10 |