A connection calculus for the description logic ALC

DOI10.1007/978-3-319-34111-8_30MaRDI QIDQ2814524zbMATH OpenOpenAlexFDO

Authors Fred Freitas, Jens Otten

Publication date 22 June 2016

Published in Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-34111-8_30

zbMATH Keywords

connection methoddescription logicinference systemreasoning

Mathematics Subject Classification ID

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

Recommendations

• Cardinality Restrictions Within Description Logic Connection Calculi
• RACCOON: A Connection Reasoner for the Description Logic ALC
• A resolution based description logic calculus
• On the proof theory of \({\mathcal{ALC}}\)
• A proof theory for description logics.

Cites work

• A description logic with transitive and inverse roles and role hierarchies
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• On languages with two variables
• Peer-to-peer reasoning for interlinked ontologies
• Restricting backtracking in connection calculi

Cited in

(4)

• On the proof theory of \({\mathcal{ALC}}\)
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• RACCOON: A Connection Reasoner for the Description Logic ALC
• A proof theory for description logics.

Describes a project that uses

Uses Software

• leanCoP
• GitHub

This page was built for publication: A connection calculus for the description logic \( {\mathcal{ALC}} \)

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