A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/2637477
@@ Property / full work available at URL: https://doi.org/10.1145/2637477 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2004892811
@@ Property / OpenAlex ID: W2004892811 / rank @@
+Normal rank
@@ Property / cites work @@
+Description Logics
@@ Property / cites work: Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Encryption and Fragmentation for Data Confidentiality in the Cloud
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Flexible support for multiple access control policies
+Normal rank
@@ Property / cites work @@
+Why Horn formulas matter in computer science: initial structures and generic examples
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Theory of Secrecy Systems*
@@ Property / cites work: Communication Theory of Secrecy Systems* / rank @@
+Normal rank
@@ Property / cites work @@
+Answering queries without revealing secrets
@@ Property / cites work: Answering queries without revealing secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook on Ontologies
@@ Property / cites work: Handbook on Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+DESCRIPTION LOGICS OVER LATTICES
@@ Property / cites work: DESCRIPTION LOGICS OVER LATTICES / rank @@
+Normal rank