w3c-2004-Directrices_ Web Semantica
-
Upload
diego-m-cacerez -
Category
Documents
-
view
14 -
download
0
description
Transcript of w3c-2004-Directrices_ Web Semantica
-
WEB Semntica
Recomendacin del W3C 10 de febrero 2004
Nueva versin disponible: "RDF 1.1 Semntica" (Estado del documento de actualizacin de 25 de febrero de 2014)
El Grupo de Trabajo RDF ha producido una Recomendacin del W3C para una nueva versin de RDF que aade caractersticas para esta versin 2004, sin dejar de ser compatible. Por favor vea "RDF 1.1 Semntica" para una nueva versin de este documento, y el "Novedades en RDF 1.1" documento para las diferencias entre esta versin de RDF y RDF 1.1.
Esta versin: http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
Ultima versin: http://www.w3.org/TR/rdf-mt/
Versin previa: http://www.w3.org/TR/2003/PR-rdf-mt-20031215/
Editor: Patrick Hayes (IHMC)
Editor de series Brian McBride (Hewlett Packard Labs)
Por favor, consulte la fe de erratas de este documento, que puede incluir algunas correcciones normativas.
Ver tambin traducciones.
Derechos de autor 2004 W3C (MIT, ERCIM, Keio), Todos los Derechos Reservados. W3C de responsabilidad, marcas, uso de documentos y licencias de software se aplican las reglas.
Abstracto
Esta es una especificacin de una semntica precisa, y los correspondientes sistemas completos de reglas de inferencia, para el Resource Description Framework (RDF) y el Esquema RDF (RDFS).
-
DIRECTRICES DE LAS TECNOLOGIAS DE LA WEB
SEMANTICA XD3W3C (Actualizado 2004)
ESTNDARES PARA LA LOCALIZACIN DE RECURSOS
En la web de forma inequvoca y nica como son los URIs ( Uniform Resource
Identifiers ) y la norma internacional Unicode para la Codificacin de caracteres a
nivel internacional.
El objetivo general de RDF es definir un mecanismo para describir recursos que no
cree ninguna asuncin sobre un dominio de aplicacin particular, ni defina (a priori)
la semntica de algn dominio de aplicacin. La definicin del mecanismo debe ser
neutral con respecto al dominio, sin embargo el mecanismo debe ser adecuado
para describir informacin sobre cualquier dominio.
Esta especificacin continuar con otros documentos que completarn el marco.
Sobre todo, para facilitar la definicin de metadatos, RDF contar con un sistema
de clasificacin muy parecido a los sistemas de programacin y modelado orientado
a objetos. Una coleccin de categoras (producida normalmente para un propsito
o dominio especfico) denominada schema. Las categoras se organizan en una
jerarqua, y proporcionan extensibilidad a travs de un refinamiento de
subcategoras. As, para crear un esquema ligeramente diferente de uno existente
no es necesario "reinventar la rueda" pero se pueden facilitar modificaciones
incrementales al esquema base.
Condiciones semnticas para nodos en blanco.
Si E es un nodo en blanco y A (E) se define a continuacin, [I + A] (E) = A (E)
Si E es un grafo RDF entonces (E) = cierto si [I + A '] (E) = cierto para algunos mapeo A' del blanco (E) para IR, de lo contrario (E) = false.
Tenga en cuenta que esto no cambia la definicin de una interpretacin; todava se
compone de los mismos valores de IR, IP, IEXT, es decir, BT y IL. Simplemente
ampla las reglas para definir denotaciones en virtud de una interpretacin, por lo
-
que la misma interpretacin que proporciona un valor de verdad para los grficos
de tierra tambin asigna valores de verdad a los grficos con nodos en blanco, a
pesar de que no proporciona ninguna denotacin para los propios nodos en
blanco. Observe tambin que los propios nodos en blanco son entidades
perfectamente bien definidos; se diferencian de los otros nodos slo en que no se
asign una denotacin por una interpretacin, lo que refleja la intuicin de que no
tienen "global" que significa (es decir, fuera de la grfica en la que se producen).
Por ejemplo, el grfico definido por las siguientes triples es falsa en la interpretacin
muestra en la figura 1:
_: xxx .
_: xxx.
ya que si A 'MAPAS El nodo en blanco a 1 entonces la primera triple es falsa en I +
A', y si se asigna a 2, entonces el segundo triple es falsa.
Reglas de vinculacin simples.
Nombre de la regla
Si E contiene
Luego aade
SE1 uuu aaa xxx.
uuu aaa _: nnn.
donde _: nnn identifica un nodo en blanco destinado a xxx por SE1 regla o SE2.
se2 uuu aaa xxx.
_: Xxx aaa nnn.
donde _: nnn identifica un nodo en blanco destinado a uuu por SE1 regla o SE2.
La terminologa "asignado a 'significa que el nodo en blanco debe haber sido creado
por una solicitud anterior de las reglas especificadas en la misma referencia URI,
nodo en blanco o literal, o si no existe tal nodo en blanco entonces debe ser un"
nuevo " nodo que no ocurre en el grfico. Esta condicin bastante complicado
asegura que la grfica resultante, obtenida por adicin de los nuevos triples en
blanco nodos, tiene el grfico original como una instancia correcta y que cualquier
-
grfico tendr un subgrafo que es el mismo como uno que puede ser generado por
estas reglas . Por ejemplo, el grfico
A travs de la comparticin del esquema RDF soportar la reutilizacin de
definiciones de metadatos. Gracias a la extensibilidad incremental de RDF, los
agentes que procesen metadatos sern capaces de trazar los orgenes del
esquema que no conocen con respaldo para conocer el esquema y realizar
acciones significativas en los metadatos que no han sido diseados inicialmente
para procesar. La capacidad de compartir y la extensibilidad de RDF permiten a
los creadores de metadatos usar mltiples cambios de la categora de objetos para
"mezclar" definiciones, para proporcionar mltiples presentaciones a sus datos,
haciendo uso del trabajo de otros. En sntesis, es posible crear objetos especficos
de datos basados en diversos esquemas de distintas fuentes (p. ej. "intercalando"
diferentes tipos de metadatos). Los esquemas pueden escribirse en RDF; un
documento que acompaa a esta especificacin [RDFSchema], describe un
conjunto de propiedades y clases para describir esquemas RDF.
Como resultado de la reunin de distintas comunidades que estn de acuerdo en
los principios bsicos de la representacin y transposicin de metadatos, RDF est
influido de varias fuentes diferentes. Las principales influencias provienen de la
propia Comunidad de Normalizacin de la Web en forma de metadatos HTML y
PICS, la comunidad bibliotecaria, la comunidad de los documentos estructurados
en forma de SGML y sobre todo XML, y tambin de la comunidad de representacin
del conocimiento (KR). Tambin han contribuido al diseo de RDF otras reas de
la tecnologa; incluidos los lenguajes de modelado y programacin orientada a
objetos, as como las bases de datos. Mientras RDF surge de la comunidad KR [de
la representacin del conocimiento], la bibliografa relacionada con este campo,
advierte que RDF no especifica un mecanismo para el razonamiento. RDF puede
definirse como un sistema simple. Un mecanismo de razonamiento debe
construirse sobre este sistema de referencia.
-
UN MODELO BSICO
Para establecer propiedades sobre los recursos, para el que se emplear RDF
(Resource Description Framework ), as como un modelo para definir relaciones
entre los recursos por medio de clases y objetos, que se expresan mediante
esquemas en RDF ( RDF Schema ).
Localizacin implcita rellena los valores de la propiedad de un archivo de
recursos local basado en claves coincidentes con las propiedades. Si utiliza
una herramienta en Visual Web Developer, puede marcar automticamente
todos los controles de una pgina para localizacin implcita.
Localizacin explcita Crear una expresin que lee un recurso concreto
de un archivo de recursos local o global. Debe crear las expresiones de cada
propiedad del control que desee establecer mediante un recurso.
Tambin puede leer los valores de los archivos de recursos mediante
programacin. Para obtener ms informacin, vea Cmo: Recuperar valores de
recursos mediante programacin. Para obtener ms informacin sobre localizacin
implcita y explcita, vea Informacin general sobre los recursos de las pginas Web
y Cmo: Utilizar recursos para establecer valores de propiedad en los controles de
servidor Web.
En Oracle Solaris 11, la calidad del servicio (QoS) se obtiene de manera ms fcil
y dinmica, mediante la gestin de recursos de red. La gestin de recursos de red
incluye la configuracin de las propiedades de enlaces de datos que pertenecen a
los recursos de la red. Al establecer estas propiedades, se determina qu parte de
un determinado recurso se puede utilizar para procesos de red. Por ejemplo, un
enlace se puede asociar a un nmero especfico de CPU que se reservan
exclusivamente para procesos de red. O bien, a un enlace se le puede asignar un
ancho de banda determinado para procesar un tipo especfico de trfico de la red.
Una vez que se define una propiedad de recurso, el nuevo valor se aplica de
inmediato. Este mtodo permite la flexibilidad de la gestin de recursos. Puede
definir propiedades de recursos al crear el enlace. Como alternativa, puede definir
-
estas propiedades ms tarde, por ejemplo, despus de estudiar el uso de los
recursos a lo largo del tiempo y de determinar la mejor manera de asignar mejor el
recurso. Los procedimientos para asignar recursos se aplican tanto al entorno de
red virtual como a las redes fsicas tradicionales. Por ejemplo, el comando dladm
set-linkprop se utiliza para establecer las propiedades relacionadas con los
recursos de la red. La misma sintaxis se utiliza en los enlaces de datos fsicos y
virtuales.
La gestin de los recursos de red se puede comparar con la creacin de vas
dedicadas para el trfico. Al combinar distintos recursos para prestar servicio a tipos
especficos de paquetes de red, esos recursos forman una va de red para esos
paquetes. Los recursos se pueden asignar de forma diferente para cada va de red.
Por ejemplo, puede asignar ms recursos a una va donde el trfico de la red es
ms pesado. Al configurar las vas de red para que los recursos se distribuyan de
acuerdo a las necesidades reales, se aumenta la eficiencia del sistema para
procesar paquetes. Para obtener ms informacin sobre vas de red, consulte
Descripcin general del flujo del trfico de red.
LENGUAJES PARA LA REPRESENTACIN
Lo ideal es utilizar Ontologas que permitan la interoperabilidad y reutilizacin entre
ontologas de diversos dominios del conocimiento en el web, cuya base se
encuentra en RDF Schema .
RDF es un lenguaje assertional destinados a ser utilizados para expresar
proposiciones utilizando vocabularios formales precisos, sobre todo aquellas
especificadas utilizando RDFS [RDF-VOCABULARIO], para el acceso y el uso de
la World Wide Web, y tiene por objeto proporcionar un fundamento bsico para
assertional ms avanzado idiomas con un propsito similar. Los objetivos generales
de diseo destacan generalidad y precisin en la expresin de las proposiciones
sobre cualquier tema, en lugar de la conformidad con cualquier modelo de
procesamiento particular: ver el Conceptos documento RDF [RDF-CONCEPTOS]
para ms discusin.
-
Exactamente lo que est considerado como el "significado" de una afirmacin en
RDF o RDFS en cierto sentido amplio puede depender de muchos factores,
incluyendo las convenciones sociales, comentarios en lenguaje natural o enlaces a
otros documentos de contenido que soportan. Gran parte de este sentido ser
inaccesible para el procesamiento de la mquina y se mencionan aqu slo para
enfatizar que los formales semntica que se describen en este documento no
pretende ofrecer un anlisis completo de "significado" en este sentido amplio; eso
sera un tema de investigacin de gran tamao. La semntica se dan aqu se limita
a un oficial nocin de significado que podra caracterizarse como la parte que es
comn a todas las dems cuentas de significado, y puede ser capturado en
mecnicas de inferencia reglas.
En este documento se utiliza una tcnica bsica llamada teora de modelos para
especificar la semntica de un lenguaje formal. Los lectores no familiarizados con
la teora de modelos puede encontrar el glosario en el apndice B tiles; en todo el
texto, los usos de trminos en un sentido tcnico estn vinculados a sus
definiciones del glosario. La teora de modelos asume que el lenguaje se refiere a
un 'mundo', y describe las condiciones mnimas que un mundo debe cumplir con el
fin de asignar un significado apropiado para cada expresin en el lenguaje. Un
particular, el mundo se llama interpretacin, por lo que la teora de modelos podra
ser mejor llamado 'teora de la interpretacin ". La idea es proporcionar una, cuenta
matemtica abstracta de las propiedades que cualquier interpretacin debe tener,
por lo que la menor cantidad posible de presunciones acerca de su naturaleza real
o estructura intrnseca, reteniendo as tanto la generalidad de lo posible. La principal
utilidad de una teora semntica formal es no proporcionar ningn anlisis profundo
de la naturaleza de las cosas que se describe por el idioma o para sugerir cualquier
modelo de proceso en particular, sino ms bien proporcionar una manera tcnica
para determinar cuando los procesos de inferencia son vlidas, es decir, cuando se
preservan verdad. Esto proporciona la mxima libertad para las implementaciones
conservando una nocin global coherente de significado.
-
Teora Modelo intenta ser metafsicamente y ontolgicamente neutral. Por lo
general se expresa en el lenguaje de la teora de conjuntos, simplemente porque
ese es el lenguaje normal de las matemticas - por ejemplo, esta semntica supone
que los nombres denotan cosas en un conjunto de infrarrojos llamado el 'universo'
- pero el uso del lenguaje conjuntista aqu es no supone dar a entender que las
cosas en el universo se establecen-terica en la naturaleza. La teora de modelos
es generalmente ms relevante para la aplicacin a travs de la nocin de
vinculacin, se describe ms adelante, lo que hace posible definir vlidas de
inferencia reglas.
Una forma alternativa de especificar una semntica es dar una traduccin de RDF
en una lgica formal con una teora de modelos que ya est fijado, por as decirlo.
Este enfoque de "semntica axiomtica 'ha sugerido y utilizado previamente con
diversas versiones alternativas de la meta de lenguaje lgico [Conen y Klapsing]
[Marchiori y Saarela] [McGuinness y otros]. Dicha traduccin para RDF y RDFS
tambin se da en el L base de la especificacin [LBASE]. El estilo de la semntica
axiomtica tiene algunas ventajas para el procesamiento de la mquina y puede
ser ms fcil de leer, pero en el caso de que alguna semntica axiomtica no se
ajuste a la semntica de teora de modelos descritos en este documento, la teora
modelo debe ser tomado como normativo.
Hay varios aspectos de significado en RDF que son ignorados por esta semntica;
en particular, trata referencias URI como nombres simples, ignorando aspectos del
significado codificados en particular, las formas de URI [RFC 2396] y no
proporciona ningn anlisis de datos variables en el tiempo o de cambios en las
referencias URI. No proporciona ningn anlisis de indexicales usos de referencias
URI, por ejemplo, para decir 'este documento ". Algunas partes de los vocabularios
RDF y RDFS no se les asigna ningn significado formal, y en algunos casos, en
particular la reificacin y vocabularios de contenedores, se asigna menos
significado que uno podra esperar. Estos casos se indican en el texto y las
limitaciones analizan con ms detalle. RDF es un assertional lgica, en la que cada
Triple expresa una sencilla propuesta. Esto impone una bastante estricta
-
monotnica disciplina en la lengua, de modo que no puede expresar supuestos
cerrado del mundo, las preferencias por defecto locales, y varios otros comnmente
utilizados no montonas construcciones.
Usos particulares de RDF, entre ellos, como base para las lenguas ms expresivas
como DAML + OIL [DAML] y OWL [OWL], pueden imponer otras condiciones
semnticas, adems de los descritos aqu, y esas condiciones semnticas
adicionales tambin pueden ser impuestas en el significados de los trminos en
particular vocabularios RDF. Extensiones o dialectos de RDF que se obtienen
mediante la imposicin de tales condiciones semnticas adicionales pueden ser
referidos como extensiones semnticas de RDF. Extensiones semnticos de RDF
se ven limitados en la presente recomendacin utilizando las palabras clave DEBE,
NO DEBE, DEBERA y MAYO de [RFC 2119]. Extensiones semnticos de RDF
DEBEN cumplir las condiciones semnticos para interpretaciones simples que se
describen en las secciones 1.3 y 1.4 y 1.5 y esas interpretaciones RDF que se
describen en la seccin 3.1 de este documento. Cualquier nombre de vinculacin
en una extensin semntica DEBE ser indicado por el uso de una vinculacin
vocabulario plazo. Las condiciones semnticas impuestas a una extensin
semntica RDF DEBE definir una nocin de vinculacin vocabulario que es vlido
de acuerdo con la semntica de teora de modelos descritos en las partes
normativas de este documento; excepto que si la extensin semntica se define en
algn subconjunto sintcticamente restringida de grafos RDF, entonces las
condiciones semnticas tienen por qu slo se aplican a este subconjunto.
Especificaciones de tales extensiones semnticas sintcticamente restringidas
DEBEN incluir una especificacin de sus condiciones sintcticas que son
suficientes para permitir que el software para distinguir de manera inequvoca los
grafos RDF a la que se aplican las condiciones semnticas extendidas. Las
aplicaciones basadas en este tipo de extensiones semnticas sintcticamente
restringidas PUEDEN tratar grafos RDF que no se ajusten a las restricciones
sintcticas necesarias como errores de sintaxis.
-
Un ejemplo de una extensin semntica de RDF es Esquema RDF [RDF-
VOCABULARIO], abreviado como RDFS, la semntica de los cuales se definen en
las partes posteriores de este documento. Esquema RDF no impone restricciones
sintcticas adicionales.
CAPA LGICA
Que permita realizar consultas e inferir conocimiento, donde estaran las ontologas,
agentes software y web services como estructuras para lograr interoperabilidad
entre aplicaciones y sistemas de informacin heterogneos.
Como ejemplo ilustrativo, la siguiente es una pequea interpretacin para el
vocabulario artificial {ex: una, por ejemplo: b, por ejemplo: c, "lo que sea", "lo que
sea" ^^ ej: b}.Los enteros se utilizan para indicar las "cosas" no literales en el
universo. Esto no pretende dar a entender que las interpretaciones deben ser
interpretados como sobre la aritmtica, pero ms que hacen hincapi en que la
naturaleza exacta de las cosas en el universo es irrelevante. LV puede ser cualquier
conjunto que satisface las condiciones semnticas. (En este y los ejemplos
posteriores los mayor que y menos que smbolos se utilizan en varias formas:
siguientes utilizacin matemtica para indicar pares abstractos y n-tuplas; tras-
Triples N sintaxis para encerrar referencias URI, y tambin como puntas de flecha
al indicar asignaciones).
IR = LV union {1, 2}
IP = {1}
IEXT: 1 => {, }
ES: por ejemplo: a => 1, por ejemplo: b => 1, por ejemplo: c => 2
IL: "lo que sea" ^^ ej: b => 2
-
Figura 1: Un ejemplo de una interpretacin. Tenga en cuenta, esto no es una
imagen de un grafo RDF. La figura no muestra el infinito nmero de miembros de LV.
Esta interpretacin hace que estos triples cierto:
.
.
.
"lo que sea" ^^ .
Por ejemplo, yo ( . ) = cierto si
est en IEXT (I ()), es decir, si
es en IEXT (1), que es {, } y lo mismo ocurre contener y as
I () es cierto.
La verdad del cuarto de triple es una consecuencia de la interpretacin ms
idiosincrsico elegido aqu por literales mecanografiados.
-
En esta interpretacin IP es un subconjunto de IR; este ser tpico de RDF
interpretaciones semnticas, pero no es necesario.
SEGURIDAD
Que permita asignar niveles de fiabilidad a determinados recursos, de forma
comprobable posteriormente por los agentes, para lo que se utilizarn firmas
digitales y redes de confianza.
ESTADO DE ESTE DOCUMENTO
Los miembros del Consorcio WWW (W3C) y otras partes interesadas han revisado
este documento y el director lo ha aprobado como Recomendacin W3C. Es un
documento estable que se utilizar como material de referencia o se citar como
referencia normativa en otros documentos. El papel del W3C al elaborar la
Recomendacin es llamar la atencin sobre la especificacin y promover un
desarrollo generalizado de la misma. Esto enriquece la operatividad e
interoperabilidad del Web.
Se puede acceder a la lista de errores conocidos en esta especificacin [en
ingls]: http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/errata.
Se pueden enviar comentarios a la especificacin a . El archivo de comentarios pblicos se puede consultar
en:http://www.w3.org/Archives/Public/www-rdf-comments.
1. INTRODUCCIN
En un principio la World Wide Web se construy para el uso humano, y a pesar de
que todo en ella era legible por mquina estos datos todava no son legibles por
sta ltima. Es muy difcil automatizar cualquier cosa en la Web, debido al volumen
de informacin que contiene, no es posible gestionarla manualmente. La solucin
que se propone aqu es el uso de metadatos para describir los datos contenidos en
la Web. Los metadatos son "datos sobre los datos" (por ejemplo, un catlogo de
biblioteca es [un registro] de metadatos, en el sentido de que describen
publicaciones) o concretamente en el contexto de esta especificacin "datos que
-
describen recursos Web". La distincin entre "datos" y "metadatos" no es
incuestionable; es una diferencia creada en primera instancia por una aplicacin
particular, y muchas veces el mismo recurso se interpretar de ambas formas
[como dato y como metadato] simultneamente.
Resource Description Framework (RDF) [Infraestructura para la Descripcin de
Recursos] es una base para procesar metadatos; proporciona interoperabilidad
entre aplicaciones que intercambian informacin legible por mquina en la Web.
RDF destaca por la facilidad para habilitar el procesamiento automatizado de los
recursos Web. RDF puede utilizarse en distintas reas de aplicacin; por ejemplo:
en recuperacin de recursos para proporcionar mejores prestaciones a los motores
de bsqueda, en catalogacin para describir el contenido y las relaciones de
contenido disponibles en un sitio Web, una pgina Web, o una biblioteca digital
particular, por los agentes de software inteligentes para facilitar el intercambio y
para compartir conocimiento; en la calificacin de contenido, en la descripcin
de colecciones de pginas que representan un "documento" lgico individual, para
describir los derechos de propiedad intelectual de las pginas web, y para expresar
las preferencias de privacidad de un usuario, as como las polticas de privacidad de
un sitio Web. RDF junto con las firmas digitales ser la clave para construir el "Web
de confianza" para el comercio electrnico, la cooperacin y otras aplicaciones.
Este documento introduce un modelo para representar metadatos en RDF as como
una sintaxis para codificar y transmitir estos metadatos de tal forma que maximicen
la interoperabilidad de servidores y clientes web desarrollados
independientemente. La sintaxis presentada aqu utiliza el Extensible Markup
Language [Lenguaje de Marcado Extensible] (XML): uno de los objetivos de RDF
es hacer posible especificar la semntica para las bases de datos en XML de una
forma normalizada e interoperable. RDF y XML son complementarios: RDF es un
modelo de metadatos y slo dirige por referencia muchos de los aspectos de
codificacin que requiere el almacenamiento y transferencia de archivos (tales
como internacionalizacin, conjuntos de caracteres, etc.). Para estos aspectos,
RDF cuenta con el soporte de XML. Es importante tambin entender que esta
sintaxis XML es slo una sintaxis posible para RDF y que pueden surgir formas
alternativas para representar el mismo modelo de datos RDF.
-
El objetivo general de RDF es definir un mecanismo para describir recursos que no
cree ninguna asuncin sobre un dominio de aplicacin particular, ni defina (a priori)
la semntica de algn dominio de aplicacin. La definicin del mecanismo debe ser
neutral con respecto al dominio, sin embargo el mecanismo debe ser adecuado
para describir informacin sobre cualquier dominio.
Esta especificacin continuar con otros documentos que completarn el marco.
Sobre todo, para facilitar la definicin de metadatos, RDF contar con un sistema
de clasificacin muy parecido a los sistemas de programacin y modelado orientado
a objetos. Una coleccin de categoras (producida normalmente para un propsito
o dominio especfico) denominada schema. Las categoras se organizan en una
jerarqua, y proporcionan extensibilidad a travs de un refinamiento de
subcategoras. As, para crear un esquema ligeramente diferente de uno existente
no es necesario "reinventar la rueda" pero se pueden facilitar modificaciones
incrementales al esquema base. A travs de la comparticin del esquema RDF
soportar la reutilizacin de definiciones de metadatos. Gracias a la extensibilidad
incremental de RDF, los agentes que procesen metadatos sern capaces de trazar
los orgenes del esquema que no conocen con respaldo para conocer el esquema
y realizar acciones significativas en los metadatos que no han sido diseados
inicialmente para procesar. La capacidad de compartir y la extensibilidad de RDF
permiten a los creadores de metadatos usar mltiples cambios de la categora de
objetos para "mezclar" definiciones, para proporcionar mltiples presentaciones a
sus datos, haciendo uso del trabajo de otros. En sntesis, es posible crear objetos
especficos de datos basados en diversos esquemas de distintas fuentes (p. ej.
"intercalando" diferentes tipos de metadatos). Los esquemas pueden escribirse en
RDF; un documento que acompaa a esta especificacin [RDFSchema], describe
un conjunto de propiedades y clases para describir esquemas RDF.
Como resultado de la reunin de distintas comunidades que estn de acuerdo en
los principios bsicos de la representacin y transposicin de metadatos, RDF est
influido de varias fuentes diferentes. Las principales influencias provienen de
la propia Comunidad de Normalizacin de la Web en forma de metadatos HTML y
PICS, lacomunidad bibliotecaria, la comunidad de los documentos estructurados en
forma de SGML y sobre todo XML, y tambin de la comunidad de representacin
-
del conocimiento (KR). Tambin han contribuido al diseo de RDF otras reas de
la tecnologa; incluidos los lenguajes de modelado y programacin orientada a
objetos, as como las bases de datos. Mientras RDF surge de la comunidad KR [de
la representacin del conocimiento], la bibliografa relacionada con este campo,
advierte que RDF no especifica un mecanismo para el razonamiento. RDF puede
definirse como un sistema simple. Un mecanismo de razonamiento debe
construirse sobre este sistema de referencia.
2. RDF Bsico
2.1. Modelo RDF bsico
El fundamento o base de RDF es un modelo para representar propiedades
designadas y valores de propiedades. El modelo RDF se basa en principios
perfectamente establecidos de varias comunidades de representacin de datos. La
propiedades RDF pueden recordar a atributos de recursos y en este sentido
corresponden con los tradicionales pares de atributo-valor. Las propiedades RDF
representan tambin la relacin entre recursos y por lo tanto, un modelo RDF puede
parecer un diagrama entidad-relacin. (De forma ms precisa, los esquemas RDF
que son objetos especficos de la categora del modelo de datos RDF son
diagramas ER [Entidad Relacin]. En la terminologa del diseo orientado a objetos,
los recursos corresponden con objetos y las propiedades corresponden con objetos
especficos y variables de una categora.
El modelo de datos de RDF es una forma de sintaxis-neutral para representar
expresiones RDF. La representacin del modelo de datos se usa para evaluar la
equivalencia en significado. Dos expresiones RDF son equivalentes y y slo si sus
representaciones del modelo de datos son las mismas. Esta definicin de
equivalencia permite algunas variaciones sintcticas en expresiones sin alterar el
significado. (Ver Seccin 6 para discusin adicional del tema de comparacin
strings [series de caracteres entendidas como grupos].
El modelo de datos bsico consiste en tres tipos de objetos:
-
Recursos Todas las cosas descritas por expresiones RDF se
denominan recursos. Un recursos puede ser una pgina
Web completa; tal como el documento HTML
"http://www.w3.org/Overview.html" por ejemplo. Un
recurso puede ser una parte de una pgina Web; p. ej. un
elemento HTML o XML especfico dentro del documento
fuente. Un recurso puede ser tambin una coleccin
completa de pginas; p. ej. un sitio Web completo. Un
recurso puede ser tambin un objeto que no sea
directamente accesible va Web, p. ej. un libro impreso.
Los recursos se designan siempre por URIs ms
identificadores de anclas opcionales (ver [URI]).
Cualquier cosa puede tener un URI; la extensibilidad de
URIs permite la introduccin de identificadores para
cualquier entidad imaginable.
Propiedades Una propiedad es un aspecto especfico, caracterstica,
atributo, o relacin utilizado para describir un recurso.
Cada propiedad tiene un significado especfico, define
sus valores permitidos, los tipos de recursos que puede
describir, y sus relaciones con otras propiedades. Este
documento no dirige cmo se expresan las caractersticas
de las propiedades; para tal informacin, dirigirse a la
especificacin del esquema RDF [RDF Schema
specification].
Sentencias
[declaraciones,
enunciados]
Un recurso especfico junto con una propiedad
denominada, ms el valor de dicha propiedad para ese
recurso es una sentencia RDF[RDF statement]. Estas tres
partes individuales de una sentencia se denominan,
respectivamente, sujeto, predicado y objeto. El objeto de
una sentencia (es decir, el valor de la propiedad) puede
ser otro recurso o pude ser un literal; es decir, un recurso
(especificado por un URI) o una cadena simple de
caracteres [string] u otros tipos de datos primitivos
-
2.1.1. Ejemplos
Los recursos se identifican por un identificador de recursos. Un identificador de
recursos es un URI ms un identificador opcional de ancla (ver seccin 2.2.1.). Para
el propsito de esta seccin, las propiedades se referirn a travs de un nombre
simple.
Considerar como ejemplo simple la sentencia:
Ora Lassila es el creador [autor] del recurso http://www.w3.org/Home/Lassila.
Esta sentencia comprende las siguientes partes:
Sujeto (Recurso) http://www.w3.org/Home/Lassila
Predicado (Propiedad) Creator
Objeto (literal) "Ora Lassila"
En este documento podramos representar grficamente una sentencia RDF
usando grficos etiquetados (tambin denominados "diagramas de nodos y arcos").
En estos grficos, los nodos (dibujados como valos) representan recursos y los
arcos representan propiedades denominadas. Los nodos que representan cadenas
de literales pueden dibujarse como rectngulos. La sentencia citada anteriormente
se representara grficamente como:
2.2.1. Sintaxis serializada bsica
Una sentencia [declaracin] RDF rara vez aparece sola; normalmente se darn
juntas varias propiedades de un recurso. La sintaxis RDF XML se ha diseado para
dar cabida a esto agrupando mltiples sentencias para el mismo recursos en un
elemento Description. El elemento Description denomina, en un atributo about, el
definidos por XML. En trminos RDF, un literalpuede
comprender en su contenido marcado XML pero ya no
puede valorarse ms por un procesador RDF. Existen
varias restricciones sintcticas en cmo se puede
expresar el marcado en literales.; ver Seccin 2.2.1.
-
recurso para el cual se aplica cada una de las sentencias [o declaraciones]. Si el
recurso no existe todava (es decir, no tiene todava un identificador de recursos)
el elemento Description puede proporcionar el identificador para el recurso usando
el atributoID.
La sintaxis serializada RDF bsica toma la forma:
[1] RDF ::= [''] description* ['']
[2] description ::= '' propertyElt*
''
[3] idAboutAttr ::= idAttr | aboutAttr
[4] aboutAttr ::= 'about="' URI-reference '"'
[5] idAttr ::= 'ID="' IDsymbol '"'
[6] propertyElt ::= '' value ''
| ''
[7] propName ::= Qname
[8] value ::= description | string
[9] resourceAttr ::= 'resource="' URI-reference '"'
[10] Qname ::= [ NSprefix ':' ] name
[11] URI-reference ::= string, interpreted per [URI]
[12] IDsymbol ::= (any legal XML name symbol)
[13] name ::= (any legal XML name symbol)
[14] NSprefix ::= (any legal XML namespace prefix)
[15] string ::= (any XML text, with "", and "&" escaped)
El elemento RDF es un simple envoltorio que marca los lmites en un documento
XML entre los que el contenido est dispuesto a ser mapeado a una instancia de
-
modelo de datos RDF. El elemento RDF es opcional si el contenido puede
entenderse como RDF desde el contexto de la aplicacin.
El elemento Description contiene los elementos sobrantes que posibilitan la
creacin de sentencias en la instancia [objeto especfico de la categora] del
modelo. El elemento Description puede evocarse (con la finalidad de sintaxis RDF
bsica) simplemente como un lugar donde mantener la identificacin de un recuso
descrito. Normalmente habr ms de una sentencia [o declaracin] sobre un
recursos; el elemento Description proporciona una forma de dar el nombre justo de
una vez a varias sentencias.
Cuando se especifica el atributo about con Description, la sentencia [declaracin]
en el elemento Description se refiere al recurso cuyo identificador determina el
elemento about. El valor del atributo about se interpreta como una referencia-URI
por Seccin 4 del [URI]. El identificador de recursos correspondiente se obtiene
resolviendo la referencia-URI a la forma absoluta como se especifica mediante
[URI]. Si se incluye un fragmento del identificador en la referencia-URI, el
identificador de recursos se refiere slo al subcomponente del recurso que lo
contiene, recurso que se identificar a travs del correspondiente fragmento ID
interno a dicho recurso que lo contiene (ver ancla en [Dexter94]), por otra parte el
identificador se refiere al recurso completo especificado por el URI. Un elemento
Description sin un atributo about representa un nuevo recurso. Tal recurso podra
ser un substituto, o delegado [proxy], para algunos recursos fsicos que no tienen
un URI reconocible. El valor del atributo ID del elemento Description, en el caso de
que se presente, es el ancla id de ese recurso"in-line".
Si otro elemento Description o valor de propiedad necesita referirse a el recurso in-
line utilizar el valor del ID de dicho recurso en su propio atributo about. El atributo
ID indica la creacin de un nuevo recurso y el atributo about se refiere a un recurso
existente; por ello tanto el atributo ID como about pueden especificarse en el
elemento Description pero no los dos juntos en el mismo elemento. Los valores
-
para cada atributo ID no deben aparecer en ms de un atributo ID dentro del mismo
documento.
Un nico elemento Description puede contener ms de un elemento propertyElt con
el mismo nombre de propiedad. Cada uno de dichos propertyElt aaden un arco al
grfico. La interpretacin de esta representacin grfica se definir por el diseador
del esquema.
Dentro del elemento propertyElt, el atributo resource especifica que otros recursos
son el valor de esta propiedad; es decir, el objeto de la sentencia [o declaracin] es
otro recurso identificado identificado por un URI preferentemente a la indicacin por
un literal. El identificador del recurso del objeto se obtiene resolviendo el URI-de
referencia del atributo resource de la misma forma que se mencion anteriormente
para el atributo about. Los Strings deben ser XML bien formados; el XML
convencional contiene mecanismos de citacin y disgregacin que pueden usarse
si la serie de caracteres [string] contiene secuencias de caracteres (ej. "
-
Ora Lassila
Aqu el prefijo del namespace 's' se refiere a un prefijo especfico elegido por el
autor de esta expresin RDF y definido en una declaracin XML del namespace
como sta:
xmlns:s=http://description.org/schema/
Esta declaracin del namespace podra incluirse normalmente como un atributo
XML en el elemento rdf:RDF pero tambin puede incluirse con un elemento
Description especfico o incluso una expresin propertyElt concreta. El URI del
nombre del namespace, en la declaracin del namespace, es un identificador nico
universal para un esquema particular que la persona que define los metadatos
[este autor de los metadatos] utiliza para definir el uso de la propiedad Creator.
Otros esquemas pueden definir igualmente la propiedad denominada Creator y las
dos propiedades se diferenciarn gracias a sus identificadores de esquema. Ntese
tambin que un esquema normalmente define tambin varias propiedades; una
nica declaracin de namespace ser suficiente para crear un amplio vocabulario
de propiedades que podrn usarse.
El documento XML completo que contiene la descripcin citada anteriormente,
podra ser:
-
Ora Lassila
Utilizando la sintaxis de namespace definida por defecto en [NAMESPACES] para
el propio namespace de RDF, este documento podra expresarse tambin as:
Ora Lassila
Adems, la declaracin de namespace puede asociarse con un elemento
Description concreto e incluso un elemento propertyElt particular como en este
ejemplo:
Ora Lassila
-
Como las declaraciones de namespace XML pueden anidarse, el ejemplo anterior
puede adems condersarse as:
Ora Lassila
Sin embargo, las expresiones demasiado condensadas como sta deben evitarse
cuando la codificacin RDF/XML se escribe a mano o se edita en un editor de texto
plano. Aunque no son ambiguas, la posibilidad de error es mayor que si se los
prefijos explcitos se usan de manera consistente. Ntese que un fragmento
RDF/XML que se realiza para insertarse en otro documento debe declarar todos los
namespaces que utiliza de tal forma que sea completamente independiente. Para
una mejor legibilidad, los ejemplos utilizados en el resto de esta seccin omiten la
declaracin del namespace para no complicar [oscurecer] los aspectos especficos
que se ilustran.
Teora Modelo intenta ser metafsicamente y ontolgicamente neutral. Por lo general se expresa en el lenguaje de la teora de conjuntos, simplemente porque ese es el lenguaje normal de las matemticas - por ejemplo, esta semntica supone que los nombres denotan cosas en un conjunto de infrarrojos llamado el 'universo' - pero el uso del lenguaje conjuntista aqu es no supone dar a entender que las cosas en el universo se establecen-terica en la naturaleza. La teora de modelos es generalmente ms relevante para la aplicacin a travs de la nocin de vinculacin, se describe ms adelante, lo que hace posible definir vlidas de inferencia reglas.
Una forma alternativa de especificar una semntica es dar una traduccin de RDF en una lgica formal con una teora de modelos que ya est fijado, por as decirlo. Este enfoque de "semntica axiomtica 'ha sugerido y utilizado previamente con diversas versiones alternativas de la meta de lenguaje lgico [Conen y Klapsing] [Marchiori y Saarela][McGuinness y otros]. Dicha traduccin para RDF y RDFS
-
tambin se da en el L base de la especificacin [LBASE]. El estilo de la semntica axiomtica tiene algunas ventajas para el procesamiento de la mquina y puede ser ms fcil de leer, pero en el caso de que alguna semntica axiomtica no se ajuste a la semntica de teora de modelos descritos en este documento, la teora modelo debe ser tomado como normativo.
Hay varios aspectos de significado en RDF que son ignorados por esta semntica; en particular, trata referencias URI como nombres simples, ignorando aspectos del significado codificados en particular, las formas de URI [RFC 2396] y no proporciona ningn anlisis de datos variables en el tiempo o de cambios en las referencias URI. No proporciona ningn anlisis de indexicales usos de referencias URI, por ejemplo, para decir 'este documento ". Algunas partes de los vocabularios RDF y RDFS no se les asigna ningn significado formal, y en algunos casos, en particular la reificacin y vocabularios de contenedores, se asigna menos significado que uno podra esperar. Estos casos se indican en el texto y las limitaciones analizan con ms detalle. RDF es un assertional lgica, en la que cada Triple expresa una sencilla propuesta. Esto impone una bastante estrictamonotnica disciplina en la lengua, de modo que no puede expresar supuestos cerrado del mundo, las preferencias por defecto locales, y varios otros comnmente utilizados no montonas construcciones.
Usos particulares de RDF, entre ellos, como base para las lenguas ms expresivas como DAML + OIL [DAML] y OWL [OWL], pueden imponer otras condiciones semnticas, adems de los descritos aqu, y esas condiciones semnticas adicionales tambin pueden ser impuestas en el significados de los trminos en particular vocabularios RDF.Extensiones o dialectos de RDF que se obtienen mediante la imposicin de tales condiciones semnticas adicionales pueden ser referidos como extensiones semnticas de RDF. Extensiones semnticos de RDF se ven limitados en la presente recomendacin utilizando las palabras clave DEBE, NO DEBE, DEBERA y MAYO de [RFC 2119].Extensiones semnticos de RDF DEBEN cumplir las condiciones semnticos para interpretaciones simples que se describen en las secciones 1.3 y 1.4 y 1.5 y esas interpretaciones RDF que se describen en la seccin 3.1 de este documento. Cualquier nombre de vinculacin en una extensin semntica DEBE ser indicado por el uso de unavinculacin vocabulario plazo. Las condiciones semnticas impuestas a una extensin semntica RDF DEBE definir una nocin de vinculacin vocabulario que es vlido de acuerdo con la semntica de teora de modelos descritos en las partes normativas de este documento; excepto que si la extensin semntica se define en algn subconjunto sintcticamente restringida de grafos RDF, entonces las condiciones
-
semnticas tienen por qu slo se aplican a este subconjunto. Especificaciones de tales extensiones semnticas sintcticamente restringidas DEBEN incluir una especificacin de sus condiciones sintcticas que son suficientes para permitir que el software para distinguir de manera inequvoca los grafos RDF a la que se aplican las condiciones semnticas extendidas. Las aplicaciones basadas en este tipo de extensiones semnticas sintcticamente restringidas PUEDEN tratar grafos RDF que no se ajusten a las restricciones sintcticas necesarias como errores de sintaxis.
Un ejemplo de una extensin semntica de RDF es Esquema RDF [RDF-VOCABULARIO], abreviado como RDFS, la semntica de los cuales se definen en las partes posteriores de este documento. Esquema RDF no impone restricciones sintcticas adicionales.
0.2 Grfico Sintaxis
Cualquier teora semntica debe estar conectado a una sintaxis. Esta semntica se define como un mapeo sobre la sintaxis abstracta de RDF describe en el RDF conceptos y sintaxis abstracta documento [RDF-CONCEPTOS]. En este documento se utilizan la terminologa definida all: referencia URI, literal, normal literal, mecanografiadas literal, literalXML, valor XML, nodo, nodo en blanco, el triple y el grafo RDF. A lo largo de este documento se utiliza el trmino "cadena de caracteres" o "cadena" para referirse a una secuencia de caracteres Unicode, y 'etiqueta de idioma "en el sentido de la RFC 3066, cf seccin 6.5 en [RDF-CONCEPTOS]. Tenga en cuenta que las cadenas en un grafo RDF DEBEN estar en Forma Normal C.
En este documento se utiliza la N-Triples sintaxis descrita en el RDF casos de prueba de documentos [RDF-PRUEBAS] para describir grafos RDF. Esta notacin utiliza unidentificador de nodo (nodeID) convencin para indicar los nodos en blanco en los triples de un grfico.Mientras que los identificadores de nodo como '_: xxx' sirven para identificar nodos en blanco en la sintaxis de la superficie,
estas expresiones no son considerados como la etiqueta del nodo de
grfico se identifican; no son nombres, y no se presentan en el grfico real. En particular, los grafos RDF descritos por dos documentos N-Triples que difieren slo por volver a nombrar a sus identificadores de nodo se entiende que son equivalentes. Esta convencin cambio de nombre se debe entender que se aplica nicamente a los documentos completos, ya que volver a nombrar los identificadores de nodo en una parte de un documento puede resultar en un documento que describe una diferente grafo RDF.
-
La sintaxis N-Triples requiere que se dan referencias URI en su totalidad, encerrado entre parntesis angulares. En aras de la brevedad, el imaginario URI esquema de ex: 'se utiliza para proporcionar ejemplos ilustrativos. Para obtener una visin ms realista de la apariencia normal de la sintaxis N-Triples, el lector debe imaginar esta reemplazado con algo como 'http://www.example.org/rdf/mt/artificial-example/'. El QName prefijos rdf:, rdfs: y xsd: se definen como sigue:
Prefijo rdf: URI de espacio: http://www.w3.org/1999/02/22-rdf-syntax-ns#
Prefijo rdfs: URI de espacio: http://www.w3.org/2000/01/rdf-schema#
Prefijo xsd: URI de espacio: http://www.w3.org/2001/XMLSchema#
Desde sintaxis QName no es legal sintaxis N-Triples, y en aras de la brevedad y legibilidad, ejemplos utilizan la convencin mediante el cual se utiliza un QName sin rodea parntesis angulares para indicar la correspondiente referencia URI encerrada entre parntesis angulares, por ejemplo, la triple
rdf: type rdfs: Class.
debe leerse como una abreviatura de la sintaxis N-Triples
.
Al afirmar condiciones semnticas generales, caracteres individuales o secuencias de caracteres sin dos puntos indican un nombre arbitrario, nodo en blanco, cadena de caracteres y as sucesivamente. El significado exacto se especificar en su contexto.
0.3 Grfico Definiciones
Un grafo RDF, o simplemente un grfico, es un conjunto de triples RDF.
Un subgrafo de un grafo RDF es un subconjunto de los triples en el grfico. Un triple de se identifica con el conjunto singleton que lo contiene, de manera que cada uno de tres en un grfico se considera que es un subgrafo. Una adecuada subgrafo es un subconjunto propio de los triples en el grfico.
Una planta grafo RDF es uno sin nodos en blanco.
Un nombre es una referencia URI o un literal. Estas son las expresiones que necesitan ser asignado un significado por una interpretacin. Tenga
-
en cuenta que un literal escritoconsta de dos nombre s: s y su tipo interno URI referencia.
Un conjunto de nombre de s se conoce como el vocabulario. El vocabulario de un grfico es el conjunto de nombres que se dan como el sujeto, predicado u objeto de cualquier triples en el grfico. Tenga en cuenta que las referencias URI que se producen literales solamente mecanografiadas interior no estn obligados a estar en el vocabulario de la grfica.
Supongamos que M es un mapeo de un conjunto de nodos en blanco a algn conjunto de literales, nodos en blanco y referencias URI; a continuacin, cualquier grfico obtenido a partir de una grfica G mediante la sustitucin de parte o la totalidad de los nodos en blanco N en G por M (N) es un ejemplo de G. Tenga en cuenta que cualquier grfico es una instancia de s misma, una instancia de una instancia de G es una instancia de G, y si H es una instancia de G entonces cada triple H es un ejemplo de algunos de triple en G.
Una instancia con respecto a un vocabulario V es un ejemplo en el que todo el nombre de s en el caso de que se sustituy por nodos en blanco en el original son nombre s de V.
Un apropiado ejemplo de un grfico es un caso en que un nodo en blanco ha sido sustituida por un nombre, o dos nodos en blanco en el grfico de haber sido mapeado en el mismo nodo en la instancia.
Cualquier ejemplo de un grfico en el que un nodo en blanco se asigna a un nuevo nodo en blanco no en el grfico original es una instancia de la original y tiene tambin como un ejemplo, y este proceso puede ser iterado de modo que cualquier 1: 1 mapeo entre nodos en blanco define una instancia de un grfico que tiene el grfico original como una instancia. Dos de tales grficos, cada una instancia de la otra pero ni una instancia correcta, que se diferencian slo en la identidad de sus nodos en blanco, se consideranequivalentes. Vamos a tratar tales grficos equivalentes como idnticos; esto nos permite ignorar algunas cuestiones que surgen de nodeIDs "cambio de nombre", y est en conformidad con la convencin de que los nodos en blanco no tienen etiqueta. Grficos equivalentes son casos mutuas con una asignacin de instancia invertible.
Un grafo RDF es magra si no tiene caso que es un subgrafo adecuado de la grfica. Grficos no magras tienen redundancia interna y expresar el mismo contenido que sus subgrafos magras. Por ejemplo, el grfico
-
_: x.
_: y _: x.
no es magra, pero
_:. x
_: x _: x.
es magra.
Una combinacin de un conjunto de grafos RDF se define como sigue. Si los grficos en el conjunto no tienen nodos en blanco en comn, entonces la unin de los grficos es una fusin; si lo hacen compartir nodos en blanco, entonces es la unin de un conjunto de grficos que se obtiene mediante la sustitucin de los grficos en el conjunto de grficos equivalentes que comparten no hay nodos en blanco. Esto se describe a menudo diciendo que los nodos en blanco han sido 'estandarizada aparte'. Es fcil ver que las dos fusiones son equivalentes, por lo que se referir a la fusin, despus de la convencin sobre los grficos equivalentes. Uso de la convencin sobre los grficos y la identidad equivalentes, cualquier grfico en el conjunto original se considera que es un subgrafo de la fusin.
Uno no, en general, obtener la combinacin de un conjunto de grficos concatenando sus correspondientes N-Triples documentos y la construccin de la grfica descrita por el documento combinado. Si algunos de los documentos utilizan los mismos identificadores de nodo, el documento combinado describir un grfico en el que algunos de los nodos en blanco han sido "accidentalmente" identificado. Para combinar N-Triples documentos es necesario comprobar si el mismo nodeID se utiliza en dos o ms documentos, y sustituirlo por un nodeID distinta en cada uno de ellos, antes de la fusin de los documentos. Precauciones similares se aplican a la fusin de los grficos descritos por los documentos RDF / XML que contienen nodeIDs, ver RDF / XML Sintaxis Especificacin (revisado) [RDF-SINTAXIS].
1. Interpretaciones
1.1 Nota tcnica (Informativo)
RDF no impone restricciones lgicas en los dominios y rangos de propiedades; en particular, una propiedad se puede aplicar a s mismo. Cuando las clases se introducen residuos en hornos, que pueden contener ellos mismos. Tal 'membresa bucles' podra parecer violando el axioma de la fundacin, uno de los axiomas de la norma
-
(Zermelo-Fraenkel) la teora de conjuntos, que prohbe a las cadenas infinitamente descendentes de membresa. Sin embargo, el modelo semntico dado aqu distingue propiedades y clases consideradas como objetos de sus extensiones - los conjuntos de pares de objetos de valor que satisfacen la propiedad, o lo que es 'en' la clase - lo que permite la extensin de una propiedad o clase para contener la propiedad o la propia clase sin violar el axioma de la fundacin. En particular, este uso de una asignacin de extensin clase permite que las clases que contienen ellos mismos. Por ejemplo, es bastante bien para (la ampliacin de) una clase "universal" para contener la propia clase como miembro, una convencin que a menudo se adopt en la parte superior de una jerarqua de clasificacin. (Si una extensin contena en s entonces el axioma sera violado, pero que nunca se presenta el caso). La tcnica se describe con ms detalle en [Hayes & Menzel].
En este sentido, RDFS difiere de muchos marcos convencionales ontologa como UML que asumen una jerarqua ms estructurada de individuos, grupos de individuos, etc., o que dibuje una clara distincin entre los datos y metadatos. Sin embargo, mientras RDFS no asume la existencia de tal estructura, que no lo prohba. RDF permite bucles de miembros, pero no exige su uso para todas las partes de un vocabulario usuario. Si este aspecto de RDFS se encuentra preocupante, entonces es posible restringir a s mismo a un subconjunto de grafos RDF que no contiene ningn tipo de 'loops' de pertenencia a una clase o la aplicacin de propiedad al tiempo que conserva gran parte de la fuerza expresiva de RDFS para muchos propsitos prcticos , y las extensiones semnticas pueden imponer condiciones sintcticas que prohben este tipo de construcciones en bucle.
La utilizacin de la asignacin de extensin explcita tambin hace posible que dos propiedades que tienen exactamente los mismos valores, o dos clases por contener los mismos casos, y an as ser entidades distintas. Esto significa que las clases RDFS pueden ser considerados a ser bastante ms de conjuntos simples; que pueden ser considerados como "clasificaciones" o "conceptos" que tienen una nocin robusta de la identidad que va ms all de una simple extensional correspondencia. Esta propiedad de la teora de modelos tiene consecuencias significativas en lenguas ms expresivas construido en la cima de RDF, como OWL [OWL], que son capaces de expresar la identidad entre las propiedades y clases directamente. Esta "intensional naturaleza" de las clases y propiedades a veces se afirma que es una propiedad til de un lenguaje descriptivo, pero una discusin completa de este tema est ms all del alcance de este documento.
-
Tenga en cuenta que la cuestin de si es o no una clase contiene a s mismo como un miembro es muy diferente de la cuestin de si es o no es una subclase de s mismo.Todas las clases son subclases de s mismos.
Los lectores que estn familiarizados con la semntica lgica convencionales pueden encontrar til pensar en RDF como una versin de la lgica relacional binario existencial en el que las relaciones son entidades de primera clase en el universo de la cuantificacin. Tal lgica se puede obtener mediante la codificacin de la R tomo relacional (a, b) en una sintaxis lgica convencional, utilizando un nocional de tres lugar relacin Triple (a, R, b); la semntica bsicos descritos aqu pueden ser reconstruido a partir de esta intuicin mediante la definicin de la extensin de y como el conjunto {: Triple (x, y, z)} y observando que esto sera precisamente la denotacin de R en el convencional la teora de modelos tarskiana del formulario I inicial (a, b) del tomo relacional. Esta construccin tambin se puede rastrear en la semntica de la L base de la descripcin axiomtica [LBASE].
1.2 URI referencias, Recursos y literales.
Este documento no toma ninguna posicin sobre la forma en que las referencias URI pueden estar compuestas de otras expresiones, por ejemplo, de las URIs relativos o QNames; la semntica simplemente asume que estas cuestiones lxicas se han resuelto de alguna manera que es globalmente coherente, por lo que se puede tomar una sola referencia URI para tener el mismo significado dondequiera que ocurra. Del mismo modo, la semntica tiene ninguna disposicin especial para el seguimiento de los cambios temporales. Se asume, implcitamente, que las referencias URI tienen el mismo significado cuando se producen. Para proporcionar una semntica adecuada que seran sensibles a los cambios temporales es un problema de investigacin que est ms all del alcance de este documento.
La semntica no asume ninguna relacin particular entre la denotacin de una referencia URI y un documento o recurso Web que se puede recuperar mediante el uso de que URI referencia en un protocolo de transferencia HTTP, o cualquier entidad que se considera que es la fuente de tales documentos. Este requisito podra aadirse como una extensin semntica, pero la semntica formal descritos aqu no hace suposiciones sobre cualquier conexin entre las denotaciones de referencias URI y los usos de dichas referencias URI en otros protocolos.
-
La semntica trata a todos RDF nombre s como expresiones que denotan. Las cosas denotadas son llamados "recursos", a raz de [RFC 2396], pero no se hacen suposiciones aqu sobre la naturaleza de los recursos; "recurso" es tratado aqu como sinnimo de "entidad", es decir, como un trmino genrico para cualquier cosa en el universo del discurso.
Las diferentes formas sintcticas de nombre s son tratados de manera particular. Referencias URI son tratadas simplemente como constantes lgicas. Literales Plain se consideran para denotar s mismos, por lo que tienen un significado fijo. La denotacin de un literal escrito es el valor asignado de su cadena de caracteres delimitada por el tipo de datos asociados con su tipo cerrado. RDF asigna un significado particular para los literales mecanografiadas con RDF: XMLLiteral, descritos en la seccin 3.
1.3 Interpretaciones
La intuicin bsica de la semntica de teora de modelos es que la afirmacin de una sentencia de hace una afirmacin acerca del mundo: es otra forma de decir que el mundo es, de hecho, tan dispuesto como para ser una interpretacin que hace la sentencia verdadera. En otras palabras, una afirmacin equivale a afirmar una restriccin sobre lasposibles formas en que el mundo podra ser. Observe que no hay presuncin aqu que cualquier afirmacin contiene suficiente informacin para especificar una nica interpretacin nica. Por lo general es imposible afirmar lo suficiente en cualquier idioma para restringir completamente las interpretaciones a un nico mundo posible, lo que no hay tal cosa como "la" interpretacin nica de un grafo RDF. En general, cuanto mayor es un grafo RDF es - cuanto ms se dice sobre el mundo - entonces el ms pequeo es el conjunto de interpretaciones que una afirmacin de la grfica permite para ser verdad - el menor nmero de las formas en que el mundo podra ser, al tiempo que la grfica afirmado cierto de ello.
La siguiente definicin de una interpretacin se expresa en el lenguaje matemtico, pero lo que equivale a intuitivamente es que una interpretacin proporciona suficiente informacin sobre una posible forma en que el mundo podra ser - un "mundo posible" - con el fin de fijar el valor de verdad ( verdadero o falso) de cualquier planta RDF triple.Para ello, especificando para cada referencia URI, lo que se supone que es un nombre de; y tambin, si se utiliza para indicar una propiedad, qu valores que la propiedad tiene para cada cosa en el universo; y si se utiliza para indicar un tipo de datos, que el tipo de datos define un mapeo entre formas lxicas y los valores de tipo de
-
datos. Esto es slo suficiente informacin para fijar el valor de verdad de cualquier planta triple, y por lo tanto cualquier grafo RDF suelo. (Grficos no terrestres se consideran en la siguiente seccin.) Tenga en cuenta que si alguno de estos datos fueron omitidos, sera posible para algunos bien formada de tres a quedar sin un valor determinado; y tambin que cualquier otra informacin - tales como la naturaleza exacta de las cosas en el universo - sera, independientemente de su inters intrnseco, ser irrelevante para los valores de verdad reales de cualquier triple.
Todas las interpretaciones estarn en relacin con un conjunto de nombre s, llamado el vocabulario de la interpretacin; de modo que uno debe hablar, en sentido estricto, de una interpretacin de un vocabulario RDF, ms que de s mismo RDF. Algunas interpretaciones pueden asignar un significado especial a los smbolos en un vocabulario particular. Interpretaciones que comparten el significado especial de un vocabulario particular, sern nombrados para ese vocabulario, por ejemplo, 'RDF-interpretacin s', 'rdfs-interpretacin s', etc. Una interpretacin sin condiciones adicionales particulares en un vocabulario (incluido el propio vocabulario RDF ) se llamar una sencilla interpretacin, o simplemente una interpretacin.
RDF utiliza varias formas de literal. La principal caracterstica semntica de literales es que su significado est determinado en gran medida por la forma de la cadena que contienen. Literales lisos, sin un tipo de URI de referencia integrado, siempre se interpretarn como referencias a s mismos: o bien una cadena de caracteres o un par formado por una cadena de caracteres y una etiqueta de idioma; En cualquier caso, la cadena de caracteres se conoce como la "cadena de caracteres literal". En el caso de los literales escritas, sin embargo, la especificacin completa del significado depende de la posibilidad de acceder tipo de datos la informacin que es externo al propio RDF. Una discusin completa del significado de literales escritas se describe en la seccin 5, donde se introduce una nocin especial de interpretacin tipo de datos. Cada interpretacin define un mapeo IL desde literales mecanografiadas a sus interpretaciones. Se definirn como la nocin de "interpretacin" se extiende en secciones posteriores condiciones ms fuertes en IL.
A lo largo de este documento, las condiciones semnticas precisas se exponen en las tablas que establecen condiciones semnticas, tablas que contienen verdaderas afirmaciones y vlidos reglas de inferencia, y tablas que enumeran la sintaxis, que se distinguen por el color de fondo. Estas tablas, en su conjunto, ascienden a un resumen formal de la totalidad de la semntica. Tenga en cuenta que la semntica de RDF
-
no depende de la de RDFS. La semntica completos de RDF se define en los apartados 1 y 3;la semntica completos de RDFS en las secciones 1, 3 y 4.
Definicin de una simple interpretacin.
Una sencilla interpretacin que de un vocabulario V se define por:
1. Un conjunto IR no vaco de recursos, llamado el dominio o universo de I.
2. Un conjunto de IP, llamado el conjunto de propiedades de I.
3. Un mapeo IEXT de la propiedad intelectual en el powerset de IR x IR es decir, el conjunto de conjuntos de pares con x e y en el IR.
4. Un mapeo es de referencias URI en V en (unin IR IP)
5. Un mapeo IL desde literales escritas en V en IR.
6. Un LV subgrupo distinguido de IR, llamado el conjunto de valores literales, que contiene todos los literales de civil en V
IEXT (x), llamada la extensin de x, es un conjunto de pares que identifican los argumentos para los que la propiedad es verdadera, es decir, una extensin de relacin binaria.Este truco de distinguir una relacin como un objeto de su extensin relacional permite una propiedad que se produzca en su propia extensin, como se seal anteriormente.
La suposicin de que BT es un subconjunto de IR equivale a decir que los valores literales son considerados como entidades reales que 'existe'. Esto equivale a decir que los valores literales son recursos. Sin embargo, esto no implica que los literales deben ser identificados con referencias URI. Tenga en cuenta que LV puede contener otros elementos adems de los literales de civil. Hay una razn tcnica por la gama de IL es IR en lugar de limitarse a LV. Cuando interpretaciones tienen en cuenta el tipo de datos de informacin, es sintcticamente posible que un literal escrito para ser internamente inconsistente, y se requieren tales literales escritas mal para denotar un no valor -literal, comose explic en la seccin 5.
Las siguientes secciones definen cmo una interpretacin de un vocabulario determina los valores de verdad de cualquier grafo RDF, con una definicin recursiva de la denotacin - el "valor" semntico - de cualquier expresin RDF en cuanto a los de sus subexpresiones
-
inmediatos. Estos se aplican a todas las extensiones semnticas subsecuentes. RDF tiene dos tipos de denotacin: nombre s cosas denotan en el universo, y conjuntos de triples denotan valores de verdad.
1.4 denotaciones de tierra Grficos
La denotacin de un grafo RDF terreno en que se da de forma recursiva por las siguientes reglas, que se extienden el mapeo interpretacin que de nombre s de grficos de tierra. Estas reglas (y extensiones de ellos se dan ms adelante) funcionan mediante la definicin de la denotacin de cualquier pieza de RDF sintaxis E en trminos de las denotaciones de los constituyentes sintcticos inmediatas de E, por lo tanto, lo que permite la denotacin de cualquier pieza de RDF que ser determinado por una especie de recursividad sintctica.
En esta tabla, ya lo largo de este documento, el signo de igualdad = indica la identidad y el ngulo entre parntesis se utilizan para indicar un par ordenado de x e y.Sintaxis grafo RDF est indicado el uso de las convenciones de notacin de la N-Triples sintaxis descrita en el RDF casos de prueba documento [RDF-PRUEBAS]: cadenas literales se encloded dentro de comillas dobles, las etiquetas de idioma indican mediante el uso de la @ firmar y triples terminar con un 'cdigo de puntos'..
Condiciones semnticas para grficos de tierra.
si E es un "aaa" literal normal en V entonces (E) = aaa
si E es un "aaa" literal llano @ ttt en V entonces (E) =
Si E es un escrito literal en V entonces (E) = IL (E)
si E es una referencia URI en V entonces (E) = SI (E)
si E es un triple spo suelo. Entonces (E) = true si
s, p y o estn en V, I (p) est en IP y est en IEXT (I (p))
de lo contrario, (E) = false.
si E es un grfico planta RDF entonces (E) = False si (E ') = false por alguna de triple E' en E, de lo contrario (E) = true.
Si el vocabulario de un grafo RDF contiene nombres que no estn en el vocabulario de una interpretacin I - es decir, si simplemente no le da un valor semntico a algn nombreque se utiliza en el grfico - entonces estas condiciones de verdad siempre ser el rendimiento el valor falso
-
para algunos de triple en el grfico, y por lo tanto para el propio grfico. Se dio la vuelta, esto significa que cualquier afirmacin de un grfico afirma implcitamente que todo el nombre de s en el grfico se refieren en realidad a algo en el mundo. La condicin final implica que una grfica vaca (un conjunto vaco de triples) es trivialmente cierto.
Tenga en cuenta que la denotacin de literales simples es siempre en LV; y que los del sujeto y el objeto de toda verdadera triples deben estar en IR; por lo que cualquier referencia URI que se produce en un grfico tanto como predicado y como sujeto u objeto debe denotar algo en la interseccin de IR e IP en cualquier interpretacin que satisface el grfico.
Como ejemplo ilustrativo, la siguiente es una pequea interpretacin para el vocabulario artificial {ex: una, por ejemplo: b, por ejemplo: c, "lo que sea", "lo que sea" ^^ ej: b}.Los enteros se utilizan para indicar las "cosas" no literales en el universo. Esto no pretende dar a entender que las interpretaciones deben ser interpretados como sobre la aritmtica, pero ms que hacen hincapi en que la naturaleza exacta de las cosas en el universo es irrelevante. LV puede ser cualquier conjunto que satisface las condiciones semnticas. (En este y los ejemplos posteriores los mayor que y menos que smbolos se utilizan en varias formas: siguientes utilizacin matemtica para indicar pares abstractos y n-tuplas; tras-Triples N sintaxis para encerrar referencias URI, y tambin como puntas de flecha al indicar asignaciones).
IR = LV union {1, 2}
IP = {1}
IEXT: 1 => {, }
ES: por ejemplo: a => 1, por ejemplo: b => 1, por ejemplo: c => 2
IL: "lo que sea" ^^ ej: b => 2
-
Figura 1: Un ejemplo de una interpretacin. Tenga en cuenta, esto no es una imagen de un grafo RDF. La figura no muestra el infinito nmero de miembros de LV.
Esta interpretacin hace que estos triples cierto:
.
.
.
"lo que sea" ^^ .
Por ejemplo, yo ( . ) = cierto si est en IEXT (I ()), es decir, si es en IEXT (1), que es {, } y lo mismo ocurre contener y as I () es cierto.
La verdad del cuarto de triple es una consecuencia de la interpretacin ms idiosincrsico elegido aqu por literales mecanografiados.
En esta interpretacin IP es un subconjunto de IR; este ser tpico de RDF interpretaciones semnticas, pero no es necesario.
Hace que estos triples falsa:
-
.
.
.
"lo que sea".
Por ejemplo, yo ( .) = Cierto si , es decir, , est en IEXT (I (por ejemplo: c)); pero (por ejemplo: c) = 2, que no est en IP, por lo IEXT no est definido en 2, por lo que la condicin de falla y
yo ( .) = falso.
Tambin hace que todos los triples que contienen una falsa literal llano, ya que la extensin de la propiedad no tiene ningn pares que contienen un literal simple.
Enfatizar; esto es slo una posible interpretacin de este vocabulario; hay (infinitamente) muchos otros. Por ejemplo, si esta interpretacin se modificaron uniendo la extensin propiedad a 2 en lugar de 1, ninguno de los triples anteriores sera verdad.
Este ejemplo ilustra que cualquier interpretacin que mapea cualquier referencia URI que se produce en la posicin de predicado de un triple en un grfico a algo no en IP har que el grfico falsa.
15. Nodos en blanco como variables existenciales
Nodos en blanco se tratan como simplemente indicando la existencia de una cosa, sin usar, o decir nada sobre el nombre de esa cosa. (Esto no es lo mismo que si se asume que el nodo en blanco indica un "desconocido" URI de referencia; por ejemplo, no asume que no hay ninguna referencia URI que hace referencia a la cosa La discusin de.Skolemization en el apndice A es relevante para esta punto).
Una interpretacin puede especificar el valor de verdad de un grfico que contiene nodos en blanco. Esto requerir algunas definiciones, como la teora hasta ahora proporciona ningn significado para los nodos en blanco. Supongamos que es una interpretacin y A es un mapeo de un conjunto de nodos en blanco a la IR universo de I, y defino I + A para ser una interpretacin extensiva que es como yo, excepto que utiliza A para dar la interpretacin de los nodos en blanco. Definir en blanco (E) como el conjunto de nodos en blanco en E. Entonces las reglas anteriores se puede ampliar para incluir los dos nuevos casos que se introducen cuando se producen nodos en blanco en el grfico:
-
Condiciones semnticas para nodos en blanco.
Si E es un nodo en blanco y A (E) se define a continuacin, [I + A] (E) = A (E)
Si E es un grafo RDF entonces (E) = cierto si [I + A '] (E) = cierto para algunos mapeo A' del blanco (E) para IR, de lo contrario (E) = false.
Tenga en cuenta que esto no cambia la definicin de una interpretacin; todava se compone de los mismos valores de IR, IP, IEXT, es decir, BT y IL. Simplemente ampla las reglas para definir denotaciones en virtud de una interpretacin, por lo que la misma interpretacin que proporciona un valor de verdad para los grficos de tierra tambin asigna valores de verdad a los grficos con nodos en blanco, a pesar de que no proporciona ninguna denotacin para los propios nodos en blanco. Observe tambin que los propios nodos en blanco son entidades perfectamente bien definidos; se diferencian de los otros nodos slo en que no se asign una denotacin por una interpretacin, lo que refleja la intuicin de que no tienen "global" que significa (es decir, fuera de la grfica en la que se producen).
Por ejemplo, el grfico definido por las siguientes triples es falsa en la interpretacin muestra en la figura 1:
_: xxx .
_: xxx.
ya que si A 'MAPAS El nodo en blanco a 1 entonces la primera triple es falsa en I + A', y si se asigna a 2, entonces el segundo triple es falsa.
Tenga en cuenta que cada uno de estos triples, si considerado como un solo grfico, sera cierto en el yo, sino toda la grfica no es; y que si un nodeID diferente se utilizaron en las dos triples, lo que indica que la grfica RDF tena dos nodos en blanco en lugar de uno, entonces A 'podra asignar un nodo a 2 y el otro a 1, y el grfico resultante sera cierto bajo la interpretacin I.
Este trata con eficacia todos los nodos en blanco como tener el mismo significado que las variables cuantificadas existencialmente en el grafo RDF en que se producen, y que tienen al alcance de toda la grfica. En trminos de la sintaxis N-Triples, esto equivale a la convencin que colocara los cuantificadores a las afueras o en el borde exterior de, el documento N-Triples correspondiente a la grfica. Esto a su vez significa que hay una distincin sutil pero importante en el significado entre la operacin de formacin de la unin de dos grficos y la de la formacin
-
de la fusin. El simple unin de dos grficos corresponde a la conjuncin ('y') de todos los triples en los grficos, el mantenimiento de la identidad de los nodos en blanco que se producen en ambos grficos. Esto es apropiado cuando la informacin en los grficos proviene de una nica fuente, o donde uno se deriva de la otra por medio de algn vlida proceso de inferencia, como por ejemplo cuando la aplicacin de una regla de inferencia para agregar un triple a un grfico. La fusin de dos grficos trata a los nodos en blanco en cada grfico como siendo cuantificada existencialmente en ese grfico, de manera que no se permite el nodo en blanco de un grfico a desviarse en el mbito de cuantificador circundante del otro grfico. Esto es apropiado cuando las grficas provienen de diferentes fuentes y no hay justificacin para el supuesto de que un nodo en blanco en una referencia a la misma entidad que cualquier nodo en blanco en el otro.
2. Vinculacin simple entre grafos RDF
Siguiendo la terminologa convencional, I satisface E si (E) = cierto, y un conjunto S de grafos RDF(simplemente) implica un grfico E si toda interpretacin que satisface todos los miembros de S tambin satisface E. En secciones posteriores estas nociones se adaptan a otras clases de interpretaciones, pero en toda esta seccin 'vinculacin' debe interpretarse en el sentido de vinculacin sencilla.
Vinculacin es la idea clave que conecta la semntica de teora de modelos para aplicaciones del mundo real. Como se seal anteriormente, haciendo una afirmacin equivale a afirmar que el mundo es una interpretacin que asigna el valor verdadero de la afirmacin. Si A implica B, entonces cualquier interpretacin que hace una verdadera tambin hace verdadera B, de modo que una afirmacin de A ya contiene el mismo "sentido" como una afirmacin de la B; se podra decir que el significado de B est contenida en alguna manera, o subsumida por, la de A. Si A y B implican mutuamente, luego ambos lo mismo "significan", en el sentido que la afirmacin de ninguno de los dos hace que la misma reclamar sobre el mundo. El inters de esta observacin surge ms claramente cuando A y B son diferentes expresiones, desde entonces, la relacin de vinculacin es exactamente la licencia semntica apropiada para justificar una inferencia aplicacin o generar uno de ellos desde el otro. A travs de las nociones de satisfaccin, la implicacin y la validez, la semntica formal da una definicin rigurosa de la nocin de "significado" que puede estar relacionado directamente con los mtodos computables para determinar si es o no significado es preservada por alguna transformacin en una representacin del conocimiento.
-
Cualquier proceso que construye un grfico E de algn otro grfico (s) S se dice que es (simplemente) vlido si S conlleva E en cada caso, de lo contrario no vlido. Tenga en cuenta que ser un proceso no vlido no significa que la conclusin es falsa, y siendo vlido no garantiza la verdad. Sin embargo, la validez representa la mejor garanta de que cualquier lenguaje assertional puede ofrecer: si se les da entradas verdaderas, nunca sacar una conclusin falsa de ellos.
Esta seccin da algunos resultados bsicos sobre la vinculacin simple y vlida la inferencia. Vinculacin simple puede ser reconocida por comparaciones sintcticas relativamente simples. Las dos formas bsicas de la inferencia vlida slo en RDF son, en trminos lgicos, (existe (? X) foo (? X)) la inferencia de (P y Q) a P, y la inferencia de foo (baz) a.
Estos resultados se aplican slo a la simple vinculacin, no a las nociones prolongados de vinculacin introducidas en las secciones posteriores. Las pruebas, todos los cuales son sencillas, se dan en el apndice A, que tambin describe algunas otras propiedades de vinculacin que puede ser de su inters.
Vaco Grfico Lema. El conjunto vaco de triples est implicada por cualquier grfico, y no implica ningn grfico, excepto a s mismo. [Prueba]
Subgrafo Lema. Un grfico implica todos sus subgrafos. [Prueba]
Instancia Lema. Un grfico se implic por cualquiera de sus instancias. [Prueba]
La relacin entre la fusin y la vinculacin es simple, y obvio a partir de las definiciones:
La fusin de lema. La combinacin de un conjunto S de grafos RDF se implic por S, e implica a todos los miembros del S. [Prueba]
Esto significa que un conjunto de grficos puede ser tratado como equivalente a su fusin, es decir, un nico grfico, en cuanto a la teora de modelos se refiere. Esto puede ser usado para simplificar la terminologa algo: por ejemplo, la definicin de S conlleva E, anteriormente, se puede parafrasearse diciendo que S conlleva E cuando toda interpretacin que satisface S tambin satisface E.
El ejemplo dado en la seccin 1.5 muestra que no es el caso, en general, que la simple unin de un conjunto de grficos se implic por el conjunto.
-
El resultado principal de sencilla inferencia RDF es:
La interpolacin Lema. S supone un grfico E si y slo si un subgrafo de S es una instancia de E. [Prueba]
El lema de interpolacin caracteriza totalmente sencilla vinculacin RDF en trminos sintcticos. Para saber si un conjunto de grafos RDF implica otra, comprobar que hay algn ejemplo de la grfica que supone que es un subconjunto de la fusin de la serie original de los grficos. Por supuesto, no hay necesidad de construir realmente la combinacin.Si se trabaja hacia atrs desde el consecuente E, una tcnica eficaz sera tratar nodos en blanco como variables en un proceso de subgrafo de coincidencia, lo que les permite unen al 'juego' nombre de s en el antecedente grfico (s) en S, es decir, aquellos que puede implicar la consiguiente grfico. La interpolacin lema muestra que este proceso esvlido, y tambin es completa si el algoritmo subgrafo de coincidencia es. La existencia de completos algoritmos subgrafo de comprobacin tambin muestra que RDF vinculacin es decidible, es decir, no es un algoritmo de terminacin que determinar para cualquier conjunto S finito y cualquier grfico E, si S implica E.
Tal proceso de unin variable slo sera apropiada cuando se aplica a la conclusin de un vinculacin propuesto. Esto corresponde a la utilizacin del documento como un objetivo o una consulta, en contraste con la afirmacin de que, por ejemplo alegando que era verdad. Si un documento RDF se afirma, entonces sera vlido para unir nuevos valores para cualquiera de sus nodos en blanco, ya que el grfico resultante podra no implicaba por la afirmacin.
La interpolacin lema tiene una consecuencia inmediata un criterio de no vinculacin:
El anonimato lema. E Supongamos que es una magra grfico y E 'es un ejemplo adecuado de E. Entonces E no implica E'. [Prueba]
Tenga en cuenta una vez ms que esto se aplica slo a la simple vinculacin, no a las relaciones de vinculacin de vocabulario definidos en resto del documento.
Varias propiedades bsicas de vinculacin siguen directamente de las definiciones y los resultados anteriores pero se presentan aqu por el amor integridad:
Monotona Lema. Supongamos que S es un subgrafo de S 'y S implica E. Entonces S' implica E. [Prueba]
-
La propiedad de las expresiones finitas estar siempre derivable de un conjunto finito de antecedentes se llama compacidad. Teoras semnticas que apoyan nociones no compactos de vinculacin no tienen correspondientes sistemas de inferencia computables.
Compacidad Lema. Si S conlleva E y E es un grfico finita, entonces algn subconjunto finito S 'de S implica E.
2.1 interpretaciones Vocabulario y vinculacin vocabulario
Interpretaciones simples y sencillas vinculacin capturar la semntica de grafos RDF cuando no se presta atencin al significado particular de cualquiera de los nombres en la grfica. Para obtener el significado completo de un grafo RDF escrita utilizando un vocabulario particular, suele ser necesario aadir ms condiciones semnticas que unen significados ms fuertes para particulares referencias URI y escriben literales en el grfico. Las interpretaciones que se requieren para satisfacer las condiciones semnticas adicionales en un vocabulario particular, se denominarn genricamente como interpretaciones de vocabulario. Vinculacin de vocabulario significa vinculacin con respecto a tales interpretaciones de vocabulario. Estas nociones ms fuertes de la interpretacin y la vinculacin se indican mediante el uso de un prefijo de espacio, por lo que nos referiremos a RDF-vinculacin, rdfs-vinculacin y as sucesivamente en lo que sigue. En cada caso, el vocabulario cuyo significado est siendo restringido, y las condiciones exactas asociadas con ese vocabulario, se explica en detalle.
3. Interpretacin de la RDF Vocabulario
3.1 RDF Interpretaciones
El vocabulario RDF, rdfV, es un conjunto de referencias URI del rdf: espacio de nombres:
Vocabulario RDF
rdf: type rdf: RDF propiedad: XMLLiteral rdf: RDF nula: Lista rdf: Declaracin rdf: RDF asunto: RDF predicado: Objeto de rdf: primero rdf:
RDF resto: RDF Sec: Bolsa rdf: Alt rdf: _1 rdf: _2 .. . rdf: valor
interpretacin RDF-s imponer condiciones semnticas adicionales en rdfV y en los literales mecanografiadas con el tipo rdf: XMLLiteral, lo que se conoce como el tipo de datos incorporado en RDF. Este tipo de datos se describe en detalle en los conceptos RDF y sintaxis abstracta documento [RDF-CONCEPTOS]. Cualquier cadena de caracteres sssque rena los requisitos para estar en el espacio lxica
-
de rdf: XMLLiteral ser llamada XML cadena literal as tipado. El valor correspondiente se llama el valor XML de lo literal.Tenga en cuenta que los valores XML de literales XML bien-escritas estn en exacta correspondencia 1: 1 con los XML cadenas literales de dichos literales, pero no son en s mismas cadenas de caracteres. Un literal XML cuyo literal de cadena est bien escrito, ser llamada XML bien escrito literal; otros literales XML sern llamados escriben mal.
Un RDF-interpretacin de un vocabulario V es un simple interpretacin que de (V unin rdfV) que rena los requisitos adicionales que se describen en la tabla siguiente y todos los triples en la tabla siguiente. Estas triples son llamados los RDF triples axiomticos.
RDF condiciones semnticas.
x est en IP si y slo si est en IEXT (I (rdf: type))
Si "xxx" ^^ rdf: XMLLiteral est en V y xxx es una cadena literal XML bien escrito, y luego
IL ("xxx" ^^ rdf: XMLLiteral) es el XML valor de xxx, IL ("xxx" ^^ rdf: XMLLiteral) est en LV; IEXT (I (rdf: type)) contiene
Si "xxx" ^^ rdf: XMLLiteral est en V y xxx es una cadena literal XML mal escrito, a continuacin,
IL ("xxx" ^^ rdf: XMLLiteral) no est en LV; IEXT (I (rdf: type)) no contiene .
La primera condicin podra considerarse como la definicin IP para el conjunto de los recursos en el universo de la interpretacin que tiene el valor I (rdf: Property) de la propiedad I (rdf: type). Tales subconjuntos del universo ser central en la interpretacin de RDFS. Tenga en cuenta que esta condicin requiere IP a ser un subconjunto de IR.La tercera condicin exige que los literales XML con tipo de malos denotan algo ms que un valor literal: esta ser la manera estndar de manejo literales mecanografiadas formados tratos.
RDF triples axiomticos.
rdf: type rdf: type rdf:. la propiedad
rdf: RDF asunto: tipo rdf:. la propiedad
rdf: predicado rdf: type rdf:. la propiedad
rdf: objeto rdf: type rdf:. la propiedad
rdf: primero rdf: type rdf: Property.
rdf: resto rdf: type rdf:. la propiedad
rdf: valor rdf: type rdf:. Propiedad
-
RDF: _1 rdf: type rdf:. Propiedad
RDF: _2 rdf: type rdf:. Propiedad
...
rdf: nil rdf: type RDF : Lista.
El rdfs-interpretacin s describe en la seccin 4 a continuacin asignar otras condiciones semnticas (condiciones de rango y dominio) a las propiedades utilizadas en el vocabulario RDF, y otras extensiones semnticas PUEDEN imponer nuevas condiciones a fin de restringir an ms sus significados, a condicin de que tales condiciones MUST ser compatible con las condiciones descritas en esta seccin.
Por ejemplo, el siguiente RDF-interpretacin se extiende el simple interpretacin en la figura 1 para el caso donde V contiene rdfV. Para simplificar, ignoremos literales XML en este ejemplo.
IR = LV unin {1, 2, T, P}
IP = {1, T}
IEXT: 1 => {, }, T => {, }
ES: por ejemplo: a => 1, por ejemplo: b => 1, por ejemplo: c => 2, rdf: type => T, rdf: Property => P, rdf: nil => 1, rdf: List => P , rdf: Declaracin => P, RDF: subject => 1, rdf: predicado => 1, rdf: objeto => 1, rdf: primero => 1, rdf: resto => 1, rdf: Sec => P, rdf: Bolsa => P, RDF: Alt => P, RDF: _1, RDF: _2, ... => 1
-
Figura 2: Un RDF-interpretacin.
Esta no es la ms pequea RDF-interpretacin que ampla el ejemplo anterior, ya que se podra haber hecho IEXT (T) haber {, }, y administrado sin tener P en el universo. En general, una entidad determinada en una interpretacin puede jugar varios 'roles', al