Title
Horn axiomatizations for sequential data
Abstract
We propose a notion of deterministic association rules for ordered data. We prove that our proposed rules can be formally justified by a purely logical characterization, namely, a natural notion of empirical Horn approximation for ordered data which involves background Horn conditions; these ensure the consistency of the propositional theory obtained with the ordered context. The whole framework resorts to concept lattice models from Formal Concept Analysis, but adapted to ordered contexts. We also discuss a general method to mine these rules that can be easily incorporated into any algorithm for mining closed sequences, of which there are already some in the literature.
Year
DOI
Venue
2007
10.1016/j.tcs.2006.11.009
Theor. Comput. Sci.
Keywords
DocType
Volume
concept lattice model,propositional theory,logical characterization,Propositional Horn theories,deterministic association rule,proposed rule,Closure operators,empirical Horn approximation,sequential data,Sequential patterns,Association rules,Formal Concept Analysis,horn axiomatizations,background Horn condition,general method,natural notion
Journal
371
Issue
ISSN
Citations 
3
Theoretical Computer Science
10
PageRank 
References 
Authors
0.62
39
2
Name
Order
Citations
PageRank
José L. Balcázar170162.06
Gemma C. Garriga214410.25