Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Reasoning in description logics
Principles of knowledge representation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Common Warehouse Metamodel Developer's Guide
Common Warehouse Metamodel Developer's Guide
Automating Support for Software Evolution in UML
Automated Software Engineering
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Foolish Consistency: Technical Challenges in Consistency Management
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Information intelligence: metadata for information discovery, access, and integration
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
DCMI '03 Proceedings of the 2003 international conference on Dublin Core and metadata applications: supporting communities of discourse and practice---metadata research & applications
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Building a secure star schema in data warehouses by an extension of the relational package from CWM
Computer Standards & Interfaces
A Semantic Model for Matchmaking of Web Services Based on Description Logics
Fundamenta Informaticae
Description logic based consistency checking upon data mining metadata
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Applying a knowledge based system for metadata integration for data warehouses
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Hi-index | 0.00 |
During the metadata creation based on Common Warehouse Metamodel(CWM), the different experiences and views of describing data of organizations involved in metadata creation bring metadata on some problems inevitably, such as inconsistencies and redundancies. However, reasoning on CWM metadata for automatically detecting these problems is difficult because CWM metamodel and metadata lack precise semantics. In this paper, we formalize and reason on CWM metamodel and metadata in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic. We distinguish consistency into horizontal consistency and evolution consistency. Towards evolution consistency, we extend CWM metamodel with version capabilities so that reasoning about inconsistency caused by evolution can be done. Then reasoning engine LOOM is applied to check consistency for the above two situations, the results are encouraging.