Metaclase (Web semántica)
En la Web Semántica y en la representación del conocimiento , una metaclase es una clase cuyas instancias son en sí mismas clases. De manera similar a su papel en los lenguajes de programación , las metaclases en los lenguajes de la Web Semántica pueden tener propiedades que de otro modo serían aplicables solo a los individuos, al tiempo que conservan la capacidad de la misma clase para clasificarse en una jerarquía de conceptos. Esto permite que el conocimiento sobre instancias de esas metaclases sea inferido por razonadores semánticos.utilizando declaraciones hechas en la metaclase. Las metaclases mejoran así la expresividad de las representaciones del conocimiento de una manera que puede resultar intuitiva para los usuarios. Si bien las clases son adecuadas para representar una población de individuos, las metaclases pueden, como una de sus características, usarse para representar la dimensión conceptual de una ontología. [1] Las metaclases son compatibles con el lenguaje de ontología OWL y el vocabulario de modelado de datos RDFS .
Las metaclases a menudo se modelan estableciéndolas como el objeto de reclamaciones que involucran rdf: type y rdfs: subClassOf: propiedades integradas comúnmente conocidas como instancia de y subclase de . La instancia de implica que el sujeto de la reivindicación es una instancia, es decir, un individuo que es miembro de una clase. La subclase de implica que la asignatura es una clase. En el contexto de instancia de y subclase de , la diferencia clave entre metaclases y clases ordinarias es que las metaclases son el objeto de instancia de reclamos usados en una clase, mientras que las clases ordinarias no son objetos de tales reclamos. (por ejemplo, en una reclamaciónBob instance of Human, Bob es el sujeto y una Instancia, mientras que el objeto, Humano, es una clase ordinaria; pero otra afirmación que convierte a "Especies animales" en una metaclase porque tiene un miembro, "Humano", que también es una Clase).Human instance of Animal species
OWL 2 DL admite metaclases mediante una característica llamada juego de palabras , [2] en la que una entidad se interpreta como dos tipos diferentes de cosas, una clase y un individuo, según su contexto sintáctico. Por ejemplo, a través de juegos de palabras, una ontología podría tener una jerarquía concepto como , , y . En este caso, la entidad con juego de palabras sería el águila real, porque se representa como una clase (segundo reclamo) y una instancia (tercer reclamo); mientras que la metaclase sería especie, ya que tiene una instancia que es una clase. Punning también permite que otras propiedades que de otro modo serían aplicables solo a instancias ordinarias se utilicen directamente en las clases, por ejemplo, " estado de conservación del águila real de menor preocupación ". [3]Harry the eagle instance of golden eaglegolden eagle subclass of birdgolden eagle instance of species
Los lenguajes de la Web Semántica, que han surgido de los campos de la representación del conocimiento , la lógica descriptiva y la ontología formal , tienen una relación más estrecha con la ontología filosófica que los lenguajes de programación convencionales como Java o Python . En consecuencia, la naturaleza de las metaclases está informada por nociones filosóficas como los objetos abstractos , lo abstracto y lo concreto , y la distinción de tokens de tipos.. Las metaclases permiten que los conceptos se interpreten como muestras de otros conceptos, manteniendo su estatus ontológico como tipos. Esto permite enumerar los tipos, al tiempo que se conserva la capacidad de heredar de los tipos. Por ejemplo, las metaclases podrían permitir a un razonador mecánico inferir de una ontología amigable con los humanos cuántos elementos hay en la tabla periódica o, dado que el número de protones es una propiedad del elemento químico y los isótopos son una subclase de elementos, cuántos protones existen en el isótopo hidrógeno-2 .
Las metaclases a veces se organizan por niveles, de manera similar a la Teoría de tipos simple [4] donde las clases que no son metaclases se asignan al primer nivel, las clases de clases en el primer nivel están en el segundo nivel, las clases de clases en el segundo nivel en el siguiente y así sucesivamente. [5]
