Ontology Design Rules Based On Comparability Via Particular Relations

Philippe Martin 1 Olivier Corby 2 Catherine Faron 2
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : The difficulty of representing and organizing knowledge in reasonablycomplete ways raises at least two research questions: “how to check that particularrelations are systematically used not just whenever possible but whenever relevantfor knowledge providers?” and “how to extend best practices, ontology patterns ormethodologies advocating the systematic use of particular relations and, at thesame time, automatize the checking of compliance with these methods?”. As ananswer, this article proposes a generic “ontology design rule” (ODR). A generalformulation of this generic ODR is: in a given KB, for each pair of knowledgebase objects (types or individuals) of a given set chosen by the user of this ODR,there should be either statements connecting these objects by relations of particulargiven types or statements negating such relations. This article further specifies thisODR and shows its interests for subtype relations and other transitive relations,e.g. part relations and specialization relations with genus & differentia. This articleshows how this ODR can be implemented via OWL and SPARQL, at least forcommon simple cases (and, generically, via an higher-order logic based language).
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02279726
Contributor : Olivier Corby <>
Submitted on : Thursday, September 5, 2019 - 3:04:37 PM
Last modification on : Thursday, December 12, 2019 - 5:15:51 PM

File

semantics.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02279726, version 1

Citation

Philippe Martin, Olivier Corby, Catherine Faron. Ontology Design Rules Based On Comparability Via Particular Relations. SEMANTiCS 2019, Sep 2019, Karlsruhe, Germany. ⟨hal-02279726⟩

Share

Metrics

Record views

62

Files downloads

220