Asignatura de Doctorado 2007 La Web Semántica Tema 1 Asignatura de Doctorado 2007
Indice Introducción Documentos Web en XML
1.Introducción
Introducción La Web hoy: La evolución: El futuro: ... Contenido dirigido a los humanos Herramienta principal: buscadores basados en palabras claves (baja precisión, escasa memoria, resultados basados en documentos únicos). La evolución: La web semántica y el uso de agentes software. El futuro: ... Personalización de la web. Justificación decisiones agentes software (confianza).
Introducción Tecnologías necesarias para la Web Semántica: Meta-datos explícitos Ontologías (especificación formal de una conceptualización) Lógica (subconjuntos tratables) Agentes (software autónomo, proactivo con objetivo)
Introducción Niveles en la Web Semántica (Compatibilidad Compresión parcial ) (Nivel 1) Ontología. OWL, RDF, RDF-Schema, XML, XML-Schema. (Nivel 2) Lógica. WRL, SWRL. (Nivel 3) Prueba. Representación de pruebas. (Nivel 4) Confianza Certificaciones, recomendaciones.
Introducción Lecturas de interés: (Introducción) T. Berners-Lee, J. Hendler and O. Lassila. The Semantic Web. Scientific American 284 (May 2001): 34-43. (Libro) G. Antoniuou, F. Van Harmelen. The Semantic Web Premier. MIT Press 2004. (Investigación) M. Kifer, J. De Brujin, H. Boley y D. Fensel. A Realistic Architecture of the Semantic Web. 1st Int. Conference RuleML, Nov. 2005.
2.Documentos Web en XML
Documentos Web en XML HTML no estructura la información, sólo la formatea para ser visualizada. <h2>Nonmonotonic reasoning: Context-Dependent Reasoning</h2> <i>by <b>V. Marek</b> and <b>M. Truszczynnski</b></i><br> Springer 1993 <br> XML estructura la información: <book> <title>Nonmonotonic reasoning: Context-Dependent Reasoning</title> <author>V. Marek</author> and <author>M. Truszczynski<author> <publisher> Springer 1993 </publisher> <year> Springer 1993 </year> </book>
Documentos Web en XML Aplicación Documento XML Procesador XML XML (Extensible Markup Language) Aplicación Documento XML Procesador XML
Documentos Web en XML documento XML = prólogo (elementos)* prólogo = <?xml version=“1.0” encoding=“UTF-16” standalone=“no” ?> (documento estructura externo)? documento estructura externo = <!DOCTYPE book SYSTEM “book.dtd”>
Documentos Web en XML Elementos: contenido del documento mediante declaraciones etiquetadas. <lecturer>David Billington</lecturer> <lecturer> <name>D. Billington</name> <phone>+61-7-3875 507</phone> </lecturer> <lecturer/>
Documentos Web en XML Atributos: propiedades asociadas a un elemento. Se presentan en la forma nombre = valor. <lecturer name=“D. Billington” phone=“+61-7-3875 507” /> <order orderNum=“2000” customer=“J. Smith” /> <item> itemNum=“a1” quantity=“2”</item> <item> itemNum=“a5” quantity=“1”</item> <order/>
Documentos Web en XML Los documentos XML pueden representarse en forma de árbol. <?xml version=“1.0” encoding=“UTF-16” ?> <!DOCTYPE email SYSTEM “email.dtd”> <email> <head> <from name=“M. Maher” address=“maher@cs.gu.edu.au” /> <to name=“G. Antoniou” address=“grigoris@unibremen.de” /> <subject> About XML </subject> </head> <body> Grigoris, where is the draft o fthe paper ? </body> </email>
Documentos Web en XML Root email head body from to subject name Los documentos XML pueden representarse en forma de árbol. Root email head body from to subject Grigoris, where is the draft o fthe paper ? name address name address About XML M. Maher G. Antoniou grigoris@ unibremen.de maher@ cs.gu.edu.au
Documentos Web en XML Estructurar documentos XML: DTDs y XML Schema. DTDs (Elementos) <lecturer> <name>D. Billington</name> <phone>+61-7-3875 507</phone> </lecturer> <!ELEMENT lecturer (name, phone)> <!ELEMENT name (#PCDATA)> <!ELEMENT phone (#PCDATA)>
Documentos Web en XML DTDs (Atributos) <!ATTLIST order <order orderNum=“2000” customer=“J. Smith” /> <item> itemNum=“a1” quantity=“2”</item> <item> itemNum=“a5” quantity=“1”</item> <order/> <!ELEMENT order (item+)> <!ATTLIST order orderNum ID #REQUIRED customer CDATA #REQUIRED > <!ELEMENT item EMPTY> <!ATTLIST item itemNum ID #REQUIRED quantity CDATA #REQUIRED comments CDATA #IMPLIED>
Documentos Web en XML DTDs (Tipos atributos) DTDs (Tipos valores) CDATA (string) ID IDREF (v1 | v2 | ...) (enumerado) DTDs (Tipos valores) #REQUIRED (obligatorio) #IMPLIED (opcional) #FIXED (fijo) “valor” (defecto)
Documentos Web en XML XML Schema XML Schema (elementos, atributos) <xsd:schema xmlns:xsd=“http://www.w3.org/2000/10/XMLSchema” Version=“1.0”> XML Schema (elementos, atributos) <element name=“speaks” type=“Language” use=“default”/> <atribute name=id type=ID use=“required”/>
Documentos Web en XML XML Schema (tipos predefinidos) integer, Short, Byte, Long, Float (Numéricos) string, ID, IDREF, CDATA, Language (Strings) time, Date, Month, Year (Fecha y hora) XML Schema (tipos definidos por el programador) Tipos complejos: se definen a partir de otros elementos y usar un constructor de tipo sequence, all, choice. <complexType name=“lecturerType” > <sequence> <element name=“firstname” type=“string” minOccurs=“0” maxOccur s=“unbounded”/> <element name=“lastname” type=“string”/> </sequence> </complexType>
Documentos Web en XML XML Schema (Extensión de tipos) <complexType name=“extendedlecturerType” > <extension base=“lecturerType”> <sequence> <element name=“firstname” type=“string” minOccurs=“0” maxOccur s=“unbounded”/> <element name=“lastname” type=“string”/> </sequence> </complexType>
Documentos Web en XML XML Schema (Restricción de tipos) <complexType name=“restrictedlecturerType” > <restriction base=“lecturerType”> <sequence> <element name=“firstname” type=“string” minOccurs=“0” maxOccur s=“2”/> </sequence> </complexType>
Documentos Web en XML XML Schema (tipos definidos por el programador) Tipos simples. <simpleType name=“dayOfMonth” > <restriction base=“integer”> <minInclusive value=“1”/> <maxInclusive value=“31”/> </restriction> </simpleType>
Documentos Web en XML Espacios de nombres (importación y resolución de ambigüedades) <?xml version=“1.0” encoding=“UTF-16”?> <vu:instructors xmlns:vu=“http://www.vu.com/empDTD” xmlns:gu=“http://www.gu.au/empDTD” xmlns:uky=“http://www.uky.edu/empDTD”> <uky:faculty uky:title=“assistant professor” uky:namee=“John Smith”/> <gu:academicStaff gu:title=“lecturer” gu:namee=“Mark Jones”/> </vu:instructors>
Documentos Web en XML Localización y consulta (path expressions) <?xml version=“1.0” encoding=“UTF-16”?> <!DOCTYPE library PUBLIC “library.dtd”> <library location=“Bremen”> <author name=“Henry Wise”> <book title=“Modern Web Services”/> <book title=“Theory of Computation”/> </author> <author name=“William Smart”> <book title=“Artificial Intelligence”/> <author name=“Cynthia Singleton”> <book title=“The Semantic Web”/> </library>
Documentos Web en XML Localización y consulta (path expressions) Referencia a todos los elementos author hijos del elemento library = /library/author Referencia a todos los elementos author en el documento = //author Referencia al atributo location del elemento library = /library/@location Referencia a todos los elementos book cuyo atributo title vale “Artificial Intelligence” = //book[@title= “Artificial Intelligence”]
Documentos Web en XML Lecturas de interés: (Referencia) The Extensible Markup Language. http://www.w3.org/XML. (Referencia) The Extensible Stylesheet Language Family http://www.w3.org/Style/XSL.
Asignatura de Doctorado 2007 La Web Semántica Tema 1 Asignatura de Doctorado 2007