Unit tests for ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4278 LNCS - II, Issue , 2006, Pages 1012-1020

  Vrandečić, Denny ^a   Gängemi, Aldo ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b Laboratory for Applied Ontology   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; INFORMATION TECHNOLOGY; MAINTENANCE; SOFTWARE ENGINEERING;

BLACK BOX COMPONENTS; ONTOLOGY; UNIT TESTING;

FORMAL LANGUAGES;

EID: 33845395893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11915072_2     Document Type: Conference Paper

References (17)

1. K. Beck. Simple Smalltalk testing: With patterns. http://www. xprogramming.com/testfram.htm.
2. V. Benjamins, P. Casanovas, J. Contreras, J. L. Cobo, and L. Lemus. Iuriservice: An intelligent frequently asked questions system to assist newly appointed judges. In V. Benjamins, P. Casanovas, A. Gangemi, and B. Selic, editors, Law and the Semantic Web, LNCS, Berlin Heidelberg, 2005. Springer.
3. S. Brockmans and P. Haase. A Metamodel and UML Profile for Rule-extended OWL DL Ontologies -A Complete Reference. Technical report, Universität Karlsruhe, March 2006. http://www.aifb.uni-karlsruhe.de/WBS/sbr/publications/ owl-metamodeling.pdf.
4. P. Casanovas, N. Casellas, M. Poblet, J. Vallbé, Y. Sure, and D. Vrandečić. Iuriservice ii ontology development. In P. Casanovas, editor, Workshop on Artificial Intelligence and Law at the XXIII. World Conference of Philosophy of Law and Social Philosophy, May 2005.
5. F. M. Donini, D. Nardi, and R. Rosati. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
6. M. Fernández-López, A. Gómez-Pérez, J. P. Sierra, and A. P. Sierra. Building a chemical ontology using Methontology and the Ontology Design Environment. IEEE Intelligent Systems, 14(1), 1999.
7. S. Grimm and B. Motik. Closed world reasoning in the semantic web through epistemic operators. In B. C. Grau, I. Horrocks, B. Parsia, and P. Patel-Schneider, editors, OWL: Experiences and Directions, Galway, Ireland, Nov 2005.
8. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, 20-24 May 2003, pages 48-57. ACM, 2003.
9. P. Haase and L. Stojanovic. Consistent evolution of OWL ontologies. In A. Gómez-Pérez and J. Euzenat, editors, Proc. of the 2nd European Semantic Web Conf. ESWC, volume 3532, pages 182-197, Heraklion, Crete, Greece, 2005. Springer.
10. P. Haase, F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure. A framework for handling inconsistency in changing ontologies. In Y. Gil, E. Motta, V. R. Benjamins, and M. A. Musen, editors, Proceedings of the ISWC2005, volume 3729 of LNCS, pages 353-367. Springer, NOV 2005.
11. I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: a semantic web rule language combining OWL and RuleML, 2003.
12. S. J. Lam, D. Sleeman, and W. Vasconcelos. Retax++: a tool for browsing and revising ontologies. In Proc. ISWC 2005 Demo Session, Galway, Ireland, 2005.
13. B. Motik. On the properties of metamodeling in OWL. In Proc. of the 4th International Semantic Web Conference, Galway, Ireland, November 2005, NOV 2005.
14. B. Parsia, E. Sirin, and A. Kalyanpur. Debugging OWL ontologies. In Proc. of the 14th World Wide Web Conference (WWW2005), Chiba, Japan, May 2005.
15. M. K. Smith, C. Welty, and D. McGuinness. OWL Web Ontology Language Guide, 2004. W3C Rec. 10 February 2004, avail. at http://www.w3.org/TR/owl- guide/.
16. L. Stojanovic. Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe, 2004.
17. Y. Sure and R. Studer. On-To-Knowledge methodology. In J. Davies, D. Fensel, and F. van Harmelen, editors, On-To-Knowledge: Semantic Web enabled Knowledge Management, chapter 3, pages 33-46. J. Wiley and Sons, 2002.