Defeasible description logic reasoning based on abstract syntax graph

MaRDI QIDQ6119650zbMATH OpenFDO

Authors Muyun Shao, Dov Gabbay

Publication date 22 March 2024

Full work available at URL http://www.collegepublications.co.uk/downloads/LNGAI00003.pdf#chapter.6

zbMATH Keywords

abstract syntax graphdefeasible reasoningdescription logic

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27)

Recommendations

• Relevant closure: a new form of defeasible reasoning for description logics
• A KLM perspective on defeasible reasoning for description logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
• Contextual rational closure for defeasible \(\mathcal{ALC} \)

This page was built for publication: Defeasible description logic reasoning based on abstract syntax graph

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