Come ottenere risultati individuali mentre risolvere enigma di Einstein con civetta in Protégé?

Question

mi piacerebbe capire meglio ontologie e ragionamento. C'è un interessante puzzle chiamato enigma di Einstein sulla rete che può essere risolto con l'aiuto di ontologie e ragionamento. Ho scaricato l'ontologia OWL da quel sito e importato in Protege 4.0.2 (non funziona con 4.1). Posso iniziare un ragionatore da Reasoner ? FACT ++ , Reasoner ? adesso ... , ma non so, come visualizzare i risultati individuali. Come posso fare questo?

Answer 1

Ci sono due modi in cui è possibile visualizzare i risultati. In primo luogo, quando si seleziona le "Classi" Tab, si vedrà che ci sono due punti di vista a vostra disposizione: la "gerarchia di classe" Vista, che è la tassonomia affermato e la "Classe Gerarchia View (dedurre)", che è, come suggerisce il nome, quello dedotto. Che ti dà il punto di vista di classe. Come suggerisce Kaarel, è possibile visualizzare gli individui motivazione della scheda individui.

Protege consente anche di aggiungere un certo numero di altre viste individui di utente: fare una nuova scheda vuota e quindi scegliere la vista dalle "Individui Visualizza" sotto-menù sotto le "Viste" menue. Infine, è possibile utilizzare una serie di strumenti grafici esterni di visualizzare: se si assert la gerarchia dedotto e salvarlo in un file (in RDF-XML), è possibile utilizzare strumenti come Welkin , IsaViz ecc per ottenere rappresentazioni grafiche.

Answer 2

Dopo il ragionatore deve andare finito al Individuals-tab e look per assiomi che hanno uno sfondo giallo. Questi assiomi sono quelli derivanti. Se i componenti del puzzle (cioè gli uomini, animali domestici, bevande, etc.) sono stati modellati come individui GUFO allora si dovrebbe vedere alcune nuove affermazioni di proprietà oggetto che il ragionatore ha trovato tra questi individui.

Ci sono anche altre opzioni per vedere le derivazioni logiche:

• View -> Ontology views -> Classification Results mostrerà la lista di assiomi ne derivano. Potrebbe non mostra tutti gli assiomi derivanti però, ad esempio Ho provato con Protege 4.1 e non ho visto nessun affermazioni di proprietà oggetto comportato.
• Nella DL Query tab è possibile digitare in un'espressione di classe ed avere tutte le sue sottoclassi e le persone (compresi quelli derivanti) elencati. Questo potrebbe essere il modo più naturale di esplorare le derivazioni logiche.

Vedi anche:

• ACE Visualizza esempi : contiene l'esempio "Zebra Puzzle", lavora a Protege 4.1
• StackOverflow domanda: Solving “Chi possiede la Zebra” di programmazione :? Non contiene ancora la soluzione OWL-based :(