Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

DOI10.2168/LMCS-8(1:12)2012zbMath1241.68109arXiv1202.0914OpenAlexW2951685722WikidataQ54824466 ScholiaQ54824466MaRDI QIDQ2881079

Sebastian Rudolph, Pascal Hitzler, Markus Krötzsch

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Datalogdescription logicsdecision diagramstype elimination

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies

This page was built for publication: Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog