Skip to Main Content
Secure Data Provenance and Inference Control with Semantic Web
book

Secure Data Provenance and Inference Control with Semantic Web

by Bhavani Thuraisingham, Tyrone Cadenhead, Murat Kantarcioglu, Vaibhav Khadilkar
August 2014
Intermediate to advanced content levelIntermediate to advanced
478 pages
13h 49m
English
Auerbach Publications
Content preview from Secure Data Provenance and Inference Control with Semantic Web
34Secure Data Provenance and Inference Control
the domain. DL is characterized by a set of constructors that allow one to build
complex concepts and roles from atomic ones.
L . A DL language
ACQ
L consists of a countable set of individuals Ind, a
countable set of atomic concepts CS, a countable set of roles RS, and the concepts
built on CS and RS as follows:
C,D: = A|−A|CD|CD|R.C|R.C|(≤nR.C)|(≥nR.C)
where ACS, RRS, C, and D are concepts and n is a natural number. Also, indi-
viduals are denoted by a,b,c, . . . (e.g., lowercase letters of the alphabet).
is language includes only concepts in negation normal form. e complement
of a concept −(C) is inductively defined, as usual, by using the law of double nega-
tion, de Morgan laws, a ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Protecting Data Privacy Beyond the Trusted System of Record

Protecting Data Privacy Beyond the Trusted System of Record

Bill White, Mark Moore, Phillip Wilson, Eva Yan
The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value

The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value

Michelle Finneran Dennedy, Jonathan Fox, Thomas R. Finneran

Publisher Resources

ISBN: 9781466569430