Verification of distributed knowledge in semantic knowledge wikis

Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22

Volumn , Issue , 2009, Pages 384-389

  Baumeister, Joachim ^a   Nalepa, Grzegorz J ^b  

^a UNIVERSITY OF WÜRZBURG   (Germany)

^b AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE DEVELOPMENT; DISTRIBUTED KNOWLEDGE; DISTRIBUTED KNOWLEDGE BASE; FORMAL KNOWLEDGE; SEMANTIC KNOWLEDGE; USER-FRIENDLY TOOL;

KNOWLEDGE BASED SYSTEMS; SEMANTICS;

KNOWLEDGE ENGINEERING;

EID: 70350510815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Baumeister, J., and Puppe, F. 2008. Web-based knowledge engineering using knowledge wikis. In Proceedings of Symbiotic Relationships between Semantic Web and Knowledge Engineering (AAAl 2008 Spring Symposium).
2. Baumeister, J., and Seipel, D. 2006. Verification and refac-toring of ontologies with rules. In EKAW'06: Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management, 82-95. Berlin, Germany: Springer.
3. Baumeister, J.; Reutelshoefer, J.; Haupt, F.; and Nadrowski, K. 2008. Capture and refactoring in knowledge wikis - coping with the knowledge soup. In Proceedings of 2nd Workshop on Scientific Communities of Practice (SCOOP).
4. Baumeister, J.; Reutelshoefer, J.; and Puppe, F. 2007. KnowWE - community-based knowledge capture with knowledge wikis. In K-CAP '07: Proceedings of the 4th International Conference on Knowledge Capture, 189-190. New York, NY, USA: ACM.
5. Baumeister, J.; Seipel, D.; and Puppe, F. 2004. Refactoring methods for knowledge bases. In EKAW'04: Engineering Knowledge in the Age of the Semantic Web: 14th International Conference, LNAI3257, 157-171. Berlin, Germany: Springer.
6. Bench-Capon, T, and et al. 1999. Validation, verification and integrity issues in expert and database systems. Expert Update 2(l):31-35.
7. Buffa, M.; Gandon, F.; Ereteo, G.; Sander, P.; and Faron, C. 2008. SweetWiki: A semantic wiki. Web Semantics 8(l):84-97.
8. Chang, C. L.; Combs, J. B.; and Stachowitz, R. A. 1990. A report on the expert systems validation associate (eva). Expert Systems with Applications 1 (3):217-230.
9. Coenen, F., and et al. 2000. Validation and verification of knowledge-based systems: report on eurovav99. The Knowledge Engineering Review 15(2): 187-196.
10. Euzenat, J., and Shvaiko, P. 2007. Ontology Matching. Berlin: Springer.
11. Giarratano, J. C, and Riley, G. D. 2005. Expert Systems. Thomson.
12. Krotzsch, M.; Vrandecic, D.; and Volkel, M. 2006. Semantic MediaWiki. In ISWC'06: Proceedings of the 5th International Semantic Web Conference, LNAI4273, 935-942. Berlin: Springer.
13. Lamb, N., and Preece, A. 1996. Verification of multi-agent knowledge-based systems. ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems 114-119.
14. Ligȩza, A. 2006. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag.
15. Lunardhi, A. D., and Passino, K. M. 1995. Verification of qualitative properties of rule-based expert systems. Applied Artificial Intelligence 9:587-621.
16. Preece, A. D. 1992. Verification, validation, and test of knowledge-based systems. Al Magazine 13(4):77.
17. Preece, A. D. 1993. A new approach to detecting missing knowledge in expert system rule bases. Int. J. of Man-Machine Studies 38:161-181.
18. Reutelshoefer, J.; Baumeister, J.; and Puppe, F. 2008. Ad-hoc knowledge engineering with semantic knowledge wikis. In SemWiki'08: Proceedings of 3rd Semantic Wiki workshop - The Wiki Way of Semantics.
19. Schaffert, S. 2006. IkeWiki: A semantic wiki for collaborative knowledge management. In STICA'06: 1st International Workshop on Semantic Technologies in Collaborative Applications.
20. Vermesan, A., and Coenen, K, eds. 1999. Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Boston: Kluwer Academic Publisher.
21. Vermesan, A. 1998. The Handbook of Applied Expert Systems. CRC Press, chapter Foundation and Application of Expert System Verification and Validation.