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 reasonably complete ways raises at least two research questions: "how to check that particular relations are systematically used not just whenever possible but whenever relevant for knowledge providers?" and "how to extend best practices, ontology patterns or methodologies advocating the systematic use of particular relations and, at the same time, automatize the checking of compliance with these methods?". As an answer, this article proposes a generic "ontology design rule" (ODR). A general formulation of this generic ODR is: in a given KB, for each pair of knowledge base 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 particular given types or statements negating such relations. This article further specifies this ODR and shows its interests for subtype relations and other transitive relations, e.g. part relations and specialization relations with genus & differentia. This article shows how this ODR can be implemented via OWL and SPARQL, at least for common 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 : Saturday, September 7, 2019 - 1:23:36 AM

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, Sep 2019, Karlsruhe, Germany. ⟨hal-02279726⟩

Share

Metrics

Record views

29

Files downloads

133