Ontology testing in XD

This repository provides material and examples for the Knowledge Engineering class class on ontology testing in eXtreme Design methodology, that will take place on December 14th.

Video Tutorial and Slides

• Video Tutorial
• Slides

Links

• Carolina story
• Musical performance ontology
• Core ontology
• OWLUnit GitHub repository
• OWLUnit Releases
• TESTaLODE GitHub repository
• TESTaLODE website

Assignment

Sources

• Requirement for the competency question verification test: When was a recording produced?
• Ontologies that you need to use for the tests: Musical performance ontology and Core ontology.

Tasks

• Translate the competency question to a SPARQL query.
• Create a toy dataset for the competency question verification test based on the requirement.
• Create an expected result file for the competency question verification test based on the requirement.
• Construct a competency question verification test based on the requirement, including the above components.
• Create an inference verification test case on a requirement of your choosing.
• Create an error provocation test case.
• Create a toy dataset for the error provocation test.

Competency question verification test

@prefix owlunit: <https://w3id.org/OWLunit/ontology/> .

tc:xx a owlunit:CompetencyQuestionVerification ;
  owlunit:hasCompetencyQuestion " " ;
 	owlunit:hasSPARQLUnitTest " " ;
	owlunit:hasInputData td:xx ;
	owlunit:hasInputTestDataCategory owlunit:ToyDataset ;
	owlunit:hasExpectedResult " ";
	owlunit:testsOntology xx: .

Inference verification test

@prefix owlunit: <https://w3id.org/OWLunit/ontology/> . 

tc:xx a owlunit:InferenceVerification ;
	owlunit:hasInputData ex:xx ;
	owlunit:hasSPARQLUnitTest " " ;
	owlunit:hasReasoner owlunit:HermiT ;
	owlunit:hasExpectedResult true/false ;
 	owlunit:testsOntology xx: .

Error provocation test

@prefix owlunit: <https://w3id.org/OWLunit/ontology/> . 

tc:xx a owlunit:ErrorProvocation ;
	owlunit:hasInputData td:xx ;
 	owlunit:testsOntology xx: .