Embedding-based approaches to paraconsistent and temporal description logics

DOI10.1093/LOGCOM/EXR016zbMath1267.68224OpenAlexW1975006738MaRDI QIDQ3165753

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

embeddingcompletenessdecidabilitytemporal description logicparaconsistent description logic

Mathematics Subject Classification ID

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

Related Items (1)

A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

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