Constraintes prescriptives compatibles avec OWL2-ER pour évaluer la complétude d'ontologies

Résumé : L’article définit les contraintes prescriptives comme des règles permettant aux moteurs d’inférence de vérifier que certains objets formels sont réellement utilisés – pas seulement inférés – ou non, dans certaines conditions. Il montre que ces contraintes nécessitent de ne pas exploiter de mécanisme d’héritage (ou autres mécanismes ajoutant des relations à des objets) durant les tests des conclusions des règles. Il donne une méthode générale pour effectuer cela et des commandes SPARQL pour implémenter cette méthode lorsque les règles sont représentées via des relations sous-classe-de entre conditions et conclusions. L’article illustre ces commandes avec la vérification de patrons de conception d’ontologies. Plus généralement, l’approche peut être utilisée pour vérifier la complétude d’une ontologie, ou représenter dans une ontologie (plutôt que par des requêtes ou des procédures ad hoc) des contraintes permettant de calculer un degré de complétude d’ontologie. L’approche peut ainsi aider l’élicitation, la modélisation ou la validation de connaissances.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

http://hal.univ-reunion.fr/hal-01816468
Contributor : Réunion Univ <>
Submitted on : Friday, November 16, 2018 - 7:32:03 AM
Last modification on : Thursday, March 28, 2019 - 11:24:10 AM
Long-term archiving on : Sunday, February 17, 2019 - 12:52:27 PM

File

Contraintes_prescriptives_comp...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01816468, version 1

Collections

Citation

Philippe Martin, Jun Jo. Constraintes prescriptives compatibles avec OWL2-ER pour évaluer la complétude d'ontologies. EGC 2018, 18ème conférence internationale sur l'Extraction et la Gestion de Connaissances (International conference on knowledge acquisition), Jan 2018, Paris, France. pp.23-34. ⟨hal-01816468⟩

Share

Metrics

Record views

57

Files downloads

14