SeqLog

A logical language, SeqLog, for mining and querying sequential data and databases is presented. In SeqLog, data takes the form of a sequence of logical atoms, background knowledge can be specified using Datalog style clauses and sequential queries or patterns correspond to subsequences of logical atoms. SeqLog is then used as the representation language for the inductive database mining system MineSeqLog. Inductive queries in MineSeqLog take the form of a conjunction of a monotonic and an anti-monotonic constraint on sequential patterns. Given such an inductive query, MineSeqLog computes the borders of the solution space. MineSeqLog uses variants of the famous level-wise algorithm together with ideas from version spaces to realize this. Finally, we report on a number of experiments in the domains of user-modelling that validate the approach.


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Desrosiers, Christian; Galinier, Philippe; Hertz, Alain; Hansen, Pierre: Improving constrained pattern mining with first-fail-based heuristics (2011)
  2. de Amo, Sandra; Silva, Nyara A.; Silva, Ronaldo P.; Pereira, Fabiola S.: Tree pattern mining with tree automata constraints (2010)
  3. Muggleton, Stephen; Santos, José; Tamaddoni-Nezhad, Alireza: ProGolem: a system based on relative minimal generalisation (2010)
  4. Tamaddoni-Nezhad, Alireza; Muggleton, Stephen: The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (2009)
  5. Esposito, Floriana; di Mauro, Nicola; Basile, Teresa M.A.; Ferilli, Stefano: Multi-dimensional relational sequence mining (2008)
  6. Kersting, Kristian; De Raedt, Luc; Gutmann, Bernd; Karwath, Andreas; Landwehr, Niels: Relational sequence learning (2008)
  7. Tamaddoni-Nezhad, Alireza; Muggleton, Stephen: A note on refinement operators for IE-based ILP systems (2008)
  8. Karwath, Andreas; Kersting, Kristian: Relational sequence alignments and logos (2007)
  9. Kersting, Kristian: An inductive logic programming approach to statistical relational learning. (2006)
  10. Kuwabara, Megumi; Ogawa, Takeshi; Hirata, Kouichi; Harao, Masateru: On generalization and subsumption for ordered clauses (2006)
  11. Ferré, Sébastien; King, Ross D.: A dichotomic search algorithm for mining and learning in domain-specific logics (2005)
  12. Boulicaut, Jean-François: Inductive databases and multiple uses of frequent itemsets: The cInQ approach (2004)
  13. Lee, Sau; De Raedt, Luc: Constraint based mining of first order sequences in SeqLog (2004)