Locality and Applications to Subsumption Testing in EL and Some of its Extensions

DOI10.7561/SACS.2013.2.251zbMath1424.68157arXiv1311.2973MaRDI QIDQ4621174

Viorica Sofronie-Stokkermans

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.2973

zbMATH Keywords

deductiondescription logicshierarchical reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semilattices (06A12)

This page was built for publication: Locality and Applications to Subsumption Testing in EL and Some of its Extensions