Interactive ontology revision

Journal of Web Semantics

Volumn 12-13, Issue , 2012, Pages 118-130

  Nikitina, Nadeschda ^a   Rudolph, Sebastian ^a   Glimm, Birte ^b  

^a KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF ULM   (Germany)

Author keywords

Automated reasoning; Knowledge representation; Ontologies; OWL; Quality assurance

Indexed keywords

AUTOMATED REASONING; AUTOMATIC DECISION; COMPUTATION PERFORMANCE; COMPUTATION TIME; DATA SETS; DECISION SPACE; FORMAL FOUNDATION; INSPECTION PROCESS; KNOWLEDGE BASE; MANUAL INSPECTION; ONTOLOGY REVISION; OPTIMIZATION STRATEGY; OWL; PARTITIONING TECHNIQUES; RANKING FUNCTIONS; THEORETICAL FOUNDATIONS;

KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY; OPTIMIZATION; PROBLEM SOLVING; QUALITY ASSURANCE;

STATISTICAL TESTS;

EID: 84858342602     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2011.12.002     Document Type: Article

References (21)

1. N. Nikitina, S. Rudolph, and B. Glimm Reasoning-supported interactive revision of knowledge bases Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) 2011 AAAI Press/IJCAI 1027 1032
2. N. Nikitina, B. Glimm, and S. Rudolph Wheat and chaff practically feasible interactive ontology revision Proceedings of the 10th International Semantic Web Conference (ISWC 2011) vol. 7031 2011 Springer-Verlag 487 503
3. C.E. Alchourrón, P. Gärdenfors, and D. Makinson On the logic of theory change: partial meet contraction and revision functions Journal of Symbolic Logic 50 1985 510 530
4. M. Dalal, Investigations into a theory of knowledge base revision: preliminary report, in: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI-88), 1988, pp. 475-479.
5. K. Satoh Nonmonotonic reasoning by minimal belief revision Proceedings of the International Conference on Fifth Generation Computer Systems 1988 Springer 455 462
6. S. Schlobach, and R. Cornet Non-standard reasoning services for the debugging of description logic terminologies Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03) 2003 Morgan Kaufmann 355 362
7. G. Qi, and F. Yang A survey of revision approaches in description logics Proceedings of the 21st International Workshop on Description Logics (DL'08) vol. 353 2008 CEUR
8. B. Motik, P.F. Patel-Schneider, B. Parsia, OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, W3C Recommendation, 2009, Available at .
9. R. Shearer, I. Horrocks, Exploiting partial information in taxonomy construction, in: 8th International Semantic Web Conference (ISWC 2009), vol. 5823, 2009, pp. 569-584.
10. OWL 2 Direct Semantics, OWL 2 Web Ontology Language Direct Semantics, W3C Recommendation, 2009, Available at .
11. B. Cuenca Grau, B. Motik, Z. Wu, A. Fokoue, C. Lutz, OWL 2 Web Ontology Language: Profiles, W3C Recommendation, 2009, Available at .
12. Y. Kazakov RIQ and SROIQ are harder than SHOIQ Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008) 2008 AAAI Press/The MIT Press 274 284
13. B. Konev, C. Lutz, D. Ponomaryov, F. Wolter, Decomposing description logic ontologies, in: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), 2010, pp. 236-246.
14. W. OWL Working Group, OWL 2 Web Ontology Language: Document Overview, W3C Recommendation, 2009, Available at .
15. N. Nikitina Semi-automatic revision of formalized knowledge H. Coelho, R. Studer, M. Wooldridge, ECAI Frontiers in Artificial Intelligence and Applications vol. 215 2010 IOS Press 1097 1098
16. C. Meilicke, H. Stuckenschmidt, and A. Tamilin Supporting manual mapping revision using logical reasoning Proceedings of the 23rd Conference on Artificial Intelligence (AAAI 2008) 2008 AAAI Press 1213 1218
17. E. Jiménez-Ruiz, B.C. Grau, I. Horrocks, and R.B. Llavori Ontology integration using mappings: towards getting the right logical consequences Proceedings of the 6th European Semantic Web Conference (ESWC 2009) of LNCS vol. 5554 2009 Springer-Verlag 173 187
18. E. Jiménez-Ruiz, B.C. Grau, I. Horrocks, and R.B. Llavori Building ontologies collaboratively using ContentCVS Proceedings of the 22nd International Workshop on Description Logics (DL 2009) of CEUR Workshop Proceedings vol. 477 2009 CEUR-WS.org
19. B. Ganter, and R. Wille Formal Concept Analysis: Mathematical Foundations 1997 Springer-Verlag
20. S. Rudolph Exploring relational structures via FLE Conceptual Structures at Work: 12th International Conference on Conceptual Structures of LNCS vol. 3127 2004 Springer-Verlag 196 212 (Pubitemid 38977849)
21. F. Baader, B. Ganter, B. Sertkaya, U. Sattler, Completing description logic knowledge bases using formal concept analysis, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 230-235.