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

Description Logic: A Knowledge Representation Language

Print
PDF
IJCA Proceedings on National Conference on Emerging Trends in Information Technology
© 2014 by IJCA Journal
NCETIT - Number 2
Year of Publication: 2014
Authors:
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

@article{key:article,
	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}
}

Abstract

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.

References

  • 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