Open AccessOn the Complexity and Expressiveness of Description Logics with Counting
Author(s) -
Franz Baader,
Filippo De Bortoli
Publication year - 2019
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.258
Subject(s) - cardinality (data modeling) , quantifier (linguistics) , predicate (mathematical logic) , mathematics , discrete mathematics , set (abstract data type) , fragment (logic) , first order logic , decidability , theoretical computer science , computer science , algorithm , programming language , artificial intelligence , data mining
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom