2007 | OriginalPaper | Buchkapitel
Reasoning in Description Logics: Basics, Extensions, and Relatives
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.