Tag: HERMIT
Tengo una ontología con un individuo a y 6 clases (A, B, C, D, E, F). El individuo pertenece a las siguientes disyunciones: (A o B; C o D; E o F). ¿Existe alguna forma en la que pueda inferir que un individuo debe estar en una de las dos . . . Read more
Estoy tratando de inferir la existencia de individuos en Protege, y podría utilizar algo de ayuda. Considera la siguiente ontología como el escenario de ejemplo: Las personas pueden ser hermanos. Si son hermanos, entonces tienen al menos un padre común/mutuo. He definido una clase llamada “Persona” con una subclase de . . . Read more
Quiero expresar las siguientes afirmaciones de DL en OWL: A ⊑ B A ⊑ ∃R lo que significa que A es un subconcepto de B y todas las instancias de A deben tener una relación R con algo más. Lo estoy expresando con la siguiente ontología OWL: Prefix(:=http://example.org/my-ontology#) Ontology( Declaration(Class(:A)) . . . Read more
Estoy intentando modelar la siguiente situación: Un grado puede ser Bachelor o Master. Un estudiante puede ser BachelorStudent o MasterStudent. Un grado puede tener estudiantes: los grados de Bachelor solo tienen BachelorStudents y viceversa. Quiero experimentar con el uso de la restricción “only”, por lo tanto, he definido Bachelor, por . . . Read more