58 ◾ Secure Data Provenance and Inference Control
TRIPLE and RuleML. TRIPLE is an RDF query, inference, and transforma-
tion language for the Semantic Web. It is based on Horn logic and borrows many
features from F-Logic (Angele et al. 2009; Kifer and Lausen 1989). TRIPLE is the
successor to F-Logic. RuleML is an effort to define a specification of rules for use in
the World Wide Web (Sintek and Decker 2002). e kernel of RuleML is datalog
logic programs (Grosof et al. 2003). It is a declarative logic programming language
with model-theoretic semantics.
e Inference Web. e Inference Web was introduced by a series of recent
articles (Da Silva et al. 2006; McGuinness and van Harmelen 2004). When the
Semantic Web evolves, it is to be expected th