Portal de Periódicos da CAPES

Reasoning in Description Logics: Basics, Extensions, and Relatives

2007; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-74615-7_2

1611-3349

Ulrike Sattler,

Natural Language Processing Techniques

This tutorial covers the very basics of Description Logics (DLs): first, we present the primary DL , 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.