Embedding-based approaches to paraconsistent and temporal description logics

DOI10.1093/LOGCOM/EXR016MaRDI QIDQ3165753zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 19 October 2012

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exr016

zbMATH Keywords

completenessdecidabilityembeddingparaconsistent description logictemporal description logic

Mathematics Subject Classification ID

Temporal logic (03B44) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A Paraconsistent Linear-time Temporal Logic
• Quasi-classical description logic
• scientific article; zbMATH DE number 2070200
• Reasoning in basic description logics and description logics with modal operators
• scientific article; zbMATH DE number 2079776

Cited in

(2)

• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning

This page was built for publication: Embedding-based approaches to paraconsistent and temporal description logics

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