Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents.
Floriana EspositoStefano FerilliNicola Di MauroTeresa Maria Altomare BasilePublished in: ICDAR (2007)
Keyphrases
- incremental learning
- web documents
- first order logic
- expressive power
- theorem proving
- keywords
- semi structured
- information extraction
- knowledge representation
- representation language
- probabilistic reasoning
- transitive closure
- incremental learning algorithm
- theorem prover
- document classification
- web pages
- semi supervised
- relational algebra
- markov logic networks
- inductive logic programming
- logical formulas
- supervised learning
- learning process
- metadata
- data points
- text data
- search engine
- databases