Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Common information model: implementing the object model for enterprise management
Common information model: implementing the object model for enterprise management
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Redundancy Detection in Semistructured Case Bases
IEEE Transactions on Knowledge and Data Engineering
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Policy Specification for Programmable Networks
IWAN '99 Proceedings of the First International Working Conference on Active Networks
Generic XMI-Based UML Model Transformations
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Standard for Representing Multidimensional Properties: The Common Warehouse Metamodel (CWM)
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
KAON - Towards a Large Scale Semantic Web
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
The Ponder Policy Specification Language
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Using Event Calculus to Formalise Policy Specification and Analysis
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
A Policy Language for a Pervasive Computing Environment
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
A Logical Language for Expressing Authorizations
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Jena: implementing the semantic web recommendations
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
KAoS Policy Management for Semantic Web Services
IEEE Intelligent Systems
A method for conflict detection based on team intention inference
Interacting with Computers
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
The policy continuum-Policy authoring and conflict analysis
Computer Communications
Translation of Common Information Model to Web Ontology Language
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Policy-Driven Mobile Ad hoc Network Management
Policy-Driven Mobile Ad hoc Network Management
Reusing ontologies on the Semantic Web: A feasibility study
Data & Knowledge Engineering
Towards automatization of domain modeling
Data & Knowledge Engineering
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
An approach to testing conceptual schemas
Data & Knowledge Engineering
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Payment frameworks for the purchase of electronic products and services
Computer Standards & Interfaces
Semantic-aware multi-tenancy authorization system for cloud architectures
Future Generation Computer Systems
Hi-index | 0.00 |
Nowadays, managers of information systems use ontologies and rules as a powerful tool to express the desired behaviour for the system. However, the use of rules may lead to conflicting situations where the antecedent of two or more rules is fulfilled, but their consequent is indicating contradictory facts or actions. These conflicts can be categorised in two different groups, modality and semantic conflicts, depending on whether the inconsistency is owing to the rule language expressiveness or due to the nature of the actions. While there exist certain proposals to detect and solve modality conflicts, the problem becomes more complex with semantic ones. Additionally, current techniques to detect semantic conflicts are usually not considering the use of standard information models. This paper provides a taxonomy of semantic conflicts, analyses the main features of each of them and provides an OWL/SWRL modelling for certain realistic scenarios related with information systems. It also describes different conflict detection techniques that can be applied to semantic conflicts and their pros and cons. Finally, this paper provides a comparison of these techniques based on performance measurements taken in a realistic scenario and suggests a better approach. This approach is then used in other scenarios related with information systems and where different types of semantic conflicts may appear.