Detection of semantic conflicts in ontology and rule-based information systems

Reinhartz-Berger, 2010, Towards automatization of domain modeling, Data & Knowledge Engineering, 69, 491, 10.1016/j.datak.2010.01.002 Booch, 2005 OMG, MOF 2.0/XMI mapping, version 2.1.1, Tech. rep., OMG Object Management Group (2007) Kovse, 2002, Generic xmi-based uml model transformations, Object-Oriented Information Systems, 2425, 183 Beckett, 2004 Fraternali, 2000, Web modeling language (webml): a modeling language for designing web sites, Computer Networks, 33, 137, 10.1016/S1389-1286(00)00040-2 Kroll, 2003 Richters, 2000, Validating UML Models and OCL Constraints, 265 Spivey, 2008 Jelliffe, 2006 Dean, 2004 Horrocks, 2004 Tort, 2010, An approach to testing conceptual schemas, Data & Knowledge Engineering, 69, 598, 10.1016/j.datak.2010.02.002 Damianou, 2001, The Ponder Policy Specification Language, 18 Uszok, 2004, Kaos policy management for semantic web services, IEEE Intelligent Systems, 19, 32, 10.1109/MIS.2004.31 Kagal, 2003, A Policy Language for a Pervasive Computing Environment, 63 Lupu, 1999, Conflicts in policy-based distributed systems management, IEEE Transactions on Software Engineering, 25, 852, 10.1109/32.824414 Kannoa, 2006, A method for conflict detection based on team intention inference, Interacting with Computers, 18, 747, 10.1016/j.intcom.2005.11.012 Kamoda, 2005, Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments Mofferr, 1994, Policy conflict analysis in distributed system management, Journal of Organizational Computing, 4, 1, 10.1080/10919399409540214 Sloman, 1999, Policy Specification for Programmable Networks Hall-May, 2006, Towards Conflict Detection and Resolution of Safety Policies Dursun, 2005, A Generic Policy-Conflict Handling Model, 193, 10.1007/11569596_22 Dursan, 2004, Police Distributed Conflict Detection Architecture Chadha, 2008, Policy-Driven Mobile Ad hoc Network Management Davy, 2008, The policy continuum-policy authoring and confict analysis, Computer Communications, 31, 2981, 10.1016/j.comcom.2008.04.018 Govier, 1992 Demsky, 2003, Automatic Detection and Repair of Errors in Data Structures, 78 Giorgini, 2006, Detecting Conflicts of Interest Chomicki, 2003, A logic programming approach to conflict resolution in policy management, IEEE Transactions on Knowledge and Data Engineering, 15, 244, 10.1109/TKDE.2003.1161596 H. M. Company, The american heritage® dictionary of the english language, fourth edition, http://www.answers.com/topic/conflict (2007). Jajodia, 1997, A Logical Language for Expressing Authorizations, 31 Brewer, 1989, The Chinese Wall Security Policy, 206 Kamoda, 2005, Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments Syukur, 2005, Methods for Policy Conflict Detection and Resolution in Pervasive Computing Environments Simperl, 2009, Reusing ontologies on the semantic web: A feasibility study, Data & Knowledge Engineering, 68, 905, 10.1016/j.datak.2009.02.002 Corporation, 1999 Medina, 2002, A standard for representing multidimensional properties: the common warehouse metamodel (CWM), Advances in Databases and Information Systems, 2435, 131 Vetterli, 2000, Metadata standards for data warehousing: open information model vs. common warehouse metadata, ACM SIGMOD Record, 29, 68, 10.1145/362084.362138 Strassner, 2004, TMF white paper on NGOSS and MDA Bumpus, 2000 Hobbs, 2004 Debusmann, 2003, SLA-driven Management of Distributed Systems Using the Common Information Model Mao, 2006, Web Resource Monitoring Based on Common Information Model Majewska, 2007, Translation of Common Information Model to Web Ontology Language, 414 Quirolgico, 2004, Toward a formal common information model ontology, LNCS Web, Information Systems, 3307, 11 Garcia, 2008, Towards semantic web-based management of security services, Springer Annals of Telecommunications, 63, 183, 10.1007/s12243-008-0020-y Baader, 2003 Berners-Lee, 2001, The semantic web, Scientific American May, 1 Motik, 2008 Schmolze, 1999, Detecting redundancy among production rules using term rewrite semantics, Knowledge-Based Systems, 12, 3, 10.1016/S0950-7051(99)00003-9 Racine, 2001, Redundancy detection in semistructured case bases, IEEE Transactions on Knowledge and Data Engineering, 13, 513, 10.1109/69.929905 Chavarría-Báez, 2006, Static verification of active rule-base system Ribeiro, 2001, SPL: An Access Control Language for Security Policies with Complex Constraints, 89 Bandara, 2003, Using Event Calculus to Formalize Policy Specification and Analysis Horrocks, 2006, The Even More Irressistive Sroiq Sirin, 2007, Pellet: a practical OWL-DL reasoner, Journal of Web Semantics, 5, 10, 10.1016/j.websem.2007.03.004 Carroll, 2004, Jena: Implementing the Semantic Web Recommendations, 74 Bozsak, 2002, KAON — Towards a Large Scale Semantic Web, 304 Tsarkov, 2006, Automated Reasoning, Vol. 4130 of Springer Lecture Notes in Computer Science, 292