Handbook of theoretical computer science (vol. B)
Production matching for large learning systems
Production matching for large learning systems
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Wrapping-oriented classification of web pages
Proceedings of the 2002 ACM symposium on Applied computing
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
DocBook: The Definitive Guide with CD-ROM
DocBook: The Definitive Guide with CD-ROM
Visual Web Information Extraction with Lixto
Proceedings of the 27th International Conference on Very Large Data Bases
Model Checking the World Wide Web
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
The description logic handbook
Lightweight structured text processing
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Harvesting Wiki Consensus: Using Wikipedia Entries as Vocabulary for Knowledge Management
IEEE Internet Computing
Automatically refining the wikipedia infobox ontology
Proceedings of the 17th international conference on World Wide Web
Formal Verification of Websites
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Logic-based verification of technical documentation
Proceedings of the 9th ACM symposium on Document engineering
Decoding wikipedia categories for knowledge acquisition
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Implementation of production rules for a RIF dialect: a MISMO proof-of-concept for loan rates
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Rich ontology extraction and wikipedia expansion using language resources
WAIM'10 Proceedings of the 11th international conference on Web-age information management
Structured Counterexamples for the Temporal Description Logic ALCCTL
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Design verification of web applications using symbolic model checking
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Hi-index | 0.00 |
A new framework for document verification is presented which covers the entire process from document analysis through information extraction, document modeling, representation of background knowledge about the domain of discourse, user level and formal representation of consistency criteria, verification by model checking, counterexample generation, and error reporting. Emphasis is placed on employing background knowledge to reduce the complexity and to increase the quality of results in each step. A rule-based approach to information extraction supports the concise definition of extraction rules for document formats based on XML or HTML. The expressiveness of the existing extraction methods is exceeded by supporting rule specialization, integration of external tools, and access to background knowledge represented in ontologies. As a formal basis for representing consistency criteria, the new temporal description logic ALCCTL is proposed. In contrast to the existing formalisms, criteria related to the coherence of content along individual paths of reading can be represented and verified efficiently. The adequacy, performance, and effectiveness of the proposed framework is demonstrated on a case study in technical documentation.