Verifying ontology requirements with SWIP (Workshop on Knowledge, Reasoning and Computation, 2014)

Maria del Carmen Suárez Figueroa (1) , Camille Pradel (2) , Nathalie Jane Hernandez (2)

1 OEG - Ontology Engineering Group [Madrid]
2 IRIT-MELODI - MEthodes et ingénierie des Langues, des Ontologies et du DIscours

Verifying whether an ontology meets the set of established requirements is a crucial activity in ontology engineering. In this sense, methods and tools are needed (a) to transform (semi-)automatically functional ontology requirements into SPARQL queries, which can serve as unit tests to verify the ontology, and (b) to check whether the ontology fulfils the requirements. Thus, our purpose in this poster paper is to apply the SWIP approach to verify whether an ontology satisfies the set of established requirements.

Mots clés: natural language queries; SPARQL; requirements; ontologies

Domaines: Informatique [cs]

Maria del Carmen Suárez Figueroa, Camille Pradel, Nathalie Jane Hernandez. Verifying ontology requirements with SWIP (Workshop on Knowledge, Reasoning and Computation, 2014). Workshop on Knowledge, Reasoning and Computation 2014, Apr 2014, Madrid, Spain. ⟨hal-03256406⟩