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

Record type:

paper

Creator:

GioGliOli

Editor:

DipUniAixLab

Publisher:

CCSDPol

Host:

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

Licenses

info:eu-repo/semantics/OpenAccess

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