@incollection{,
	
					
					
					22AEAB360B495FD089C3E7156F2D1401
				,
	author={{Dr. F.Mamache} and {Universit des Sciences et de la Technologie Houari Boumediene Alger Algrie.}},
	journal={{Global Journal of Computer Science and Technology}},
	journal={{GJCST}}0975-41720975-435010.34257/gjcst,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}12113135
}

@book{b0,
	
	
		,
	title={{Schmolze : An overview of the KL-ONE knowledge representation system Cognitive Science}}
		,
	author={{
			RJBrachman
		} and {
			JG
		}}
		
		
			,
	year={1985}
			9
			
		
	

}

@book{b1,
	
	
		,
	title={{Living with Classic : When and how to use a KL-ONE like language}}
		,
	author={{
			RJBrachman
		}}
		,
	editor={PIn J. F. SOWA}
		
			,
	year={1991}
			14
			
		
	
	,
	note={Principles of semantic networks}

}

@incollection{b2,
	
	
		,
	title={{Reasoning in description logics}}
		,
	author={{
			Donini
		}}
	
	
		,
	booktitle={{Principles of Knowledge Representation}}
				,
	editor={
			GBrewka
		}
		Stanford (CA), USA
		
			,
	publisher={CSLI Publications}
			,
	year={1996}
			
		
	

}

@book{b3,
	
	
		,
	author={{
			EFranconi
		}}
		
		,
	title={{Description Logics}}
				
	

}

@book{b4,
	
	
		,
	title={{Une brève introduction aux logiques de descriptions Rapport de Recherche RR-3314, INRIA}}
		,
	author={{
			ANapoli
		}}
		
			,
	year={1997}
		
	

}

@book{b5,
	
	
		,
	title={{An Introduction to Description Logics In the Description Logic Handbook}}
		,
	author={{
			DNardi
		} and {
			RJBrachman
		}}
		
		,
	editor={F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider}
		
			,
	year={2002}
			,
	publisher={Cambridge University Press}
			
		
	

}

@book{b6,
	
	
		,
	author={{
			WWoods
		} and {
			JGSchmolze
		}}
		
		,
	title={{The KL-ONE family Computers, Mathematics with Applications}}
				
			,
	year={1992}
			23
			
		
	

}