In recent work we have extended the description logic (DL) ALC\! Q by means of more
expressive number restrictions using numerical and set constraints stated in the quantifier …

We consider the one-variable fragment of first-order logic extended with Presburger
constraints. The logic is designed in such a way that it subsumes the previously-known …

Abstract (EN) Recent research in the field of Description Logic (DL) investigated the
complexity of the satisfiability problem for description logics that are obtained by enriching …

Qualified Cardinality Restrictions (QCRs) and nominals are the two constructors in OWL 2
DL to apply numerical restrictions on domain concepts and relations. Utilizing these …

In this paper we show several similarities among logic systems that deal simultaneously with
deductive and quantitative inference. We claim it is appropriate to call the tasks those …

Simple counting quantifiers that can be used to compare the number of role successors of
an individual or the cardinality of a concept with a fixed natural number have been employed …

Abstract (EN) Simple counting quantifiers that can be used to compare the number of role
successors of an individual or the cardinality of a concept with a fixed natural number have …

Abstract Unification in Description Logics (DLs) has been proposed as an inference service
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …