Filippo De BortoliTechnische Universität Dresden | TUD · Institute of Theoretical Computer Science
Filippo De Bortoli
Master of Science
About
2
Publications
28
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
2
Citations
Citations since 2017
Introduction
Skills and Expertise
Publications
Publications (2)
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 in Description Logics (DLs) for more than two decades under the respective names of number restrictions and cardinality restrictions on concepts. Recently, we have cons...
In recent work we have extended the description logic (DL) by means of more expressive number restrictions using numerical and set constraints stated in the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA). It has been shown that reasoning in the resulting DL, called , is PSpace-complete without a TBox and ExpTime-com...
