Advanced languages of terms for ontologies - Logique, Interaction, Langue et Calcul Access content directly
Conference Papers Year :

Advanced languages of terms for ontologies

Abstract

This paper is about the integration in a unique formalism of knowledge representation languages such as those provided by description logic languages and rule-based reasoning paradigms such as those provided by logic programming languages. We aim at creating an hybrid formalism where description logics constructs are used for defining concepts that are given as arguments to the predicates of the logic programs.
Fichier principal
Vignette du fichier
DL_2022_ALOTFO.pdf (280.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03762589 , version 1 (28-08-2022)

Identifiers

  • HAL Id : hal-03762589 , version 1

Cite

Philippe Balbiani, Martín Diéguez, Çiğdem Gencer. Advanced languages of terms for ontologies. 35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel. ⟨hal-03762589⟩
52 View
20 Download

Share

Gmail Facebook Twitter LinkedIn More