Advanced languages of terms for ontologies

Philippe Balbiani (1, 2) , Martín Diéguez (3) , Cigdem Gencer (1, 4)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers
4 Istanbul University

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.

Domaines: Logique en informatique [cs.LO]

Philippe Balbiani, Martín Diéguez, Cigdem 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⟩