Skip to Main content Skip to Navigation
Conference papers

Reasoning in description logics with variables: preliminary results regarding the EL logic.

Abstract : This paper studies the extension of description logics with variables ranging over infinite domains of concept names and role names. As a preliminary work, we consider more specifically the extension of the logic EL with variables and we investigate in this context two reasoning mechanisms, namely compliance (a kind of matching) and pattern containment. The main technical results are derived by establishing a correspondance between the EL logic and finite variable automata.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01163342
Contributor : Lakhdar Akroun <>
Submitted on : Monday, September 21, 2020 - 2:37:00 PM
Last modification on : Wednesday, April 21, 2021 - 8:52:05 AM
Long-term archiving on: : Thursday, December 3, 2020 - 3:06:05 PM

File

Akroun-Nourine-Toumani-15.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01163342, version 1

Citation

Lakhdar Akroun, Lhouari Nourine, Farouk Toumani. Reasoning in description logics with variables: preliminary results regarding the EL logic.. 28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12. ⟨hal-01163342⟩

Share

Metrics

Record views

544

Files downloads

219