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

• Tableau algorithm for ALCHIN consistency checking