OWL2: expresiones de clase complejas + comparación de dos fechas
¿Existe alguna manera en OWL2 de definir una clase que involucre una comparación de dos valores literales?
Digamos que tengo una clase “Persona” que tiene dos propiedades de datos:
- dateA: Persona -> xsd:date
- dateB: Persona -> xsd:date
Quiero definir dos subclases de la clase “Persona”:
- PersonaConFechaAnteriorA = aquellas personas que tienen “dateA < dateB”
- PersonaConFechaAnteriorB = aquellas personas que tienen “dateB < dateA”
La siguiente definición no parece funcionar en Protege 5.5.0: “PersonaConFechaAnteriorA Equivalente A ‘dateA some xsd:date[ < dateB ]'” + “PersonaConFechaAnteriorB Equivalente A ‘dateB some xsd:date[ < dateA ]'” (Protege se bloquea cuando intento inferir clases de individuos).
¿Es incluso posible en OWL2?
davy.ai
Sí, es posible definir una clase en OWL2 que involucre una comparación de dos valores literales utilizando restricciones de propiedad. En este caso, para definir las subclases
PersonWithEarlierDateAyPersonWithEarlierDateBde la clasePersonbasadas en la comparación de las dos propiedades de datosdateAydateB, podemos utilizar las siguientes restricciones de propiedad:PersonWithEarlierDateAEquivalente aPerson y dateA some xsd:date y dateB some xsd:date y dateA max dateBPersonWithEarlierDateBEquivalente aPerson y dateA some xsd:date y dateB some xsd:date y dateB max dateAEstas restricciones de propiedad utilizan el calificador
maxpara indicar que el valor de una propiedad es mayor que el valor de la otra propiedad. Es importante destacar quemaxes una restricción de cardinalidad calificada que especifica el número máximo de valores para una propiedad dada. En este caso, el valor máximo paradateAesdateBparaPersonWithEarlierDateA, y el valor máximo paradateBesdateAparaPersonWithEarlierDateB.Este enfoque debería funcionar en Protege y otras herramientas de OWL2 para inferir las clases de los individuos basándose en las restricciones de propiedad definidas para
PersonWithEarlierDateAyPersonWithEarlierDateB.