Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Journal of Automated Reasoning · 2007 · 177 citations · 20 references

Concepts

References

20