Quasi-classical description logic

MaRDI QIDQ5389346zbMATH OpenFDO

Authors Xiaowang Zhang, Zuoquan Lin

Publication date 26 April 2012

zbMATH Keywords

description logicinconsistency-tolerant reasoningmultiple-valued logicontologyparaconsistent logicquasi-classical logictableau algorithm

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Computational Aspects of Quasi-Classical Entailment
• A tableau system for quasi-hybrid logic
• scientific article; zbMATH DE number 1844496
• scientific article; zbMATH DE number 2070200
• Reasoning with contradictory information using quasi-classical logic

Cited in

(6)

• Inconsistency-tolerant reasoning with OWL DL
• Embedding-based approaches to paraconsistent and temporal description logics
• Computational Aspects of Quasi-Classical Entailment
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• Reasoning with contradictory information using quasi-classical logic
• scientific article; zbMATH DE number 1844496 (Why is no real title available?)

This page was built for publication: Quasi-classical description logic

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