Cómo obtener resultados individuales mientras se resuelven acertijo de Einstein con OWL en Protégé?

StackOverflow https://stackoverflow.com/questions/4145706

Pregunta

Me gustaría entender mejor las ontologías y razonamiento. Hay un interesante rompecabezas llamado acertijo de Einstein en la red que puede ser resuelto con la ayuda de las ontologías y razonamiento. He descargado la ontología OWL de ese sitio e importados en Protege 4.0.2 (no funciona con 4.1). Puedo empezar un razonador por Reasoner ? FaCT ++ , Reasoner ? Clasifica ... , pero no lo sé, la forma de visualizar los resultados individuales. ¿Cómo puedo hacer esto?

¿Fue útil?

Solución

Hay dos formas en que se puede visualizar los resultados. En primer lugar, al seleccionar las "clases" Tab, se verá que hay dos puntos de vista a su disposición: la vista "Jerarquía de clases", que es la taxonomía afirmado y la "Jerarquía de la clase View (inferido)", que es, como el nombre sugiere, el inferido. Eso le da los puntos de vista de clase. Como sugiere Kaarel, puede visualizar los individuos discutía en la pestaña individuos.

Protege también le permite añadir una serie de otros puntos de vista de los individuos a la interfaz de usuario: hacer una nueva pestaña vacía y, a continuación, seleccione una vista de los "individuos ven" sub-menú en la sección "Vistas" menú. Por último, se puede utilizar una serie de herramientas gráficas externas para visualizar: si usted afirma la jerarquía inferido y guardarlo en un archivo (en RDF-XML), a continuación, puede utilizar herramientas como Welkin , IsaViz etc., para obtener representaciones gráficas.

Otros consejos

Después de que el razonador se tenga que ir a la final Individuals-tab y el aspecto de axiomas que tienen un fondo amarillo. Estos axiomas son los ocasionados queridos. Si los componentes del rompecabezas (es decir, los hombres, los animales domesticos, bebidas, etc.) han sido modelados como individuos OWL entonces se podría ver algunas nuevas afirmaciones de propiedad de objeto que el razonador se encuentran entre estos individuos.

También hay otras opciones para ver las vinculaciones:

  • View -> Ontology views -> Classification Results mostrará la lista de axiomas que conlleva. Puede que no mostrar todos los axiomas que conlleva, sin embargo, por ejemplo, Yo lo he probado con 4.1 Protege y no vi ninguna afirmación de propiedad de objeto implicado.
  • En el DL Query tab puede escribir una expresión de clase y tienen todas sus subclases e individuos (incluyendo los que conlleva unos) en la lista. Esta podría ser la forma más natural de la exploración de las vinculaciones.

Ver también:

Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow
scroll top