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

DOI10.1007/978-3-030-22102-7_25MaRDI QIDQ2185489zbMATH OpenOpenAlexFDO

Authors Sebastian Rudolph

Publication date 4 June 2020

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

Mathematics Subject Classification ID

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

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

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)