Abstrakt. Den slutna-World Antagande (CWA) på en databas uttrycker att en atom inte i databasen är falsk. CWA är endast tillämpligt på områden där databasen har fullständig kunskap. I många fall, till exempel i samband med distribuerade databaser, har en datakälla endast fullständig kunskap om en del av diskursområdet. I detta dokument introducerar vi en uttrycksfull och intuitivt tilltalande metod för att representera en lokal sluten värld antagande (LCWA) av autonoma data-källor. Detta tillvägagångssätt skiljer mellan de data som överförs av en datakälla och metakunskapen om det område där dessa data är fullständiga. Uppgifterna lagras i en relationsdatabas som kan ställas på standard sätt, medan metakunskapen om dess fullständighet uttrycks av en första orderteori som kan behandlas av ett oberoende resonemangssystem (t.ex. en medlare). Vi överväger olika sätt att representera vår strategi, relaterar den till andra metoder för att representera lokala slutna ord antaganden om datakällor, och visar några användbara egenskaper hos vårt ramverk som underlättar dess tillämpning i verkliga system.
Ett sätt att närma sig OW-partialiteten är att använda den lokala slutna världens antagande REF för att formellt uttrycka de platser där en databas är komplett.