A Proof Theory for Description Logics
- Editore:
Springer-Verlag GmbH
- EAN:
9781447140016
- ISBN:
144714001X
- Pagine:
- 106
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con la
Descrizione A Proof Theory for Description Logics
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti