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

Data and Knowledge Engineering

Volumn 69, Issue 11, 2010, Pages 1117-1137

  Alcaraz Calero, Jose M ^a   Marín Pérez, Juan M ^a   Bernal Bernabé, Jorge ^a   Garcia Clemente, Felix J ^a   Martínez Pérez, Gregorio ^a   Gómez Skarmeta, Antonio F ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Conflict detection; Knowledge representation; Ontologies; Semantic conflicts; Semantic rules

Indexed keywords

CONFLICT DETECTION; CURRENT TECHNIQUES; INFORMATION SYSTEMS USE; ONTOLOGIES AND RULES; PERFORMANCE MEASUREMENTS; PROS AND CONS; REALISTIC SCENARIO; RULE BASED; SEMANTIC CONFLICT; SEMANTIC CONFLICTS; SEMANTIC RULES; STANDARD INFORMATION;

INFORMATION SYSTEMS; INFORMATION USE; KNOWLEDGE REPRESENTATION;

ONTOLOGY;

EID: 77957755743     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2010.07.004     Document Type: Article

References (60)

1. I. Reinhartz-Berger Towards automatization of domain modeling Data & Knowledge Engineering 69 5 2010 491 515
2. G. Booch, J. Rumbaugh, and I. Jacobson Unified Modeling Language User Guide 2005 Addison-Wesley Professional
3. OMG, MOF 2.0/XMI mapping, version 2.1.1, Tech. rep., OMG Object Management Group (2007)
4. J. Kovse, and T. Härder Generic xmi-based uml model transformations Object-Oriented Information Systems 2425 2002 183 190
5. D. Beckett Rdf/xml syntax specification, Tech. rep., W3C 2004
6. S.C.P. Fraternali, and A. Bongio Web modeling language (webml): a modeling language for designing web sites Computer Networks 33 2000 137 157
7. P. Kroll, and P. Kruchten The Rational Unified Process Made Easy: A Practitioner's Guide to the RUP 2003 Addison-Wesley
8. M. Richters, and M. Gogolla Validating UML Models and OCL Constraints LNCS Proc. UML 2000 Conference 1939 2000 265 277
9. J.M. Spivey Understanding Z: A Specification Language and its Formal Semantics 2008 Cambridge University Press
10. R. Jelliffe The schematron assertion language 1.5, Tech. rep., ISO/IEC 19757 2006
11. M. Dean, D. Connoll, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein Web Ontology Language (OWL), Tech. rep., W3C 2004
12. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean SWRL: A Semantic Web Rule Language combining OWL and RuleML, Tech. rep., W3C 2004
13. A. Tort, and A. Olivé An approach to testing conceptual schemas Data & Knowledge Engineering 69 6 2010 598 618
14. N. Damianou, N. Dulay, E. Lupu, and M. Sloman The Ponder Policy Specification Language Proceedings of Workshop on Policies for Distributed Systems and Networks 1995 2001 18 38
15. A. Uszok, J. Bradshaw, M. Johnson, R. Jeffers, A. Tate, J. Dalton, and S. Aitken Kaos policy management for semantic web services IEEE Intelligent Systems 19 4 2004 32 41
16. L. Kagal, T. Finin, and A. Joshi A Policy Language for a Pervasive Computing Environment Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks 2003 63 74
17. E. Lupu, and M. Sloman Conflicts in policy-based distributed systems management IEEE Transactions on Software Engineering 25 6 1999 852 869
18. T. Kannoa, K. Nakatab, and K. Furutab A method for conflict detection based on team intention inference Interacting with Computers 18 4 2006 747 769
19. H. Kamoda, M. Yamaoka, and S. Matsuda Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments Proceeding at International Conference on World Wide Web 2005
20. H.D. Mofferr, and M.S. Sloman Policy conflict analysis in distributed system management Journal of Organizational Computing 4 1994 1 22
21. M. Sloman, and E. Lupu Policy Specification for Programmable Networks First International Working Conference on Active Networks 1999
22. M. Hall-May, and T.P. Kelly Towards Conflict Detection and Resolution of Safety Policies Proceedings of 24th International System Safety Conference 2006
23. T. Dursun A Generic Policy-Conflict Handling Model P. Yolum, T. Güngör, F.S. Gürgen, C.C. Özturan, ISCIS, Vol. 3733 of Lecture Notes in Computer Science 2005 Springer 193 204
24. T. Dursan, and B. Orencik Police Distributed Conflict Detection Architecture IEEE International Conference on Communications 2004
25. R. Chadha Policy-Driven Mobile Ad hoc Network Management Ch. Policy Conflict Detection and Resolution 2008 John Wiley & Sons, Inc
26. S. Davy, B. Jennings, and J. Strassner The policy continuum-policy authoring and confict analysis Computer Communications 31 2008 2981 2995
27. T. Govier A Practical Study of Argument 1992 Wadsworth
28. B. Demsky, and M. Rinard Automatic Detection and Repair of Errors in Data Structures In Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications 2003 78 95
29. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone Detecting Conflicts of Interest 14th IEEE International Requirements Engineering Conference 2006
30. J. Chomicki, J. Lobo, and S. Maqvi A logic programming approach to conflict resolution in policy management IEEE Transactions on Knowledge and Data Engineering 15 1 2003 244 249
31. H. M. Company, The american heritage® dictionary of the english language, fourth edition, http://www.answers.com/topic/conflict (2007).
32. S. Jajodia, P. Samarati, and V.S. Subrahmanian A Logical Language for Expressing Authorizations In IEEE Symposium on Security and Privacy 1997 31 42
33. D.F.C. Brewer, and M.J. Nash The Chinese Wall Security Policy Proceedings of the IEEE Symposium on Security and Privacy 1989 206 214
34. H. Kamoda, M. Yamaoka, S. Matsuda, K. Broda, and M. Sloman Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments Policy Management for the Web 2005
35. E. Syukur, S.W. Loke, and P. Stanski Methods for Policy Conflict Detection and Resolution in Pervasive Computing Environments 14th International World Wide Web Conference 2005
36. E. Simperl Reusing ontologies on the semantic web: A feasibility study Data & Knowledge Engineering 68 10 2009 905 925
37. M. Corporation Open information model v1.1, Tech. rep., Meda Data Coalition 1999
38. E. Medina, and J. Trujillo A standard for representing multidimensional properties: the common warehouse metamodel (CWM) Advances in Databases and Information Systems 2435 2002 131 145
39. T. Vetterli, A. Vaduva, and M. Staudt Metadata standards for data warehousing: open information model vs. common warehouse metadata ACM SIGMOD Record 29 3 2000 68 75
40. J. Strassner, J. Fleck, J. Huang, C. Faurer, and T. Richardson TMF white paper on NGOSS and MDA Bussines Process Trends 2004
41. W. Bumpus, J.W. Sweitzer, P. Thompson, A.R. Westerinen, and R.C. Williams Common Information Model: Implementing the Object Model for Enterprise Management 2000 John Wiley & Sons, Inc
42. C. Hobbs A Practical Approach to WBEM/CIM Management 2004 CRC Press
43. M. Debusmann, and A. Keller SLA-driven Management of Distributed Systems Using the Common Information Model Proceeding of the 8th IFIP/IEEE International Symposium on Integrated Network Management 2003
44. H. Mao, L. Huang, and M. Li Web Resource Monitoring Based on Common Information Model IEEE Asia-Pacific Conference on Services Computing 2006
45. M. Majewska, B. Kryza, and J. Kitowski Translation of Common Information Model to Web Ontology Language LNCS Computational Science - ICCS 2007 4487 2007 414 417
46. S. Quirolgico, P. Assis, Andrea Westerinen, M. Baskey, and E. Stokes Toward a formal common information model ontology, LNCS Web Information Systems 3307 2004 11 21
47. F.J. Garcia, G. Martinez, A. Munoz, J.A. Botia, and A.F. Gomez Towards semantic web-based management of security services Springer Annals of Telecommunications 63 3-4 2008 183 194
48. F. Baader The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press New York, NY, USA
49. T. Berners-Lee, J. Hendler, and O. Lassila The semantic web Scientific American May 2001 1 12
50. B. Motik, P.F. Patel-Schneider, and I. Horrocks OWL 2 Web Ontology Language: Structural specification and functional-style syntax, W3c working draft, W3C April 2008
51. J.G. Schmolze, and W. Snyder Detecting redundancy among production rules using term rewrite semantics Knowledge-Based Systems 12 1999 3 11
52. K. Racine, and Q. Yang Redundancy detection in semistructured case bases IEEE Transactions on Knowledge and Data Engineering 13 2001 513 518
53. L. Chavarría-Báez, and X. Li Static verification of active rule-base system Proceeding at Software Engineering Applications 2006
54. C. Ribeiro, A. Zúquete, P. Ferreira, and P. Guedes SPL: An Access Control Language for Security Policies with Complex Constraints Proceedings of the Network and Distributed System Security Symposium (NDSS 2001) 2001 89 107
55. E.C.L.A.K. Bandara, and A. Russo Using Event Calculus to Formalize Policy Specification and Analysis Proc. of the 4th International Workshop on Policies for Distributed Systems and Networks 2003
56. I. Horrocks, O. Kutz, and U. Sattler The Even More Irressistive Sroiq Proc. of the 10th International Conference of Knowledge Representation and Reasoning 2006
57. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Journal of Web Semantics 5 2 2007 10
58. J.J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seaborne, and K. Wilkinson Jena: Implementing the Semantic Web Recommendations Proceedings of the 13th international World Wide Web conference 2004 ACM Press 74 83
59. E. Bozsak KAON - Towards a Large Scale Semantic Web EC-WEB '02: Proceedings of the Third International Conference on E-Commerce and Web Technologies 2002 Springer-Verlag London, UK 304 313
60. D. Tsarkov, and I. Horrocks Automated Reasoning, Vol. 4130 of Springer Lecture Notes in Computer Science Ch. FaCT++ Description Logic Reasoner: System Description 2006 Springer Berlin Heidelberg 292 297