From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems
33038Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Axiomatic Knowledge
OtherEntity |
resultsIn |
Harvested Axioms
OtherEntity |
|
Math Textbooks
Material |
extracts |
Contextual Features
Material |
|
Math Textbooks
Material |
extracts |
Typographical Features
OtherEntity |
|
Math Textbooks
Material |
provides |
Axiomatic Knowledge
OtherEntity |
|
Rules
OtherEntity |
improves |
Geometry Problems
Material |