Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results

TL;DR

This paper introduces an extension to the ALC(D) description logic framework by incorporating temporal roles and a spatial concrete domain, aiming to enhance its expressiveness for modeling dynamic and spatial information.

Contribution

It presents the first results on augmenting ALC(D) with temporal roles and a spatial concrete domain, expanding its capabilities for temporal and spatial reasoning.

Findings

Initial framework development for temporal and spatial extensions

Demonstrated increased expressiveness of the logic

Foundations for future reasoning algorithms

Abstract

We consider the well-known family ALC(D) of description logics with a concrete domain, and provide first results on a framework obtained by augmenting ALC(D) atemporal roles and aspatial concrete domain with temporal roles and a spatial concrete domain.