La definicin de Pizza Vegetariana dice que has_topping allValuesFrom (Vegetable or Cheese) Slo tiene ingredientes que son Vegetales

o Queso No tiene ningn ingrediente que no sea Vegetal o Queso

habitacion someValuesFrom Camara allValuesFrom y someValuesFrom difieren en el sentido de que el primero requiere que todos los valores de los valores de la propiedad,este ltimo por lo menos un ser de una determinada clase.

OWL Lite 3.3 Caractersticas de la Propiedad Hay identificadores especiales en OWL Lite que se utilizan para proporcionar informacin sobre las propiedades y sus valores. La distincin entre ObjectProperty y DatatypeProperty se menciona anteriormente en la descripcin de la propiedad.

inverseOf : Una propiedad puede afirmarse que la inversa de la otra propiedad. Si la propiedad P1 se dice que es la inversa de la propiedad P2, entonces, si X est relacionado con la Y por la propiedad P2, entonces Y tiene que ver con X por la propiedad P1. Por ejemplo, si hasChild es la inversa de hasParent y Deborah hasParent Louise, entonces un razonador puede deducir que Louise hasChild Deborah. TransitiveProperty : Las propiedades pueden establecerse a transitiva. Si una propiedad es transitiva, entonces, si el par (x, y) es una instancia de la propiedad transitiva P, y el par (y, z) es una instancia de P, entonces el par (x, z) es tambin un ejemplo de P. Por ejemplo, si los antepasados se dice que es transitivo, y si Sara es un antepasado de Louise (es decir, (Sara, Louise) es una instancia de la propiedad de los antepasados) y Louise es un antepasado de Deborah (es decir, (Louise , Deborah) es una instancia de la propiedad de los antepasados), entonces un razonador puede deducir que Sara es un antepasado de Deborah (es decir, (Sara, Dbora) es un ejemplo de los antepasados de la propiedad). OWL Lite (y OWL DL) imponer las lado siempre que las propiedades transitivas (y sus superproperties) no puede tener un maxCardinality una restriccin. Sin este lado acondicionado, OWL Lite y OWL DL se convertira en idiomas indecidible. Vea la seccin axioma de propiedad de la semntica de OWL y sintaxis abstractade documentos para obtener ms informacin. SymmetricProperty : Las propiedades pueden establecerse a ser simtrica. Si una propiedad es simtrica, entonces si el par (x, y) es una instancia de la propiedad simtrica P, entonces el par (y, x) es tambin una instancia de P. Por ejemplo, un amigo puede afirmar que uno simtrico la propiedad. Entonces un razonador que es debido a que Frank es un amigo de Deborah se puede deducir que Deborah es un amigo de Frank. FunctionalProperty : Las propiedades pueden establecerse a tener un valor nico. Si una propiedad es un FunctionalProperty, entonces no tiene ms de un valor para cada individuo (tal vez no tienen ningn valor para un individuo). Esta caracterstica ha sido referido como tener una propiedad nica. FunctionalProperty es la abreviatura para afirmar que la cardinalidad mnima de la propiedad es cero y su cardinalidad mxima es 1. Por ejemplo, hasPrimaryEmployer puede afirmar que un FunctionalProperty. A partir de este, un razonador puede deducir que ninguna

persona puede tener ms de un empleador principal. Esto no implica que toda persona debe tener al menos un patrn primario sin embargo.

InverseFunctionalProperty : Las propiedades pueden establecerse como inversa funcional. Si una propiedad es inversa funcional entonces la inversa de la propiedad es funcional. As pues, la inversa de la propiedad tiene ms de un valor para cada individuo. Esta caracterstica tambin ha sido referido como una propiedad sin ambigedades. Por ejemplo, hasUSSocialSecurityNumber (un identificador nico para residentes de Estados Unidos) puede decirse que se inversa funcional (o ambiguo). La inversa de esta propiedad (que puede ser referido como isTheSocialSecurityNumberFor) tiene ms de un valor para cualquier persona en la clase de los nmeros de seguridad social. Por tanto, cualquier nmero de una persona de la seguridad social es el nico valor de su propiedad isTheSocialSecurityNumberFor. A partir de este, un razonador puede deducir que no hay dos casos diferentes individuales de la persona que tiene el idntico Nmero de EE.UU. de la Seguridad Social. Adems, un razonador puede deducir que si dos instancias de la persona que tienen el mismo nmero de seguridad social, entonces los dos casos se refieren a la misma persona.

OWL Lite 3.4 Restricciones de propiedad OWL Lite permite poner restricciones sobre cmo las propiedades pueden ser utilizados por las instancias de una clase. Este tipo (y las restricciones de cardinalidad en el siguiente apartado) se utilizan en el contexto de una lechuza: Restriccin . La lechuza: onProperty elemento indica que la propiedad restringida. Las siguientes dos restricciones que limitan los valores pueden ser utilizados mientras que las restricciones de la seccin siguiente lmite de cantidad de valores que se pueden utilizar.

allValuesFrom : El allValuesFrom restriccin se establece en una propiedad con respecto a una clase. Esto significa que esta propiedad en esta clase en particular tiene una restriccin de rango local asociada a ella. As, si una instancia de la clase est relacionada con la propiedad de una segunda persona, entonces el segundo individuo puede inferirse que es una instancia de la clase amplia de restriccin local. Por ejemplo, la clase Persona puede tener una propiedad llamada hasDaughter restringido que allValuesFrom la mujer de clase. Esto significa que si un individuo est relacionado con Louise persona por el hasDaughter propiedad a la persona Deborah, despus de este, un razonador puede deducir que Deborah es una instancia de la mujer de la clase. Esta restriccin permite que el hasDaughter propiedad para ser utilizado con otras clases, tales como el gato de la clase, y tiene una restriccin de valor apropiado asociado con el uso de la propiedad en dicha clase. En este caso, hasDaughter tendra la restriccin de rango local de gato cuando se asocia con el gato de la clase y que haga que la persona alcance restricciones locales cuando se asocia con la clase Persona. Tenga en cuenta que un razonador no puede deducir a partir de una restriccin allValuesFrom solo que en realidad es al menos un valor para la propiedad. someValuesFrom : La restriccin someValuesFrom aparece en una propiedad con respecto a una clase. Una clase particular puede tener una restriccin en una propiedad que al menos un valor para que la propiedad es de un tipo determinado. Por ejemplo, el SemanticWebPaper clase puede tener un someValuesFromrestriccin a la propiedad hasKeyword que indica que algunos valores de la propiedad hasKeyword debe ser una instancia de la clase SemanticWebTopic. Esto permite la opcin de tener varias palabras clave y el tiempo que uno o ms es una instancia de la clase SemanticWebTopic, entonces el papel sera coherente con la someValuesFrom restriccin. A diferencia de allValuesFrom , someValuesFrom no restringe todos los valores de la propiedad de ser las instancias de la misma clase. Si myPaper es una instancia de la clase SemanticWebPaper, entonces myPaper est relacionado con el hasKeyword la propiedad de al menos una instancia de la clase SemanticWebTopic. Tenga en cuenta que un razonador no puede deducir (como podra con allValuesFrom restricciones) que todos los valores de hasKeyword son instancias de la clase SemanticWebTopic

OWL Lite 3.5 restringido cardinalidad OWL Lite incluye una forma limitada de las restricciones de cardinalidad. OWL (y OWL Lite) las restricciones de cardinalidad se hace referencia a las restricciones locales, ya que se presentan en las propiedades con respecto a una clase particular. Es decir, que las restricciones limitan la cardinalidad de que la propiedad en las instancias de esa clase. OWL, las restricciones de cardinalidad Lite son limitadas, ya que slo permiten declaraciones sobre cardinalidades de valor 0 1 (que no permiten valores arbitrarios de cardinalidad, como es el caso de OWL DL y OWL Full).

minCardinality : La cardinalidad se establece en una propiedad con respecto a una clase particular. Si un minCardinality de 1 aparece en una propiedad con respecto a una clase, entonces cualquier instancia de esa clase se relaciona con por lo menos una persona por esa propiedad. Esta restriccin es otra manera de decir que la propiedad es necesaria para tener un valor para todas las instancias de la clase. Por ejemplo, la clase Persona no tiene ninguna restriccin de cardinalidad mnima establecida en una propiedad hasOffspring ya que no todas las personas que tienen hijos. Los padres de clase, sin embargo, tendra una cardinalidad mnima de 1 en la propiedad hasOffspring. Si un razonador sabe que Louise es una persona, entonces no se puede deducir de una cardinalidad mnima de su propiedad hasOffspring. Una vez que se descubre que Louise es una instancia del padre, entonces un razonador puede deducir que Louise est relacionada con al menos una persona por la propiedad hasOffspring. A partir de esta informacin por s sola, un razonador no puede deducir ningn nmero mximo de descendientes de los casos individuales de los padres de clase. En OWL Lite slo las cardinalidades mnima permitida es 0 o 1. Una cardinalidad mnima de cero en una propiedad de slo los estados (en ausencia de cualquier informacin ms especfica) que la propiedad es opcional con respecto a una clase. Por ejemplo, el hasOffspring propiedad puede tener una cardinalidad mnima de cero en la persona de la clase (aunque se ha dicho que la informacin ms especfica de la cardinalidad mnima de uno de los padres de clase). maxCardinality : La cardinalidad se establece en una propiedad con respecto a una clase particular. Si un maxCardinality de 1 aparece en una propiedad con respecto a una clase, entonces cualquier instancia de esa clase se relaciona con la mayora en una sola persona por esa propiedad. A maxCardinality una restriccin a veces se llama una propiedad funcional o nico. Por ejemplo, la propiedad en la hasRegisteredVotingState UnitedStatesCitizens clase puede tener una cardinalidad mxima de una (porque la gente slo se les permite votar en un solo estado). A partir de este, un razonador puede deducir que los casos individuales de la USCitizens clase no puede estar relacionado con dos o ms personas distintas a travs de la propiedad hasRegisteredVotingState. De una restriccin de cardinalidad de un mximo de solo, un razonador no puede deducir una cardinalidad mnima de 1. Puede ser til para indicar que ciertas clases no tienen ningn valor para una propiedad particular. Por ejemplo, las instancias de la clase UnmarriedPerson no debe estar relacionado con cualquier personas por el hasSpouse propiedad. Esta situacin est representada por una cardinalidad mxima de cero en la propiedad hasSpouse en el UnmarriedPerson clase. cardinalidad : La cardinalidad se ofrecen como un servicio que es til para indicar que una propiedad en una clase est conformada por minCardinality 0 ymaxCardinality 0 o ambos minCardinality 1 y maxCardinality 1. Por ejemplo, la clase Persona tiene exactamente un valor para el hasBirthMother propiedad. A partir de este, un razonador puede deducir que no hay dos casos distintos individuales de la Madre de clase pueden ser valores de la propiedad hasBirthMother de la misma persona.