User:Ricardosekeff/Books/LOGICA 01

Ricardo Moura Sekeff Budaruiche

 * Introduction
 * Ontology (information science)
 * Description logic


 * Logic
 * Propositional calculus
 * First-order logic
 * Horn clause


 * Reasoning
 * RuleML
 * Semantic Web Rule Language
 * Semantic Web
 * Resource Description Framework