Logo Lanfrica
  • Accueil
  • Atlas
  • Analyses
  • Documentation
  • Sign in

© 2026 Lanfrica. Tous droits réservés. Tous les droits d'auteur des ressources affichées sur le site Web Lanfrica appartiennent aux détenteurs de droits d'auteur d'origine, sauf indication contraire explicite.

Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ

Type de record:

paper
Créateur:
GioGliOli
Éditeur:
DipUniAixLab
Éditeur:
CCSDPol
Hôte:avatar
Issue title: Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015Guest editors: Marco Maratea, Viviana Mascardi, Davide Ancona and Alberto Pettorossi International audience We explore the extension of the notion of rational closure to logics lacking the finite model property, considering the logic SHIQ. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a KB can be computed in EXPTIME based on a polynomial encoding of the rational extension of SHIQ into entailment in SHIQ. We discuss the extension of rational closure to more expressive description logics.

Visit

amu.hal.science

Tags

Nonmonotonic reasoningDescription Logics[INFO]Computer Science [cs][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Licenses

info:eu-repo/semantics/OpenAccess

Similaires

Towards Stable Adversarial Feature Learning for LiDAR based Loop Closure DetectionA Mine Closure Risk Rating System for South AfricaUnsupervised learning for expressive speech synthesisPreliminary notes towards a phonological description of Etung (Ejagham)Do Linguistic Properties Influence Expressive Potential? The Case of Two Australian Diminutives (Gunwinyguan Family)Towards a Digital Twin model for Building Energy Management: Case of Morocco

Towards Stable Adversarial Feature Learning for LiDAR based Loop Closure Detection

Stable feature extraction is the key for the Loop closure detection (LCD) task in the simultaneously

A Mine Closure Risk Rating System for South Africa

Mine closure is a growing concern in mining countries around the world due to the associated environ

Unsupervised learning for expressive speech synthesis

Nowadays, especially with the upswing of neural networks, speech synthesis is almost totally data dr

Preliminary notes towards a phonological description of Etung (Ejagham)

https://www.sil.org/resources/archives/4256

Do Linguistic Properties Influence Expressive Potential? The Case of Two Australian Diminutives (Gunwinyguan Family)

International audience Although expressivity is indisputably a crucial function of la

Towards a Digital Twin model for Building Energy Management: Case of Morocco

International audience

During successive industrial revolutions, the objective has