Cardinality Restrictions Within Description Logic Connection Calculi

DOI10.1007/978-3-319-99906-7_5zbMath1518.68359OpenAlexW2888679499MaRDI QIDQ6104758

Ivan Varzinczak, Fred Freitas

Publication date: 28 June 2023

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99906-7_5

zbMATH Keywords

reasoningdescription logicconnection methodinference systemcardinality restrictionsrole hierarchies

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• HermiT: an OWL 2 reasoner
• Restricting backtracking in connection calculi
• Matings in matrices
• A description logic with transitive and inverse roles and role hierarchies

This page was built for publication: Cardinality Restrictions Within Description Logic Connection Calculi