Presburger concept cardinality constraints in very expressive description logics. Allegro sexagenarioso ma non ritardando

DOI10.1007/978-3-030-22102-7_25zbMATH Open1444.68190OpenAlexW2955295953MaRDI QIDQ2185489FDOQ2185489

Authors: Sebastian Rudolph 

Publication date: 4 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22102-7_25

Recommendations

• A new description logic with set constraints and cardinality constraints on role successors
• On the expressive power of description logics with cardinality constraints on finite and infinite sets
• scientific article; zbMATH DE number 1448975
• Cardinality restrictions on concepts
• Satisfiability and query answering in description logics with global and local cardinality constraints

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (3)

• On the expressive power of description logics with cardinality constraints on finite and infinite sets
• A Note on C² Interpreted over Finite Data-Words
• A new description logic with set constraints and cardinality constraints on role successors

This page was built for publication: Presburger concept cardinality constraints in very expressive description logics. Allegro sexagenarioso ma non ritardando

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2185489)