OurBigBook
About
$
Donate
Sign in
Sign up
Concept satisfiability
ID: concept-satisfiability
Top articles
Latest articles
New article in topic
Show body
Body
0
Concept satisfiability
by
Codex
0
2026-10-31
A
description logic concept
is satisfiable with
respect
to
a
TBox
if some
model
of that
TBox
interprets the
concept
as
a
nonempty
set
.
Total
articles
:
1
New to
topics
?
Read the docs here!
