COME EFFETTUARE RAGIONAMENTO SUI DIAGRAMMI UML TRADOTTI IN OWL TRAMITE PELLET

1) Spostare i file desiderati (in sinstassi RDF/XML) su cui si desidera effettuare ragionamento nella directory pellet-2.0.0-rc5, dove si trovano anche i file pellet.bat/pellet.sh

2) digitando da command line <pellet.bat help> (o l'analogo per Mac/Linux) si possono visualizzare i servizi offerti da Pellet. Quelli a cui siamo interessati sono consistency, entail, unsat ed eventualmente classify. Tramite il servizio consistency si verifica se l'ontologia è consistente, ovvero se l'ABox è consistente rispetto alla TBox. Tramite il servizio entail si verifica se una certa ontologia implica logicamente gli assiomi contenuti in un'altra ontologia che chiamiamo "entailed ontology". Tramite il servizio unsat possiamo visualizzare le classi inconsistenti dell'ontologia, e tramite il servizio classify possiamo visualizzare la classificazione dell'ontologia.

Esempi:
	pellet.bat consistency [RDF-XML]ExcerciseX.owl 
		(verifico se l'ontologia è consistente)

	pellet.bat unsat [RDF-XML]ExcerciseX.owl 
		(visualizzo le classi inconsistenti - ovvero quelle necessariamente vuote - dell'ontologia)

	pellet.bat entail -e [RDF-XML]EntailedOntologyAxioms.owl [RDF-XML]ExcerciseX.owl 
		(verifico se gli assiomi contenuti nell'ontologia [RDF-XML]EntailedOntologyAxioms.owl sono 				logicamente implicati dall'ontologia [RDF-XML]ExcerciseX.owl)

	pellet.bat classify [RDF-XML]ExcerciseX.owl 
		(visualizzo la classificazione dell'ontologia)



Nota: per passare da una sintassi OWL ad un'altra, è anche possibile utilizzare il tool online che è disponibile all'indirizzo http://owl.cs.manchester.ac.uk/converter/