razonamiento ontología
búho lenguaje corporal:
- La mayoría estándar (el W3C), el más riguroso (descripción lógica), la expresión más fuerte (de primer orden lógica de predicados puede determinar un subconjunto de) la gráfica conocimiento del lenguaje
- Sobre la base de la sintaxis RDF, de modo que fuera del documento con la comprensión semántica de la base estructural
- Promover el uso de glosario uniforme, la definición de un rico vocabulario semántico
- Permitir que el razonamiento lógico
Sintaxis: RDF gramática, es decir SOP Triple
descripción lógica: es una lógica de primer orden predicado puede determinar un subconjunto de componentes básicos
- Los elementos básicos de la mayoría: conceptos, relaciones y individuales
- TBox glosario (axiomas términos conceptuales)
- afirmaciones ABox (colección afirmaciones de individuos) conjunto
- Razonando sobre la TBox y ABox
Razonando métodos y herramientas
Practicar: Jena
