Towards the automated verification of semi-structured documents.
Franz WeitlMirjana JaksicBurkhard FreitagPublished in: Data Knowl. Eng. (2009)
Keyphrases
- semi structured documents
- automated verification
- model checking
- automated reasoning
- free text
- semi structured
- formal verification
- xml documents
- xml schema
- temporal logic
- graph theory
- information extraction
- structured data
- data mining
- social network analysis
- domain specific
- co occurrence
- general purpose
- data model
- machine learning