UNIVERSIDAD REY JUAN CARLOS CURSO
|
|
- Valentín Núñez Palma
- hace 6 años
- Vistas:
Transcripción
1 Ejercicio 1: Representar utilizando RDF Schema el siguiente conocimiento: La capital de España es Madrid. Puede utilizar un grafo o la notación Turtle. Defina las clases y propiedades que considere oportunas. Todas las URIs creadas tendrán como base Si lo desea puede utilizar los siguientes prefijos y/o definir otros si es p2: rdf: rdfs: < SOLUCIÓN Turtle: p2:pais rdfs:class. p2:ciudad rdfs:class. p2:capital rdf:property. p2:capital rdfs:domain p2:pais. p2:capital rdfs:range p2:ciudad. p2:madrid p2:ciudad. p2:españa p2:pais. p2:españa p2:capital p2:madrid. Pág. 1 / 5
2 Ejercicio 2: Representar utilizando RDF Schema el siguiente conocimiento: Picasso pintó el Guernica. Puede utilizar un grafo o la notación Turtle. Defina las clases y propiedades que considere oportunas. Todas las URIs creadas tendrán como base Si lo desea puede utilizar los siguientes prefijos y/o definir otros si es p2: rdf: rdfs: < SOLUCIÓN rdfs:class rdfs:domain p2:cuadro p2:guernica rdf:property rdfs:range p2:autor p2:autor rdfs:class p2:persona p2:picasso Turtle: p2:persona rdfs:class. p2:cuadro rdfs:class. p2:picasso p2:persona. p2:autor rdf:property. p2:autor rdfs:domain p2:cuadro. p2:autor rdfs:range p2:persona. p2:guernica p2:cuadro. p2:guernica p2:autor p2:picasso. Pág. 2 / 5
3 Ejercicio 3: Utilizando la herramienta Protege realizar los siguientes pasos: 1. Crear un proyecto nuevo Seleccionar OWL / RDF Files Después OWL DL 2. Crear la clase Animal y las subclases Tigre, Vaca y Oveja Tigre Animal Vaca Animal Oveja Animal 3. Crear las clase ProductoAnimal y las subclases Leche y Huevos 4. Definir la propiedad come con dominio Animal y rango Animal Planta ProductoAnimal El rango en Protege se hace añadiendo las tres clases al rango (en vez de la fórmula) Otra opción: crear una clase Comida con esas tres subclases 5. Crear instancia de Tigre (p.e. t1) y Vaca (p.e. v1) e indicar que t1 come v1 6. Expresar: algo que come animales es carnívoro: Carnívoro come.animal Se recomienda seleccionar la opción OWL Preferences DLSintaxClassDisplay para utilizar la notación de lógicas de descripciones vista en clase 7. Expresar: un vegetariano es algo que no come animales Vegetariano come. Animal (o ( come.animal) ) 8. Expresar: Los tigres comen vacas Tigre come.vaca 9. INFERENCIA: clasificar la ontología. Observar qué se deduce e intentar explicar porqué. Carnívoro Animal debido a que come tiene dominio Animal. Si se añade dominio Carnívoro o se quita el dominio Animal entonces no se deduce. Tigre Carnívoro por 6 y INFERENCIA: computar instancias. Observar qué se deduce e intentar explicar porqué. t1 y v1 Animal por subsunción t1 Carnívoro por 5 y Expresar: La vaca es animal vegetariano Vaca Animal Vegetariano (o simplemente añadir Vaca Vegetariano) Pág. 3 / 5
4 12. Expresar: Las vacas locas son vacas que comen ovejas VacaLoca Vaca come.oveja 13. INFERENCIA: comprobar consistencia. Observar qué se deduce e intentar explicar porqué. VacaLoca es inconsistente porque es Vaca come.oveja come. Animal 14. Quitar Vegetariano de Vaca (11). Volver a comprobar la consistencia y explicar. VacaLoca ya no es inconsistente. 15. Volver a dejar Vaca Animal Vegetariano y modificar Vegetariano (7): Vegetariano come.planta (en vez de Animal) 16. INFERENCIA: comprobar consistencia. Observar qué se deduce e intentar explicar porqué. Ahora VacaLoca es consistente!! porque no se dice que Oveja sea disjunto de Planta, por tanto podría haber ovejas que fueran también plantas 17. Añadir que Animal es disjunto de Planta. Animal Planta Esto se puede hacer añadiendo el axioma o añadiendo la clase en disjoints 18. INFERENCIA: comprobar consistencia. Observar qué se deduce e intentar explicar porqué. Ahora VacaLoca es inconsistente, ya que ahora Animal (y por tanto Oveja) son disjuntos de Planta. Ejercicio 4: 1. Introducir en Protege el ejemplo de la familia del ejercicio 1 del tema Lógica de Descripciones 2. Clasificar la taxonomía. Observar el resultado. 3. Introducir algunas instancias 4. Obtener instancias inferidas (type) 5. Introducir inconsistencias, por ejemplo: Hombre y NO Hombre Después de tener instancias, decir que hombre tiene al menos un hijo 6. Realizar consultas SPARQL Pág. 4 / 5
5 Ejercicio 5: Dado el siguiente fragmento de la mitología griega: Edipo mató a su padre, se casó con su madre Yocasta, y tuvo hijos con ella, entre ellos Polinices. Polinices tuvo hijos, entre ellos Tersandro. a) Representar ese conocimiento en LD ALC (se sugiere una clase Mito y predicado tienehijo) b) Añadir que Edipo es parricida y Tersandro no lo es (por ejemplo usar clase Parricida) Se quiere saber si Yocasta tiene un hijo parricida que a su vez tenga un hijo que no sea parricida c) Plantear la pregunta en LD ALC d) cuál sería la respuesta si la información se guarda en Base de Datos (mundo cerrado)? e) cuál sería la respuesta si se utiliza LD? Introducir ese conocimiento en Protege y comprobar la solución. SOLUCIÓN: a) b) Mito(Yocasta) Mito(Edipo) Mito(Polinices) Mito(Tersandro) tienehijo(yocasta,edipo) tienehijo(edipo, Polinices) tienehijo(yocasta, Polinices) tienehijo(polinices, Tersandro) Parricida(Edipo) Parricida(Tersandro) c) ( tienehijo.(parricida tienehijo. Parricida))(Yocasta) d) La respuesta sería No, ya que no se puede encontrar ningún valor que lo cumpla. Yocasta tiene dos hijos: Edipo y Polinices. Edipo sí está en la lista de parricidas, pero su hijo (Polinices) no está entre los no parricidas. Por su parte, Polinices no está en los parricidas. e) En este caso la respuesta es Sí, puesto que al tratarse de mundo abierto considera las diferentes alternativas posibles cuando no se dispone de información. En concreto, se pueden dar dos casos respecto a Polinices: Polinices es parricida : entonces Yocasta tiene un hijo parricida (Polinices) que a su vez tiene un hijo no parricida (Tersandro). Polinices no es parricida : entonces Yocasta tiene un hijo parricida (Edipo) que a su vez tiene un hijo no parricida (Polinices) En ambos casos Yocasta cumple los requisitos. Pág. 5 / 5
Ejercicio 1: Representar utilizando RDF Schema el siguiente conocimiento: La capital de España es Madrid.
Ejercicio 1: Representar utilizando RDF Schema el siguiente conocimiento: La capital de España es Madrid. Puede utilizar un grafo o la notación Turtle. Defina las clases y propiedades que considere oportunas.
Más detallesSISTEMAS BASADOS EN EL CONOCIMIENTO Grado en Ingeniería Informática Hoja de Problemas Tema 4 Web Semántica y Web de Datos
Ejercicio 1: Utilizando la herramienta Protege 3.4 realizar los siguientes pasos: 1. Crear un proyecto nuevo Seleccionar OWL / RDF Files Después OWL DL 2. Crear la clase Animal y las subclases Tigre, Vaca
Más detallesRDF avanzado. Fundamentos de la Web Semántica. Objetivos. Vocabulario RDF. RDF avanzado. Semántica. Pablo R. Fillottrani. Introducción a SPARQL
RDF avanzado RDF avanzado Pablo R. Fillottrani Depto. Ciencias e Ingeniería de la Computación Universidad Nacional del Sur Segundo Cuatrimestre 2013 Objetivos RDF permite expresar propiedades simples sobre
Más detallesIntroducción a las Ontologías
Introducción a las Ontologías Gtión del Conocimiento Dr. Ariel Monterin ISISTAN Facultad de Ciencias. Exactas- UNICEN Conceptos principal Lenguaj para la construcción de Razonamiento con Conclusion Conceptos
Más detallesAsunción Gómez-Pérez Oscar Corcho asun@fi.upm.es ocorcho @fi.upm.es
Redes Semánticas Asunción Gómez-Pérez Oscar Corcho asun@fi.upm.es ocorcho @fi.upm.es Ontology Engineering Group Facultad de Informática Universidad Politécnica de Campus de Montegancedo sn, 28660 Boadilla
Más detallesSeminario Web Semántica y Ontologías
Seminario Web Semántica y Ontologías Inteligencia Artificial 5 o Informática IA curso 2012-2013 CCIA Noviembre 2012 IA 1112 (CCIA) Seminario Web Semántica Noviembre-2012 1 / 15 Web Semántica vs. Web Actual
Más detallesPedro J. Muñoz Merino Diseño de Aplicaciones Telemáticas 2
Web Semántica http://www.it.uc3m.es/pedmume/ Web Semántica: Introducción Concepto introducido por Tim Berners-Lee, el creador de la Web Web inteligente, donde los recursos tengan no sólo texto plano sino
Más detallesIntroducción a la Web Semántica
Taller de Producción de Software 2007 Introducción a la Web Semántica Taller de Producción de Software 2º Semestre 2008 Indice Visión de la Web Semántica Arquitectura de la Web Semántica RDF Ontologías
Más detallesWeb Semántica. Partimos de la siguiente estructura de relaciones (tablas).
Web Semántica Partimos de la siguiente estructura de relaciones (tablas). Notas: Se toman las claves primarias (indicadas con *) y las claves foráneas (indicadas con flechas) como URIs de los recursos,
Más detallesDiagramas de secuencia
Facultad de Ingeniería Departamento de Ingeniería de Sistemas y Computación Diagramas de secuencia Fragmentos Combinados: caminos alternativos Departamento de Ingeniería de Sistemas y Computación - Universidad
Más detallesCAMINANDO HACIA LA WEB SEMÁNTICA
CAMINANDO HACIA LA WEB SEMÁNTICA Jesualdo Tomás Fernández Breis Universidad de Murcia jfernand@um.es Web actual La información que vemos nosotros... Lugares para viajar y precio Ofertas de Viajes Viajes
Más detallesRepresentación del Conocimiento. Web Semántica
Representación del Conocimiento. Web Semántica Raúl Castro Fernández NIA:100061617 Universidad Carlos III de Madrid 100061617@alumnos.uc3m.es RESUMEN En este documento se trata la relación de la web semántica
Más detallesXBRL Semán+co Información Financiera Semán+ca
XBRL Semán+co Información Financiera Semán+ca VII Congreso Internacional de Ingeniería de So=ware, Sistemas de Información, Telecomunicaciones y Redes, UPAO, Trujillo, Perú Trabajo Inves+gación Roberto
Más detallesLenguajes para la Web Semántica deben:
RDF y RDF-Schema Por qué RDF? Lenguajes para la Web Semántica deben: Tener una sintaxis y semántica formal para automatizar el procesamiento de su contenido. Proveer una manera de estandarizar el vocabulario
Más detallesInferencia en la Web Semántica
Inferencia en la Web Semántica Experimentos con la Web Semántica Concepción de sistemas de Información Inferencia Nociones Intuitivas de Inferencia (o Razonamiento): Encadenamientos de Ideas. A partir
Más detallesSesión 8. Ontologías y Web Semántica. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt
Sesión 8 Ontologías y Web Semántica Año académico 2014/15 Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt 1 Índice Introducción a la Web Semántica Lenguajes de Ontologías Consulta de
Más detalles1.- CREAR UNA BASE DE DATOS CON ACCESS
1.- CREAR UNA BASE DE DATOS CON ACCESS José A. Herrera Sánchez. 1. Haz doble clic sobre el icono de acceso directo de Microsoft Access situado en el Escritorio de tu ordenador. Si no estuviera haz clic
Más detallesLos pasos a seguir para cumplimentar la solicitud son los siguientes: A continuación, se detallarán cada uno de estos apartados.
Los pasos a seguir para cumplimentar la solicitud son los siguientes: 1. Comprobación de acceso. 2. Acceso al Sistema. 3. Panel de Solicitudes. 4. Formulario Web de Solicitud. 5. Contacto para incidencias
Más detallesRepresentación del Conocimiento Otros formalismos. Licenciatura en Ciencias de la Computación. Introducción a la Inteligencia Artificial.
Representación del Conocimiento Otros formalismos Licenciatura en Ciencias de la Computación. Introducción a la Inteligencia Artificial. Conocimiento Definición El conocimiento es una mezcla de experiencia,
Más detallesIIC2213. IIC2213 Teorías 1 / 42
Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente
Más detallesWeb Semán)ca Bernade/e Lóscio/CIn. de documentos
Web de documentos 1 Web Semán)ca Bernade/e Lóscio/CIn 2 Web de Documentos La web ya )ene diversos )pos de datos, mas los datos no están interconectados A heterogeneidad dos datos dificulta a su integración
Más detalles-Pensamientos y Reflexiones-
-Pensamientos y Reflexiones- Autora Gabriela Gardelin Acerca de la Autora Hola! Mi nombre es Gabriela Gardelin y soy una enamorada de la vida. Disfruto de cada pequeño o gran momento que la vida me regala.
Más detallesAntes de la Web Semántica
Things and not things Antes de la Web Semántica Existe Dios? Existen entidades mentales, como ideas y pensamientos? Existen entidades abstractas, como los números? Existen los universales? Qué propiedades
Más detallesAlgebra lineal y conjuntos convexos
Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar
Más detallesInteraccionando con la Web Semán2ca
Interaccionando con la Web Semán2ca CIISSIT 2010, UPAO, Trujillo, Perú Tutorial Técnico Roberto García Grupo Investigación IPO e Integración Datos Universitat de Lleida, España Introducción Puntos de vista
Más detallesFormatos de datos abiertos
Formatos de datos abiertos JSON CSV Planillas Documentos de texto XML RDF Formatos de datos abiertos JSON Es un formato de archivo muy fácil de ser interpretado por cualquier lenguaje de programación En
Más detallesSALDOS INICIALES ACTIVOS FIJOS INTERFACES
SALDOS INICIALES ACTIVOS FIJOS INTERFACES Qué son saldos iníciales? Los saldos iníciales corresponden a los valores de cada cuenta contable del Balance general con los cuales inicia la compañía, para el
Más detallesƒ : {(1, 4), (2, 5), (3, 6), (4, 7)}.
SECCIÓN 5. Funciones inversas 5. Funciones inversas Verificar que una función es la inversa de otra. Determinar si una función tiene una función inversa. Encontrar la derivada de una función inversa. f
Más detallesCONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.
CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesLas redes semánticas intentan trasladar esa afirmación a un formalismo Una red semántica será un grafo donde:
Redes Semánticas Redes semánticas La lógica como lenguaje de representación tiene dificultades prácticas Son necesarios mecanismos mas intuitivos y fáciles de usar La psicología cognitiva afirma: La representación
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesSemantic Annotation for WSDL and XML SAWSDL
1 Universidad Rey Juan Carlos I Semantic Annotation for WSDL and XML SAWSDL Presentación: Luis Miguel Serrano Cámara Recuperación de la Información 2 Indice 1.- Introducción 2.- SAWSDL en WSDL 2.0 3.-
Más detallesUn momento concreto. Tiene que ver con el uso de los sentidos para captar las características de la persona, objeto, evento o situación.
La observación es el proceso mental de fijar la atención en una persona, objeto, evento o situación, a fin de identificar sus características, cuando se es capaz de fijar la atención entonces se pueden
Más detallesred.es, 29/11/2012 Ontology Engineering Group
Material del curso sobre Tecnologías Semánticas en la Web de Datos red.es, 29/11/2012 Ontology Engineering Group Asunción Gómez- Pérez, Oscar Corcho García Licencia de uso: Creative Commons Attribution-
Más detallesFundamentos de Investigación
IIPL-2007 Grupo 365AN 23/08/2007 12/09/07 6:30p.m. 8:00p.m. Corporación Universitaria Unitec Cómo se generan las investigaciones? Las investigaciones se originan de ideas. La idea constituye el primer
Más detallesEl propósito de este material es brindar las explicaciones más importantes sobre bases de datos, relevantes para el uso de GeneXus.
El propósito de este material es brindar las explicaciones más importantes sobre bases de datos, relevantes para el uso de GeneXus. 1 Una base de datos o banco de datos (BD), es un conjunto de datos pertenecientes
Más detallesAxiomas de separación
CAPíTULO 6 Axiomas de separación Tema 1. Axiomas de separación: conceptos básicos El objetivo de este capítulo es considerar ciertas propiedades topológicas que comparten algunos espacios topológicos y
Más detallesSesión No. 10. Contextualización INFORMÁTICA 1. Nombre: Gestor de Base de Datos (Access)
INFORMÁTICA INFORMÁTICA 1 Sesión No. 10 Nombre: Gestor de Base de Datos (Access) Contextualización Microsoft Access es un sistema de gestión de bases de datos, creado para uso personal y de pequeñas organizaciones,
Más detallesSUGERENCIAS PARA LA RECOLECCIÓN DE DATOS PERTENECIENTES A LOS PARÁMETROS EXISTENTES EN EL INSTRUMENTO DENOMINADO: LISTA DE COTEJO
SUGERENCIAS PARA LA RECOLECCIÓN DE DATOS PERTENECIENTES A LOS PARÁMETROS EXISTENTES EN EL INSTRUMENTO DENOMINADO: LISTA DE COTEJO 1. EXAMINAR los recursos que se indican APLICABLE a TODOS LOS CASOS. 2.
Más detallesTema 4. Probabilidad Condicionada
Tema 4. Probabilidad Condicionada Presentación y Objetivos. En este tema se dan reglas para actualizar una probabilidad determinada en situaciones en las que se dispone de información adicional. Para ello
Más detallesCódigo/Título de la Unidad Didáctica: MATEMÁTICAS BASICAS APLICADAS EN EL MECANIZADO
Código/Título de la Unidad Didáctica: MATEMÁTICAS BASICAS APLICADAS EN EL MECANIZADO Actividad nº/título: SISTEMAS DE COORDENADAS Introducción a la actividad Material Didáctico: Tiempo: (2 horas) 1. CASO
Más detallesAdministración de la producción. Sesión 9: Hojas de cálculo (Microsoft Excel)
Administración de la producción Sesión 9: Hojas de cálculo (Microsoft Excel) Contextualización Microsoft Excel es un programa de hoja de cálculo electrónica que permite la representación gráfica y el análisis
Más detallesUna función de la forma donde a 1 siendo "a" la base y "X" el exponente
Materia: Matemáticas de 4to año Tema: Propiedades de las Funciones Exponenciales Marco Teórico En esta lección aprenderá sobre las funciones exponenciales, una familia de funciones distintas a las otras
Más detallesFormato para prácticas de laboratorio
PLAN DE CLAVE CARRERA NOMBRE DE LA ASIGNATURA ESTUDIO ASIGNATURA LSC 2009-2 11290 Introducción a la Programación PRÁCTICA No. 2 LABORATORIO DE NOMBRE DE LA PRÁCTICA Licenciado en Sistemas Computacionales
Más detallesTEMA 1. MATRICES, DETERMINANTES Y APLICACIÓN DE LOS DETERMINANTES. CONCEPTO DE MATRIZ. LA MATRIZ COMO EXPRESIÓN DE TABLAS Y GRAFOS.
TEMA 1. MATRICES, DETERMINANTES Y APLICACIÓN DE LOS DETERMINANTES. 1. MATRICES. CONCEPTO DE MATRIZ. LA MATRIZ COMO EXPRESIÓN DE TABLAS Y GRAFOS. DEFINICIÓN: Las matrices son tablas numéricas rectangulares
Más detallesII. Razonamiento con conocimiento preciso
II. Razonamiento con conocimiento preciso Tema 4 Web Semántica y Web de Datos (Linked Data) Sistemas Basados en el Conocimiento Grado en Ingeniería Informática 1 Razonamiento con conocimiento preciso Tema
Más detallesWeb Semántica y Linked Data
Web Semántica y Linked Data Tecnologías semánticas Manuel Lama Penín Centro Singular de Investigación en Tecnoloxías da Información UNIVERSIDADE DE SANTIAGO DE COMPOSTELA citius.usc.es Web Semántica PLANTEAMIENTO
Más detallesImportar Perfiles de Materiales de Impresión en VersaWorks de Roland
GUÍA DE SOLUCIÓN DE PROBLEMAS de Impresión en VersaWorks de Roland Este documento es una guía para la solución de problemas con la importación de perfiles de materiales de impresión del Centro de Perfiles
Más detallesPlataforma de formación. Guía de manejo
Plataforma de formación Guía de manejo ACCESO A LA PLATAFORMA A continuación vamos a dar un breve paseo por uno de nuestros cursos, de esta manera os presentaremos el manejo de la Plataforma de formación.
Más detallesSISTEMAS DE ECUACIONES LINEALES Y MATRICES Dos ecuaciones lineales con dos
de SISTEMAS DE ECUACIONES ES Y MATRICES Dos m con n Sergio Stive Solano 1 Febrero de 2015 1 Visita http://sergiosolanosabie.wikispaces.com de SISTEMAS DE ECUACIONES ES Y MATRICES Dos m con n Sergio Stive
Más detallesMateria: Matemática de Octavo Tema: Raíces de un polinomio. Marco teórico
Materia: Matemática de Octavo Tema: Raíces de un polinomio Y si tuvieras una ecuación polinómica como? Cómo podrías factorizar el polinomio para resolver la ecuación? Después de completar esta lección
Más detallesFORMATO CONDICIONAL Y FORMATO PERSONALIZADO.
º 2015 FORMATO CONDICIONAL Y FORMATO PERSONALIZADO. PRESENTADO POR: SOFIA BOSSIO MARTHA ALBA JAVIER ZARATE JORGE JIMENEZ GRADO: 10B FECHA: 27/08/15 FORMATO PERSONALIZADO DE CELDAS EN EXCEL Con el formato
Más detallesDiagramas de secuencia
Facultad de Ingeniería Departamento de Ingeniería de Sistemas y Computación Diagramas de secuencia Interacciones básicas 1 Para qué sirven los diagramas de secuencia? 2 Para qué sirven los diagramas de
Más detallesApéndice A. Análisis y diseño de la aproximación. Especicación de Requisitos Software
Anexos 39 Apéndice A Análisis y diseño de la aproximación Este anexo expone el análisis que se realizó de la aproximación obtenida; se realizo antes de realizar la implementación para comprender la naturaleza
Más detallesLa Web Semántica. Asunción Gómez-Pérez {asun}@fi.upm.es http://www.oeg-upm.net
La Web Semántica Asunción Gómez-Pérez {asun}@fi.upm.es http://www.oeg-upm.net Omtological Engineering Group Laboratorio de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
Más detallesTema 9: Cálculo Deductivo
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la
Más detallesNOTAS TÉCNICAS SOBRE EL SIT: Comisiones Comerciales
NOTAS TÉCNICAS SOBRE EL SIT: Comisiones Comerciales Procedimiento Estándar...2 Alta de Comerciales o Agentes... 2 Comercial por defecto... 2...3 Introducción... 3 Pasos previos... 3 Relaciones de Mandos...
Más detallesNOCIONES PRELIMINARES (*) 1
CONJUNTOS NOCIONES PRELIMINARES (*) 1 Conjunto no es un término definible, pero da idea de una reunión de cosas ( elementos ) que tienen algo en común. En matemática los conjuntos se designan con letras
Más detallesLos números enteros Z = {,-3, -2, -1, 0, 1, 2, 3, }
Los números enteros La unión de los números naturales y los enteros negativos forma el conjunto de los números enteros, que se designa con la palabra Z. Está constituido por infinitos elementos y se representan
Más detalles1. dejar a una lado de la igualdad la expresión que contenga una raíz.
1. Resuelve las siguientes ecuaciones reales: Solución x 1 + x = 0 ; 3 x = 3 ; ln(x 1) + 4 = ln 3 Ecuaciones con raíces: No todas las ecuaciones de este tipo son sencillas de resolver, pero podemos intentar
Más detalles7. Poblar base de datos a partir de documentos XML validados con esquemas XML
7. Poblar base de datos a partir de documentos XML validados con esquemas XML En este capítulo se aborda el tema de la población de la base de datos que se creó con el constructor automático de bases de
Más detallesSCUACAC026MT22-A16V1. SOLUCIONARIO Ejercitación Generalidades de números
SCUACAC026MT22-A16V1 0 SOLUCIONARIO Ejercitación Generalidades de números 1 TABLA DE CORRECCIÓN GUÍA PRÁCTICA EJERCITACIÓN GENERALIDADES DE NÚMEROS Ítem Alternativa 1 E 2 D 3 B 4 E 5 A 6 E 7 B 8 D 9 D
Más detallesTema 7. Lógicas de descripciones. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt
Tema 7 Lógicas de descripciones Año académico 2014/15 Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt 1 Referencias Reasoning in Description Logics: Basics, Extensions, and Relatives.
Más detallesFunciones básicas del depurador
Funciones básicas del depurador Con frecuencia, los alumnos piensan que cuando su programa no tiene errores de compilación (está correctamente escrito) entonces ya es correcto. Muchas veces esto no es
Más detallesPMP Test C05_ El sistema de codificación de la Estructura de Desglose de Trabajo permite al equipo de proyecto:
PMP Test C05_01 01. El sistema de codificación de la Estructura de Desglose de Trabajo permite al equipo de proyecto: A. Estimar sistemáticamente los costes de los elementos de la Estructura de Desglose
Más detallesM A N U A L D E U S U A R I O
M A N U A L D E U S U A R I O 1 Índice 1. Página Web 3 2. Pantalla Inicial 3 3. Pantalla de cambio de contraseña y actualización de pasaporte 4 4. Pantalla Principal 5 5. Pantalla de Trabajo 6 6. Generar
Más detallesNovell. Novell Teaming 1.0. novdocx (es) 6 April 2007 EXPLORAR EL PORTLET DE BIENVENIDA DESPLAZARSE CON NOVELL TEAMING NAVIGATOR.
Guía de inicio rápido de Novell Teaming Novell Teaming 1.0 Julio de 2007 INICIO RÁPIDO www.novell.com Novell Teaming El término Novell Teaming que aparece en este documento se aplica a todas las versiones
Más detallesGUÍA DE FUNCIONAMIENTO BASICO DE LA PLATAFORMA DOCENTE MOODLE
GUÍA DE FUNCIONAMIENTO BASICO DE LA PLATAFORMA DOCENTE MOODLE FUNCIONAMIENTO MOODLE MOODLE es una plataforma educativa con la que se pretende alcanzar una buena comunicación e interacción entre los profesores
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesUnidad 29: Formato condicional
Unidad 29: Formato condicional 29.0 Introducción El formato condicional es un formato que depende del valor de una celda o de su contenido. Por ejemplo, en una base de datos de salarios del personal, usted
Más detallesA. Menéndez Taller CES 15_ Confiabilidad. 15. Confiabilidad
15. Confiabilidad La confiabilidad se refiere a la consistencia de los resultados. En el análisis de la confiabilidad se busca que los resultados de un cuestionario concuerden con los resultados del mismo
Más detallesAPLICACIÓN DXF_TO_CTE PARA LA CONVERSIÓN DE ARCHIVOS DXF A CTE
APLICACIÓN DXF_TO_CTE PARA LA CONVERSIÓN DE ARCHIVOS DXF A CTE INSTRUCCIONES DE USO Aunque Lider/Calener permite la gestión de archivos DXF, la geometría del edificio tiene que volver a dibujarse en un
Más detallesPASO 1: Seleccionar Mis órdenes de compra Con la opción de Mis órdenes de compra podrá realizar las siguientes acciones:
PASO 1: Seleccionar Mis Con la opción de Mis órdenes de compra podrá realizar las siguientes acciones: 1) Gestionar las órdenes de compra que su cliente haya enviado a Tungsten Network. Haga clic en Mis
Más detallesCONSTRUCCIÓN DE GRÁFICOS CON EXCEL
CONSTRUCCIÓN DE GRÁFICOS CON EXCEL I. Recomendaciones para la utilización de cada gráfico de Excel 1. Gráfico de columna horizontal (figura 1) y vertical (figura 2) Son útiles para comparar categorías,
Más detallesOntologías. Santi García Jiménez
Ontologías Santi García Jiménez Indice Introducción Definición Tipos Descripciones semanticas Lenguajes Ontologicos OWL Conclusiones Introducción Automatización Usos populares de determinadas frases (tradicional)
Más detallesRESPUESTA A PREGUNTAS INFORMÁTICAS FRECUENTES.
RESPUESTA A PREGUNTAS INFORMÁTICAS FRECUENTES. La primera vez que se pide a un ordenador que descargue una imagen o la primera vez que se hace con unas claves que se utilizan por 1º vez (por ej: los residentes
Más detallesLos números naturales
Los números naturales Los números naturales Los números naturales son aquellos que sirven para contar. Se suelen representar utilizando las cifras del 0 al 9. signo suma o resultado Suma: 9 + 12 = 21 sumandos
Más detallesEn este manual se propone utilizar el SkyDrive del correo electrónico del CONALEP, sin embargo también es
En este manual se propone utilizar el SkyDrive del correo electrónico del CONALEP, sin embargo también es funcional para el correo electrónico de HOTMAIL y OUTLOOK. En el caso de que el alumno tenga algún
Más detallesAnexo. Control de errores
Anexo. Control de errores Tipos de errores Los errores en un programa o algoritmo se pueden clasificar de la siguiente manera Errores de compilación Los errores de compilación no permiten la ejecución
Más detallesTesauro Gestion de patrimonio Inmaterial
d dalo Tesauro plataforma d dalo Gestion de patrimonio Inmaterial Tesauro: La creación de un tesauro implica la categorización de la información siguiendo un enfoque de nuestro proyecto que debemos definir
Más detallesSIIGO WINDOWS. Procesos de Caja Menor. Cartilla I
SIIGO WINDOWS Procesos de Caja Menor Cartilla I Tabla de Contenido 1. Presentación 2. Qué son Cajas Menores? 3. Qué Aspectos se Deben Tener en Cuenta Antes de Iniciar la Contabilización de los Recibos
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios
MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los
Más detallesGuía de integración del módulo PayNoPain en Prestashop
Guía de integración del módulo PayNoPain en Prestashop Índice 1. Requisitos previos... 3 1.1 Crear cuenta en PaynoPain... 3 1.2 Instalar MyCrypt... 3 2. Instalación y configuración en Prestashop 1.4...
Más detallesCuáles de ellas son una disolución? Por qué dices que son disoluciones? Puedes identificar alguna sustancia que las forma?
: MATERIAL PARA EL ALUMNADO Sustancias solubles y no solubles en agua Actividad 1. Qué sabemos sobre las sustancias solubles? Identificar bebidas que utilizamos en nuestra vida cotidiana. En nuestra vida
Más detallesPET-PROGRAMA PARA FORMAR PARTE DE LAS LISTAS DE SELECCIÓN DE PERSONAL ESTATUTARIO TEMPORAL GUIA RÁPIDA DEL USUARIO
GOBIERNO de CANTABRIA CONSEJERIA DE SANIDAD Y SERVICIOS SOCIALES PET-PROGRAMA PARA FORMAR PARTE DE LAS LISTAS DE SELECCIÓN DE PERSONAL ESTATUTARIO TEMPORAL GUIA RÁPIDA DEL USUARIO SUBDIRECCIÓN DE RECURSOS
Más detallesWeb semántica y Linked Data
Web semántica y Linked Data Daniel Vila Suero dvila@fi.upm.es 17/10/2011 Ontology Engineering Group, Universidad Politécnica de Madrid Agradecimientos: A los miembros del OEG que han participado en la
Más detallesENSAYO ARGUMENTATIVO SPAN 115
ENSAYO ARGUMENTATIVO SPAN 115 DEFINICIÓN Argumentación/planteamiento Aporta razones o argumentos que sustentan ideas u opiniones sobre un tema Escrito no muy breve que después de enumerar los planteamiento
Más detallesFPP: Frontera de posibilidades de producción.
TEMA 3 FPP: Frontera de posibilidades de producción. INDICE Frontera de posibilidades de producción Curva de eficiencia Curva de transformación Consumo: Presente y Futuro Frontera de las posibilidades
Más detallesMICROSOFT ACCESS 2016 Básico
MICROSOFT ACCESS 2016 Básico METODOLOGÍA DE LOS CURSOS Cursos interactivos sobre materias especializadas en los que el alumno avanza de forma guiada bajo una concepción learning by doing (aprender haciendo).
Más detallesCatálogo de Trabajadores
Escuela de Computación Empresarial Cuaderno de trabajo de NOI-Windows Objetivo general: Al termino de esta sección el alumno operará el Catálogo de los trabajadores y datos complementarios, aprenderá la
Más detallesActividades de apoyo. Problemas aritméticos y algebraicos. Actividad 1.1.
Problemas aritméticos y algebraicos Actividad 1.1. Indicador. Elabora ejemplos de representaciones de números y practica operaciones aritméticas. Nivel de aprendizaje. Conceptual y procedimental Observa
Más detallesPRÁCTICAS DE ELECTRICIDAD Y ELECTRÓNICA CON CROCODILE. Lucía Defez Sánchez Profesora de la asignatura tecnología en la ESO
PRÁCTICAS DE ELECTRICIDAD Y ELECTRÓNICA CON CROCODILE Lucía Defez Sánchez Profesora de la asignatura tecnología en la ESO 1 OBJETO Se elabora el presente cuaderno de prácticas con el fin de facilitar la
Más detallesMicroeconomía Superior I: Tema 2
UNIVERSIDAD COMPLUTENSE DE MADRID Departamento de Fundamentos del Análisis Económico I Microeconomía Superior I: Tema 2 Rafael Salas octubre de 2004 2. Las preferencias del consumidor 1. Enfoque ordinal.
Más detallesDesarrollo de una ontología para la representación del dominio de transferencia de resultados de investigación universitaria
FACULTAD DE COMUNICACIÓN Y DOCUMENTACIÓN GRADO EN INFORMACIÓN Y DOCUMENTACIÓN TRABAJO FIN DE GRADO Desarrollo de una ontología para la representación del dominio de transferencia de resultados de investigación
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesMateria: Matemática de Séptimo Tema: Circunferencia. Marco teórico
Materia: Matemática de Séptimo Tema: Circunferencia Cómo harías para saber la longitud de la concha de la pizza? Una pizza grande tiene 14 pulgadas de diámetro y se puede cortar en 8 o 10 pedazos, la concha
Más detallesUNIVERSIDAD DE EL SALVADOR FACULTAD DE JURISPRUDENCIA Y CIENCIAS SOCIALES ESCUELA DE CIENCIAS JURIDICAS
UNIVERSIDAD DE EL SALVADOR FACULTAD DE JURISPRUDENCIA Y CIENCIAS SOCIALES ESCUELA DE CIENCIAS JURIDICAS SEMINARIO DE GRADUACIÓN REGLAS BASICAS DE REDACCIÓN Y ORTOGRAFÍA DE TRABAJOS DE INVESTIGACIÓN Lic.
Más detalles