Description Logics
Links
- Hybrid Logic na SEP
- Tese "Logic Engineering. The Case of Description and Hybrid Logics"
- Torben Braüner, Ph.D.
- Hybrid Logics' home page
- OPTIMISING TABLEAUX DECISION PROCEDURES FOR DESCRIPTION LOGICS, Ian Horrocks
- Ian Horrocks
- Ontology
- Description Logics home page
- DESCRIPTION LOGIC REASONERS
Provadores Online
page revision: 3, last edited: 25 Sep 2008 19:57