Call for Paper - June 2019 Edition
IJCA solicits original research papers for the June 2019 Edition. Last date of manuscript submission is May 20, 2019. Read More

Description Logic: A Knowledge Representation Language

IJCA Proceedings on National Conference on Emerging Trends in Information Technology
© 2014 by IJCA Journal
NCETIT - Number 2
Year of Publication: 2014
Vandana Mohan Patil

Vandana Mohan Patil. Article: Description Logic: A Knowledge Representation Language. IJCA Proceedings on National Conference on Emerging Trends in Information Technology NCETIT(2):1-5, December 2014. Full text available. BibTeX

	author = {Vandana Mohan Patil},
	title = {Article: Description Logic: A Knowledge Representation Language},
	journal = {IJCA Proceedings on National Conference on Emerging Trends in Information Technology},
	year = {2014},
	volume = {NCETIT},
	number = {2},
	pages = {1-5},
	month = {December},
	note = {Full text available}


Description logic (DL) is a language for knowledge representation which is used to represent the terminological knowledge of an application domain in a structured and well-understood way. Two important features of DL are expressivity and decidability. Description Logics use two types of data structures for representing knowledge viz T-Box and A-Box. T-Box stores the basic terminologies of the application domain whereas A-Box consists of the assertions resulted from inference. Description Logics use two types of inference patterns: classification of individuals and classification of concepts. The process of inference is called as Reasoning. There are several types of reasoning. The reasoning procedures used in DL are Decision Procedures.


  • Baader,Calvanese,McGuinness,Nardi and Patel- Scheneider, The DescriptionLogic Handbook - Theory, Implementation and Applications, Cambridge University Press, 2003.
  • http://dl. kr. org, Description Logics, website last access 12 Feb 2014
  • C. Areces: Logic engineering the case of description and hybrid logics. Thesis, ILLC Univ. Amsterdam, 2000.
  • E. Franconi,G. DeGiacomo,R. M. MacGregor,W. Nutt,C. A. Welty,andF. Sebatiani,editors. Collected Papers from the International Description Logics Workshop(DL'98) CEUR, May 1998. Pages 55-57
  • http://www. w3. org, Semantic Web. last access 23 Jan 2014
  • http://www. loria. fr, DL Applications 11 Mar 2014
  • Anni-Yasmin Turhan, Description Logic Reasoning for SemanticWeb Ontologies, ACM, WIMS11, May 25- 27, 2011
  • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, and Marco Ruzzi, Using OWL in Data Integration, Semantic Web Information Management, Springer 2010
  • Thomas Eiter, G. Ianni, Thomas L. , Roman S. , Well- Founded Semantics for Description Logic Programs in the Semantic Web, ACM Transactions on Computational Logic, Pages 1-36, April 2010
  • http://www. ontoprise. de/en/home/products/ontobroker/ last access 20 Mar 2012
  • http://www. w3. org/TR/2008/WD-owl2-profiles- 20081202 last access 6 Jul 2013
  • Brickley D. and Guha R. ,Resouce Description Framework(RDF) Schema Specification , W3C, 1999 at http://www. w3. org/TR/1999/PR-rdf-schema-19990303