Reasoning in Description Logics: Basics, Extensions, and Relatives

@inproceedings{Sattler2007ReasoningID,
  title={Reasoning in Description Logics: Basics, Extensions, and Relatives},
  author={Ulrike Sattler},
  booktitle={Reasoning Web},
  year={2007}
}
This tutorial covers the very basics of Description Logics (DLs): first, we present the primary DL ALC, namely its syntax, semantics, and reasoning problems, making use of a running example. Next, we discuss a few important extensions and explain DL’s relationship with first order logic, with modal logic, with OWL, and with rule-based formalisms, and give a brief sketch of tableau-based reasoning algorithms for DLs. 
6 Citations
74 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 74 references

Bridging the gap between owl and relational databases

  • I. Horrocks, B. Motik, U. Sattler
  • Proc. of the Sixteenth International World Wide…
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…