What is the declarative logic approach
Download
1 / 4

What is the declarative (logic) approach? - PowerPoint PPT Presentation


  • 93 Views
  • Uploaded on

What is the declarative (logic) approach?. Use of declarative database and knowledge representation formalisms for... adding knowledge packages to AIPs: capture context known at the time of archival using conceptual models of collections, integrity constraints, virtual relations, …

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' What is the declarative (logic) approach?' - crete


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
What is the declarative logic approach
What is the declarative (logic) approach?

  • Use of declarative database and knowledge representation formalisms for...

    • adding knowledge packages to AIPs:

      • capture context known at the time of archival using conceptual models of collections, integrity constraints, virtual relations, …

    • applying them at ingestion (aka: bringing-in), migration, and instantiation/access time

      (= wrapping, transforming, querying collections)


It s wrapping time again
It’s wrapping time again...

  • reassembling document structure (lexical scopes) from the OAV (or rather AOV) model:

attr_interval(Attr, SID, Attr_val, LN, LN1) :-

oav(Attr, (SID, LN), Attr_val),

oav(Attr, (SID, LN1), _),

LN1 > LN,

not attr_between(Attr,SID,LN,LN1).

attr_between(Attr,SID,LN,LN1) :-

oav(Attr, (SID, LN), _),

oav(Attr, (SID, LN1), _),

oav(Attr, (SID, LN2), _),

LN < LN2, LN2 < LN1.


Caught in the accessioning loop
Caught in the accessioning loop...

  • Data provider says: “please archive all records of legislative activities of the 106th senate”

  • Integrity constraint!?

    • {senators} = {sponsors} = {co-sponsors} ?

  • Let’s check the incoming collection:

  • ic1_violation1(X) <== sponsor(X), not senator(X).

  • ….


Make knowledge executable
Make Knowledge Executable

  • specify archival relationships, procedures, functions (cf. Reagan’s classification of relationships), business rules, etc.

  • formalize them in logic!

    => executable specifications

  • logic programming paradigm:

    logic can be executed, i.e., run!


ad