Dataorienterade system och tillämpningar står i centrum för den aktuella utvecklingen av World Wide Web. I dessa scenarier är det ett viktigt problem att bedöma vilken politik som förs från licenser för datakällor till utdata för ett givet dataintensivt system. Både policyer och dataflöden kan beskrivas med semantiska webbspråk. Även om det är möjligt att definiera policyförökningsregler genom att koppla policyer till dataflödessteg, resulterar denna verksamhet i ett stort antal regler som ska lagras och hanteras. I en ny artikel införde vi strategier för att minska storleken på en PPR-kunskapsbas genom att använda en ontologi av möjliga relationer mellan dataobjekt, Datanode ontology, och tillämpa (A)AAAA metodologi, ett kunskapstekniskt tillvägagångssätt som utnyttjar Formal Concept Analysis (FCA). I den här artikeln undersöker vi om detta resonemang är genomförbart och hur det kan utföras. För detta ändamål studerar vi effekten av att komprimera en regelbas i samband med en slutledningsmekanism på resultatet av resonemangsprocessen. Dessutom rapporterar vi om en utvidgning av (A)AAAA-metoden som innehåller en algoritm för konsekvenskontroll, vilket gör detta resonemang möjligt. Vi visar hur denna kompression, förutom att vara till nytta för förvaltningen av kunskapsbasen, också har en positiv inverkan på prestanda och resursbehov i resonemangsprocessen för politikutbredning.
Det är därför möjligt att dra slutsatsen att en viss policy för källan måste tillämpas på målet Ref.
Reasoning with data flows and policy propagation rules
{'venue': 'Semantic Web', 'journal': 'Semantic Web', 'mag_field_of_study': ['Philosophy', 'Computer Science']}