Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group

DOI10.3724/SP.J.1001.2010.03597zbMath1240.68355OpenAlexW2318401716MaRDI QIDQ3014301

No author found.

Publication date: 19 July 2011

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2010.03597

zbMATH Keywords

satisfiabilitydisjunctive normal formreasoning in description logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Semantics in the theory of computing (68Q55)

This page was built for publication: Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group