Equality-Friendly Well-Founded Semantics and Applications to Description Logics

Open in new window