Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SQL Fundamentals
A Theory of Objects
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
An Extensible Framework for Repairing Constraint Violations
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Proceedings of the 2003 ACM symposium on Document engineering
A structural adviser for the XML document authoring
Proceedings of the 2003 ACM symposium on Document engineering
Version Control With Subversion
Version Control With Subversion
Towards XML version control of office documents
Proceedings of the 2005 ACM symposium on Document engineering
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Preservation-centric and constraint-based migration of digital documents
Proceedings of the 2006 ACM symposium on Document engineering
Towards automatic document migration: semantic preservation of embedded queries
Proceedings of the 2007 ACM symposium on Document engineering
Semantic Management of Heterogeneous Documents
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
Whenever a group of authors collaboratively edits interrelated documents semantic consistency is a major goal. Current document management systems (DMS) lack adequate consistency management facilities. We propose liberal use of formal consistency rules which permits inconsistencies. In this paper we focus on deriving repairs for inconsistencies. Our major contributions are: (1) deriving (common) repairs for multiple rules (2) resolving conflicts between repairs (3)prioritizing repairs and (4) support for partial inconsistency resolution which resolves the most troubling inconsistencies and leaves less important inconsistencies for a later handling. The novel aspect of our approach is that we derive repairs from DAGs (directed acyclic graphs) and not from documents directly. That way the repository is locked during DAG generation only which is performed incrementally.