Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

Sebastiani, Roberto; Vescovi, Michele

doi:10.1007/978-3-642-02959-2_6

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

Sebastiani, Roberto;Vescovi, Michele

2009-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2009
			
	Titolo del volume (Proceedings title)
	
				Automated Deduction – CADE-22
			
	Luogo di edizione (Place of publication)
	
				BERLIN
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				9783642029585
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-69949165439
			
	Codice WOS (WOS identifier)
	
				WOS:000271347600006
			
	Tutti gli autori
	
						Sebastiani, Roberto; Vescovi, Michele
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)